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

Про доклад "Моделеориентированная инженерия предпринятий." Вы много говорили об отношении порождения между формальными описаниями. Одно описание на одном языке порождает другое описание на другом языке согласно третьему на третьем и ещё используя справочную информацию. Но это не единственное полезное отношение между формальными описаниями: есть ещё typechecking/schema checking. То есть, например, можно безо всяких (или с гораздо меньшим количеством) справочников автоматически проверять соответствие созданного вручную общего высокоуровневого архитектурного описания и всяческих созданных вручную низкоуровневых описаний, и выдавать в случае несоовтествий удобные сообщения об ошибках, чтобы люди знали, где исправить. Такой подход не используется?