Рассматривается проблема унификации неоднородных моделей представления информации (баз данных, онтологий, сервисов, процессов) при проектировании распределенных информационных систем с разнородными информационными ресурсами. Особое внимание уделено верифицируемым методам отображения информационных моделей и синтеза расширяемых канонических информационных моделей. Предложена архитектура Унификатора информационных моделей и дан пример отображения конкретной информационной модели в каноническую. Дано сравнение предложенных методов с известными подходами в мировой практике.
информационная модель, семантика информационной модели, отображение моделей, коммутативность отображения модели, каноническая модель, синтез канонической модели, расширение канонической модели, верификация уточнения моделей, унификатор информационных моделей, метакомпиляция