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