Без заголовка
Ну да, хотя тут не столько логика, сколько онтологическая работа. Я вот прямо сейчас думаю о том, как мне выразить "отраслевую PBS" в терминах ISO 15926 (4D-онтология, сама по себе написанная на EXPRESS) и состыковать ее со словарями SBVR (тоже не сахар, подразумевающий еще и три разных нотации, включая, кстати, и common logic), а далее с BPMN+OSM -- и в каком это софте реализовывать. Вот сижу и думаю, это и есть моя работа на сегодня (а, может быть, и завтра).