ГОСТ Р ИСО/ТС 10303-1255-2017 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1255. Прикладной модуль. Определение состояния (Переиздание)

     4.3 Определение объектов ПЭМ

Настоящий подраздел описывает объекты ПЭМ рассматриваемого прикладного модуля. Каждый объект ПЭМ является простейшим неделимым элементом, который моделирует уникальное понятие прикладной области, и содержит атрибуты для представления объекта. Далее приведены объекты ПЭМ и их определения.

4.3.1 Объект And_state_cause_effect_definition

Объект And_state_cause_effect_definition является подтипом объекта State_cause_effect_definition. Посредством настоящего объекта задается связь одного или более объектов, представляющих причины, вызывающие переход в состояние, представленное объектом State_definition и объектом, представляющим само состояние. При этом должны существовать все объекты, представляющие причины, вызывающие переход в данное состояние.

EXPRESS-спецификация:

*)

ENTITY And_state_cause_effect_definition

SUBTYPE OF (State_cause_effect_definition);

END_ENTITY;

(*

4.3.2 Объект Or_state_cause_effect_definition

Объект Or_state_cause_effect_definition является подтипом объекта State_cause_effect_definition. Посредством настоящего объекта задается связь одного или более объектов, представляющих причины, вызывающие переход в состояние, представленное объектом State_definition и объектом, представляющим само состояние. При этом должен существовать хотя бы один объект из числа объектов, представляющих причины, вызывающие переход в данное состояние.

EXPRESS-спецификация:

*)

ENTITY Or_state_cause_effect_definition

SUBTYPE OF (State_cause_effect_definition);

END_ENTITY;

(*

4.3.3 Объект Sequence_of_state_definition

Объект Sequence_of_state_definition является подтипом объекта State_definition_relationship. Посредством настоящего объекта задается последовательность двух или более определения состояния.

EXPRESS-спецификация:

*)

ENTITY Sequence_of_state_definition

SUBTYPE OF (State_definition_relationship);

SELF\State_definition_relationship.relating RENAMED successor : SET [1:?] OF State_definition;

SELF\State_definition_relationship.related RENAMED predecessor : SET [1:?] OF State_definition;

END_ENTITY;

(*

Определения атрибутов:

successor - объект State_definition, представляющий следующее состояние;