ГОСТ Р ИСОЯС 10303-1259—2012
П р и м е ч а н и я
1 Графическое представление информационных требований приведено в приложении С.
2 Спецификация отображения определена в 5.1. Она показывает, как информационные требования удов
летворяются при использовании общих ресурсов и конструкций, определенных всхеме ИММ или импортированных в
схему ИММ данного прикладного модуля.
Ниже представлен фрагмент EXPRESS-спецификации. с которого начинается описание схемы
Activity_as_reallzed_arm.
EXPRESS-спецификация:
*)
SCHEMAActivity_as_realized_arm;
(*
4.1 Необходимые ПЭМ прикладных модулей
Приведенные ниже операторы языка EXPRESS определяют элементы, импортированные из ПЭМ
других прикладныхмодулей.
EXPRESS-спецификаиия:
*)
USE FROMActivity_arm; -- ISO/TS 10303-1047
Г
П р и м е ч а н и я
1 Схема, ссылка на которую приведена выше, определена в следующем стандарте комплекса ИСО 10303:
Actlvlty_arm — ИСОЯС 10303-1047.
2 Графическое представление схемы Activily_as_reallzed_arm приведено в приложении С. рисунки С.1 и
С.2.
4.2 Определение объектов ПЭМ
В данном подразделеопределены объекты ПЭМ прикладного модуля «Реализованноедействие».
Объект ПЭМ является простейшим неделимым элементом схарактеризующимиего атрибутамии пред
ставляетсобой уникальноепонятие прикладнойобласти.
4.2.1 ОбъектActivity_actual
Объект Activity_actual является подтипом объекта Activity. Данный объект регистрирует сущес
твованиедействия(объектаActivity).ОбъектActivity_actual связанчерезобъект Activity_happening с
объектом Activity, существование которого он регистрирует. Существование экземпляра объекта
Activity_actual означает, чтодействие былоначато.
П р и м е ч а н и я
1 Для объекта Activlty_actual должен быть задан объект Calendar_date или Date_tlme. выполняющий роль
«начальной даты», чтобы зарегистрировать начало действия.
2 Для объекта Actlvlty_actual может быть задан объект Calendar_date или Date_tlme. выполняющий роль
«конечной даты», чтобы зарегистрировать завершение действия. В общем случае, еслиданный объект не задан, то
это не означает, что действие продолжается, а означает только то. что завершение действия еще не зарегистри
ровано.
3 Более детальное представление процесса выполнения действия может быть выполнено с помощью опре
деления состояний действия, смысл которых должен быть определен локальными бизнес-правилами.
EXPRESS-спецификаиия:
*)
ENTITY Activity_actual
SUBTYPE OF (Activity);
END_ENTITY;
C.
3