Описание логики формы через конечный автомат

Ссылки:

• Конечные автоматы

Листинги

• обычная реализация, в виде обработчиков событий
  • Описание логики формы через конечный автомат. Листинг 1
• реализация в виде конечного автомата
  • Описание логики формы через конечный автомат. Листинг 2

Таблица автомата Мили

Состояние		Вход		Выход	Сторона события
Исходное	Следующее	Событие	Предикаты	Команды
СозданиеФормы	СозданиеФормы	ПриСозданииНаСервере		ПрочитатьПараметры Обновить	Сервер
СозданиеФормы	Ввод	ПриОткрытии			Клиент
Ввод	Ввод	НаДатуПриИзменении		Обновить	Клиент
Ввод	Ввод	СвойстваВыбор		ОткрытьФормуВыбораСвойства	Клиент
Ввод	Ввод	НаименованиеПриИзменении	ПустойКодОбъекта	УстановитьКодПоНаименованию	Клиент
Ввод	Ввод	КодПриИзменении		УстановитьПолныйКод	Клиент
Ввод	Запись	ПередЗаписьюНаСервере	НЕ НовыйЭлемент		Сервер
Ввод	Ввод	ПередЗаписьюНаСервере	НовыйЭлемент И СуществуетДоменОбъекта	ОтказОтСистемнойОбработки ЗагрузитьОбъект ПрочитатьСвойства ЗаписатьСвойства УстановитьДоступность	Сервер
Ввод	ЗаписьНового	ПередЗаписьюНаСервере	НовыйЭлемент И НЕ СуществуетДоменОбъекта		Сервер
Ввод	Закрытие	ПередЗакрытием			Клиент
Ввод	Ввод	РодовоеОтношениеНачалоВыбора		ОткрытьФормуВыбораРодовогоОтношения	Клиент
Ввод	Ввод	ОтношениеАктуальностиНачалоВыбора		ОткрытьФормуВыбораОтношенияАктуальности	Клиент
Ввод	ВыборСвойства	СвойстваПередНачаломДобавления		ОткрытьФормуВыбораДоменаОтношения	Клиент
Ввод	Ввод	ОбработкаОповещения	ИмяСобытия = "ДобавленоОтношение"	Обновить	Клиент
ВыборСвойства	Ввод	ДоменСвойстваПриИзменении	НЕ ПустоеЗначениеДоменСвойства	ОткрытьФормуДобавленияОтношения	Клиент
ВыборСвойства	Ввод	ДоменСвойстваПриИзменении	ПустоеЗначениеДоменСвойства		Клиент
ЗаписьНового	Ввод	ПослеЗаписи		Обновить ОповещениеОДобавленииДомена	Клиент
ЗаписьНового	ЗаписьНового	ПослеЗаписиНаСервере			Сервер
Запись	Ввод	ПослеЗаписи			Клиент
Запись	Запись	ПослеЗаписиНаСервере			Сервер
Ввод	Закрытие	ПередЗакрытием			Клиент
Закрытие	Закрытие	ПослеЗакрытия			Клиент