Входными данными для этого уровня являются ОМ на предыдущих уровнях. На этом уровне определяется последовательность состояний объектов и процессы перехода состояний. Взаимосвязи между объектами формируются с помощью бинарных предикатов, которые связаны со свойствами объектов, устанавливающих взаимосвязи между объектами.
Данный уровень базируется на системе предикатов, определенных на подмножестве SA и множестве объектов S, которые отображают сущность объектов ПрО и определяют их поведение, без учета внутренних свойств.
Совокупность предикатов задается через Р = (Р{1 Р2, Р,.). Тогда если поставить в соответствие множеству SA алгебраическую модель А, в которой SA является основным множеством, то на данном уровне абстракции объекты определяются как элементы множества SA с использованием предикатов с Р и на этих элементах принимается значение «истина».
В общем случае этот уровень позволяет рассматривать зависимость от алгебры А (элементы множества SA и Р) на характеристическом уровне, с отображением зависимости от времени реальных объектов ОМ и их характеристик.
Пусть В = (В{, В2, …, Bk) — множество объектов, которые определены на поведенческом уровне, и каждому Л, отвечает В, (Лi Тогда отображение ТВ определяется между объектами на характеристическом и поведенческом уровнях ТВ: А —> В.
Определение состояния объектов зависит от конкретного значения параметра времени на отрезке часовой оси (отрезок отвечает длительности существования объекта) 5Л, = SAXt), в которой 5А- — объекты — элементы множества SA с ассоциируемой совокупностью предикатов Р, которые принимают на объектах значение «истина».
Теоретически существует зависимость самих предикатов относительно времени, т. е. зависимость вида Pi = Р,(?). Однако для упрощения модели подобная зависимость в данной работе не учитывается, а возможные часовые изменения рассматриваются как новые предикаты.
Понятие времени — это абстрактное понятие, оно соответствует конкретному параметру системы, значения которого упорядочены, и каждому из них соответствуют состояния объектов.
Взаимосвязи между объектами формируются на основе бинарных предикатов, которые связаны со свойствами объектов О, и детализируются к уровню взаимосвязей между состояниями объектов. Зависимость от параметра времени достигается внесением в ОМ специального объекта Timer, основное назначение которого заключается в рассылке специальных сообщений текущего времени с определенным уровнем дискретности. Каждый объект имеет соответствующий метод, который анализирует полученное значение и выполняет переход к другому состоянию или оставляет его без изменений.
