Огромное спасибо за полный ответ. Приятно поразил объём реализованного. Если не секрет, расскажите что использовалось для реализации (не холивара ради - причины можно и не расписывать - кто их назовёт, настоящие-то
), число машин - серверов и количество постоянных пользователей.
Как пользователи видят и редактируют процессы - как диаграммы последовательностей, текст, кучу комбобоксов?
Насчёт управления правами - действительно, это самая плодотворная область для описания с помощью утверждений. В принципе, при известной ловкости рук, декларативно можно реализовать весь контроль доступа (делали, опыт есть
).
Моё вам уважение
P.S. Совместно с НР решили сосредоточиться только на моделировании и анализе структуры. Эххх. Уже столько литературы перелопатил...