Введение. 
Концептуальная спецификация систем движущихся объектов

С появлением и успехом таких технологий, как GPS и ГЛОНАСС, и быстрым развитием беспроводной связи появилась возможность непрерывно отслеживать движущиеся физические объекты. Были разработаны компьютерные системы, обрабатывающие информацию о движущихся объектах (например, интеллектуальные системы управления дорожным движением). В таких системах ключевую роль играют базы данных, которые, в частности, хранят информацию о движении объектов. Такие базы данных называют MODB (Moving Object DataBases) [1, 2].

Общей характеристикой физических объектов является то, что они существуют в пространстве и времени. При моделировании в MODB физический объект представляется пространственно-временным (информационным) объектом, имеющим атрибуты, значениями которых служат положения физического объекта в текущий и предыдущие моменты времени. Также необходимо представлять различные свойства объекта, свойства траектории объекта, отношения между объектами и областями пространства и т. п. Таким образом, для представления систем движущихся объектов необходимы весьма выразительные средства для представления данных и знаний. Система концептуальных языков «Бинарная Модель Данных и Знаний» имеет такие средства В настоящей работе мы покажем, как БМДЗ может быть использована для решения задач, связанных с концептуальной спецификацией систем движущихся объектов.