> -- alexus писал(а):
> К сожалению, мне неизвестны методы верификации бизнеспроцессов, ни тех, что рисуют в IDEF, ни тех, что рисуют в ARIS... Это что-то вроде свободного творчества... нечто вроде современного авангардизма...Это именно набор рисунков... качество, конечно, не очень... не художник я...

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