ГОСТ Р ИСО/ТС 10303-1259—2012
4.2.2 ОбъектActivity_happening
Объект Activity_happening является подтипом объекта Activity_relationship. который представ
ляет взаимосвязь между определением действия {заданным атрибутом predicted) и его реальным
выполнением (заданным атрибутом actual).
П р и м е ч а н и я
1 Обычным значением атрибута пате может быть actual (фактический)’, хотя это избыточно.
2 Множество обьектов Activity_actual могут быть фактическими реализациями одного действия (объекта
Activity).
Пример — Одно определенное действие регистрируется с течением времени в виде нескольких
действий.
3 Один объект Activ!ty_actual может представлять выполнение нескольких действий.
Пример — Одно действие по техническому обслуживанию может предусмат риват ь возмож
ность выполнения дополнит ельных проверок и ремонтов.
EXPRESS-cneundJHKaunn:
*)
ENTITYActivity_happening
SUBTYPE OF (Activityrelationship);
SELF\Activity_relationship.relating_activity RENAMEDactual:Activity_actual;
SELF\Activity_relationship.related_activity RENAMED predicted ;Activity;
WHERE
WR1; NOT (’ACTIVITY_AS_REALIZED_ARM.ACTIVITY ACTUAL’ IN TYPEOF(predicted)):
END_ENTITY;
r
Определения атрибутов
actual — объект Activity, представляющий регистрацию выполнениядействия;
predicted — объектActivity, представляющийдействие, определенное до его выполнения.
Формальное утверждение
WR1 — объектActivity, заданныйатрибутом predicted, недолженбытьобъектомActivity_actual.
*)
END_SCHEMA; -- Activity_as_realized_arm
Г
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте термин «прикладной элемент» обозначаетлюбой объектный типданных,
определенный в разделе 4. любой из его явных атрибутов и любое ограничение на подтипы. Термин
«элемент ИММ» обозначаетлюбой объектный типданных, определенный в 5.2 или импортированный с
помощью оператора USE FROM из другой EXPRESS-схемы, любой из его атрибутов илюбое ограниче
ние на подтипы, определенное в 5.2 или импортированное с помощью оператора USE FROM.
В данном подразделе представленаспецификация отображения, котораяопределяет, каккаждый
прикладной элемент, определенный в разделе 4 настоящего стандарта, отображается на один или
несколько элементов ИММ (см. 5.2).
Спецификация отображения для каждого прикладного элемента определена ниже в отдельном
пункте. Спецификация отображения атрибута объекта ПЭМ определена в подпункте пункта, содержа
щего спецификацию отображения данного объекта. Каждая спецификация отображения содержит до
пяти секций.
Секция «Заголовок» содержит;
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо
- наименованиеатрибута рассматриваемогообъектаПЭМ.еслиданныйатрибутссылаетсянатип,
который не является объектным типомданных или типом SELECT, который содержит или может содер
жать объектные типыданных, либо
4