> -- Драконограф писал(а):
> Да, хотя предпринимались усилия по созданию "грамматики бизнес-процессов"... см., скажем, работы Г.Н. Калянова (последних лет). Однако похоже, что пока не будет введено описание любой деятельности на началах программирования (в общем случае - ессно, не "по отдельности", а как систем взаимодействующих процессов) - реальной верификации не получится - см. выдержку из Карпова с примерами верификации, вложенную . Да и для инженерной разработки деятельности это имеет значение. Отсюда и возникшие у меня вопросы по систематике языков - развитие их см. в прежней теме.Верификации просто не получится, IMHO... Дейкстра отдал много сил и времени попытке построить доказательную базу верификации программ, но вывод получился не слишком утешительный... и это для формальных языков. Про бизнес-процессы, элементы схем которых "высосаны из пальца"... говорить как-то несерьезно...