Без заголовка

Создание концептуальных моделей предметной области и соответствующего формального языка - это работа даже не уровня инженера-исследователя, а уровня научной диссертации. Я правильно понимаю, что вы предполагаете поручить её инженеру-проектировщику, который, по идее, должен опираться на эти самые концептуальные модели (анализ) чтобы спроектировать реализацию (синтез)?