Поддержка жизненного цикла сложных технических систем: анализ декларативного и императивного подходов к моделированию поведения виртуальных предприятий

12 / 16

Е.И. Кузин, В.Е. Кузин
12 Инженерный журнал: наука и инновации # 52016
Экземпляр сущности — материальный или информационный
объект, у которого заданы значения всех отношений сущности.
Класс — аналог математического множества. Класс состоит из
экземпляров одной сущности. Класс может быть задан перечислени-
ем, одной из операций над множествами (объединение, пересечение,
разность) или с помощью предиката. Свойства сущности или класса
определяются отношениями и функциями (лямбда-выражениями).
Отношение — подмножество декартова произведения классов
(RElement0  RElement1  …  RElementn, где 0, 1, …, n — значения
атрибута domainIndex).
В метамодели представлены только направленные отношения.
В зависимости от «направления» отношения свойства класса подраз-
деляют на прямые (в которых он фигурирует в декартовом произве-
дении на первом месте) и обратные (во всех случаях, когда класс
в декартовом произведении фигурирует на позициях с индексом
больше единицы). Отношения могут быть явно задаваемыми и вы-
числяемыми.
Явно задаваемое отношение — подмножество декартова произ-
ведения классов, определяемое перечислением элементов этого под-
множества.
Вычисляемое отношение — логическое высказывание, опреде-
ляющее истинность принадлежности элемента декартова произведе-
ния классов подмножеству, соответствующему определяемому от-
ношению.
Функция — отображение свойств класса на простые типы: числа,
строки, даты. Функция определяется как результат применения других
функций с помощью лямбда-выражения, описывающего последова-
тельность их применения и распределение аргументов определяемой
функции по применяемым функциям. Такое рекурсивное определение
предполагает наличие некоторых «базовых» функций, семантика ко-
торых определена изначально. К таким функциям относятся: сумма
элементов множества (SUM), количество элементов множества
(COUNT), минимальное значение элементов множества (MIN), макси-
мальное значение элементов множества (MAX), среднее значение эле-
ментов множества (AVG).
Приведенный список предлагается расширить путем введения
«псевдофункций» над доменами отношений. Предположим, имеется
отношение R над классами D1 и D2 (R (D 1, D2)). Элементами отноше-
ния R являются пары вида r(d1, d 2), d 1  D1, d 2  D2. Прямой псев-
до-функцией r' будем называть отображение, ставящее в соответствие
экземпляру класса D1 (d1  D 1) экземпляр класса D2 (d 2  D 2), если
они входят в отношение r: r'( d 1) = d 2. Обратной псевдофункцией r
будем называть отображение, ставящее в соответствие экземпляру