Плата статусов:
дело как конечный автомат

Справочная модель для разработчиков систем учёта дел. Каждый статус арбитражного дела — микросхема, каждый законный переход — дорожка на плате. Светодиод горит на текущем статусе; кнопки событий активны только там, где переход разрешён процессуальным законом. Недопустимый переход просто не проводит ток.

Диаграмма состояний арбитражного дела

ТЕКУЩЕЕ СОСТОЯНИЕ

СОБЫТИЯ ИЗ ЭТОГО СОСТОЯНИЯ

SERIAL MONITOR · 9600 бод

Инвариант 1

Из терминальных состояний ВОЗВРАЩЕНО, ПРЕКРАЩЕНО, ИСПОЛНЕНО переходов нет. Новый спор — новое дело.

Инвариант 2

Решение не вступает в силу, пока идёт срок на обжалование: переход РЕШЕНИЕ → ВСТУПИЛО возможен только по истечении месяца без жалобы.

Инвариант 3

Отложение и приостановление всегда возвращают дело в НАЗНАЧЕНО: из них нельзя сразу вынести решение.

LawLabs · концепт № 105