ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ТЕХНИЧЕСКОМУ РЕГУЛИРОВАНИЮ И МЕТРОЛОГИИ

Системы автоматизации производства и их интеграция

ПРЕДСТАВЛЕНИЕ ДАННЫХ ОБ ИЗДЕЛИИ И ОБМЕН ЭТИМИ ДАННЫМИ

Часть 1255

Прикладной модуль. Определение состояния

(ISO/TS 10303-1255:2011, ЮТ)

Издание официальное

Москва

Стандартинформ

2017

Предисловие

1    ПОДГОТОВЛЕН Обществом с ограниченной ответственностью «Корпоративные электронные системы» на основе собственного перевода на русский язык англоязычной версии международного документа. указанного в пункте 4.

2    ВНЕСЕН Техническим комитетом по стандартизации ТК 459 «Информационная поддержка жизненного цикла изделий»

3    УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 12 сентября 2017 г. № 1081-ст

4    Настоящий стандарт идентичен международному документу ИСОЯС 10303-1255:2011 «Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1255. Прикладной модуль. Определение состояния» (ISO/TS 10303-1255:2011, Industrial automation systems and integration — Product data representation and exchange — Part 1255: Application module: State definition. IDT).

При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов и документов соответствующие им национальные стандарты Российской Федерации. сведения о которых приведены в дополнительном приложении ДА

5    ВВЕДЕН ВПЕРВЫЕ

Правипа применения настоящего стандарта установлены в статье 26 Федерального закона от 29 июня 2015 г № 162-ФЗ «О стандартизации в Российской Федерации». Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе «Национальные стандарты», а официальный текст изменений и поправок — в ежемесячном информационном указателе «Национальные стандарты» В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске ежемесячного информационного указателя «Национальные стандарты». Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования — на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (www gost.ru)

© Стандартинформ. 2017

Настоящий стандарт не может быть полностью или частично воспроизведен, тиражирован и распространен в качестве официального издания без разрешения Федерального агентства по техническому регулированию и метрологии

ГОСТ Р ИСО/ТС 10303-1255—2017

Опредедешя-аджбуюа;

proper_subset — набор объектов State_definition, содержащий только те объекты, которые входят в набор, играющий роль атрибута proper_superset;

proper_superset — набор объектов State_definition. содержащий все объекты, входящие в набор, играющий роль атрибута proper_subset

4.3.7    Объект State_subset_definition

Объект State_subset_definition является подтипом объекта State_definition_relationship Посредством настоящего объекта задается отношение между двумя наборами объектов State_ definition

Примечание — Первый набор может быть равен второму набору.

ЕХРЗЕ$$-спецификация;

*)

ENTITY State_subset_defmition

SUBTYPE OF (State_defmition_relationship);

SELF\State_definition_relationship.relating RENAMED superset: SET(1:?) OF State_definition; SELF\State_defmition_relationship.related RENAMED subset: SET(1:?] OF State_defmition; END_ENTITY;

(*

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

superset — набор объектов State_definition. содержащий все объекты, входящие в набор, играющий роль атрибута subset:

subset — набор объектов State_defmition. содержащий только те объекты, которые входят в набор, играющий роль атрибута superset

4.3.8    Объект State_symptom_definition

Объект State_symptom_definition является подтипом объекта State_definition_relationship. Посредством настоящего объекта связываются два или более представляющих определения состояния объектов State_definition. связанных с симптомом, где симптом — это сущность, свидетельствующая о наличии некоторой другой сущности. По меньшей мере, один объект State_ definition играет роль атрибута symptom_cause. представляя причину симптома, и. по меньшей мере, один объект State_ definition играет роль атрибута symptom_effect. представляя следствие симптома.

ЕХРЯЕ$$-спецификация;

*)

ENTITY State_symptom_defmition

SUBTYPE OF (State_defmition_relationship);

SELF\State_defmition_relationship.relating RENAMED symptom_effect: SET[1:?J OF State_definition; SELF\State_defmition_relationship.related RENAMED symptom_cause : SET[1:?) OF State_defmition; END_ENTITY;

(*

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

symptom_effect — объекты State_definition. представляющие состояния, являющиеся последствиями наличия симптома;

symptom_cause — объекты State_definition, представляющие состояния, являющиеся причинами симптома.

4.3.9 Объект Xor_state_cause_effect_definition

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

7

ЕХРКЕ$$-слециФикация;

*)

ENTITY Xor_state_cause_effect_definition

SUBTYPE OF (State_cause_effect_definition); END_ENTITY;

<*

*)

END_SCHEMA: - State_definition_arm (*

5 Интерпретированная модель модуля

5.1 Спецификация отображения

В настоящем стандарте под термином «прикладной элемент» понимается любой объектный тип данных, определенный в разделе 4. любой из его явных атрибутов и любое ограничение на подтипы. Термин «элемент ИММ» означает любой объектный тип данных, определенный в 5.2 или импортированный с помощью оператора USE FROM из другой EXPRESS-схемы. а также любой из его атрибутов и любое ограничение на подтипы, определенное в 5.2 либо импортированное с помощью оператора USE FROM

В данном подразделе представлена спецификация отображения, которая определяет, как каждый прикладной элемент, описанный в разделе 4 настоящего стандарта, отображается на один или более элементов ИММ (см. 5.2).

Спецификация отображения для каждого объекта ПЭМ определена ниже в отдельном пункте. Спецификация отображения атрибута объекта ПЭМ описывается в подпункте пункта, содержащего спецификацию отображения этого объекта. Каждая спецификация содержит не более пяти секций.

Секция «Заголовок» содержит:

-    наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо

-    наименование атрибута рассматриваемого объекта ПЭМ, если данный атрибут ссылается на тип. не являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных, либо

-    составное выражение вида «связь объекта <наименование объекта ПЭМ> с объектом <тип данных. на который дана ссылка> (представляющим атрибут снаименование атрибута:»)», если данный атрибут ссылается на тип данных, являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных

Секция «Элемент ИММ» содержит в зависимости от рассматриваемого прикладного элемента:

-    наименование одного или более объектных типов данных ИММ;

-    наименование атрибута объекта ИММ. представленное в виде синтаксической конструкции <наименование объекта».снаименование атрибута», если рассматриваемый атрибут ссылается на тип. не являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных:

-    ключевое слово PATH, если рассматриваемый атрибут объекта ПЭМ ссылается на объектный тип данных или на тип SELECT, который содержит или может содержать объектные типы данных;

-    ключевое слово IDENTICAL MAPPING, если оба прикладных объекта, присутствующих в прикладном утверждении, отображаются на тот же самый экземпляр объектного типа данных ИММ:

-    синтаксическую конструкцию /SUPERTYPE(<HanMeHoeaHne супертипа»)/, если рассматриваемый объект ПЭМ отображается как его супертип;

-    одну или более конструкций /8иВТУРЕ(<наименование подтипа»)/, если отображение рассматриваемого объекта ПЭМ является объединением отображений его подтипов.

Если отображение прикладного элемента содержит более одного элемента ИММ. то каждый из этих элементов ИММ представлен в отдельной строке спецификации отображения, заключенной в круглые или квадратные скобки.

ГОСТ Р ИСО/ТС 10303-1255—2017

Секция «Источник» содержит:

-    обозначение стандарта ИСО. в котором определен данный элемент ИММ. для тех элементов ИММ. которые определены в общих ресурсах;

-    обозначение настоящего стандарта для тех элементов ИММ. которые определены в схеме ИММ настоящего стандарта.

Данная секция опускается, если в секции «Элемент ИММ» используются ключевые слова PATH или IDENTICAL MAPPING.

Секция «Правила» содержит наименование одного или более глобальных правил, которые применяются к совокупности объектных типов данных ИММ. перечисленных в секции «Элемент ИММ» или «Ссылочный путь». Если правила не применяются, то данную секцию опускают.

За ссылкой на глобальное правило может следовать ссылка на подпункт, в котором определено данное правило.

Секция «Ограничение» содержит наименование одного или более ограничений на подтипы, которые применяются к совокупности объектных типов данных ИММ. перечисленных в секции «Элемент ИММ» или «Ссылочный путь». Если ограничения на подтипы отсутствуют, то данную секцию опускают.

За ссылкой на ограничение подтипа может следовать ссылка на подпункт, в котором определено данное ограничение на подтипы.

Секция «Ссылочный путь» содержит:

-    ссылочный путь к супертипам в общих ресурсах для каждого элемента ИММ. определенного в настоящем стандарте;

-    спецификацию взаимосвязей между элементами ИММ. если отображение прикладного элемента требует связать экземпляры нескольких объектных типов данных ИММ В этом случае в каждой строке ссылочного пути указывают роль элемента ИММ по отношению к ссылающемуся на него элементу ИММ или к следующему по ссылочному пути элементу ИММ.

В выражениях, определяющих ссылочные пути и ограничения между элементами ИММ, применяют следующие условные обозначения:

[) — в квадратные скобки заключают несколько элементов ИММ или частей ссылочного пути, которые требуются для обеспечения соответствия информационному требованию;

() — в круглые скобки заключают несколько элементов ИММ или частей ссылочного пути, которые являются альтернативными в рамках отображения для обеспечения соответствия информационному требованию;

{} — в фигурные скобки заключают фрагмент, ограничивающий ссылочный путь для обеспечения соответствия информационному требованию;

<> — в угловые скобки заключают один или более необходимых ссылочных путей;

|| — между вертикальными линиями помещают объект супертипа;

-> — атрибут, наименование которого предшествует символу ->. ссылается на объектный или выбираемый тип данных, наименование которого следует после этого символа;

<— атрибут объекта, наименование которого следует после символа <-. ссылается на объектный или выбираемый тип данных, наименование которого предшествует этому символу;

[ij — атрибут, наименование которого предшествует символу (i), является агрегированной структурой; ссылка дается на любой элемент данной структуры;

(л) — атрибут, наименование которого предшествует символу (п). является упорядоченной агрегированной структурой; ссылка дается на п-й элемент данной структуры;

=> — объект, наименование которого предшествует символу =>. является супертипом объекта, наименование которого следует после этого символа;

<= — объект, наименование которого предшествует символу <=, является подтипом объекта, наименование которого следует после этого символа;

= — строковый (STRING), выбираемый (SELECT) или перечисляемый (ENUMERATION) тип данных ограничен списком выбора или значением;

\ — выражение для ссылочного пути продолжается на следующей строке;

9

ГОСТ Р ИСО/ТС 10303-1255—2017

* — один или более экземпляров взаимосвязанных объектных типов данных могут быть объединены в древовидную структуру. Путь между объектом взаимосвязи и связанными с ним объектами заключают в фигурные скобки;

---последующий текст является комментарием или ссылкой на раздел;

*> — выбираемый (SELECT) или перечисляемый (ENUMERATION) тип данных, наименование которого предшествует символу *>, расширяется до выбираемого или перечисляемого типа данных, наименование которого следует за этим символом;

<* — выбираемый (SELECT) или перечисляемый (ENUMERATION) тип данных, наименование которого предшествует символу <*. является расширением выбираемого или перечисляемого типа данных, наименование которого следует за этим символом.

!{} — секция, заключенная в фигурные скобки {} обозначает отрицательное ограничение, налагаемое на отображение.

Определение и использование шаблонов отображения не поддерживаются в настоящей версии прикладных модулей, однако поддерживается использование предопределенных шаблонов /SUBTYPE/ и /SUPERTYPE/.

5.1.1    Прикладной объект Applied_activity_assignment

Определение прикладного объекта Applied_activity_assignment дано в прикладном модуле «activity». В настоящей секции с целью включения утверждений, определения которых даны в настоящем прикладном модуле, дается расширение отображения прикладного объекта Applied_ activity_ assignment

5.1.1.1    Отображение связи объекта Applied_activity_assignment с объектом Applied_state_ definition_assignment (представленным атрибутом items)

Ссылочный путь; applied_action_assignment

applied_action_assignment.items[i] -> actionjtems action_items *> state_definition_action_items state_definition_action_items = applied_state_type_assignment

5.1.2 Прикладной объект Condition

Определение прикладного объекта Classification_assignment дано в прикладном модуле ■classification_assignment' В настоящей секции с целью включения утверждений, определения которых даны в настоящем прикладном модуле, дается расширение отображения прикладного объекта Classification_assignment.

5.1.2.1    Отображение связи объекта Classification_assignment с объектом Applied_state_ definition_assignment (представленным атрибутом items)

Ссылочный путь:    applied_classification_assignment.items(i)    ->    classificationjtem

classificationjtem *> state_definition_classificationJtem state_definition_classification_item = state_type_assignment

5.1.2.2    Отображение связи объекта Classification_assignment с объектом State_definition (представленным атрибутом items)

Ссылочный путь; applied_classification_assignment.items[i] -> classificationjtem classificationjtem *> state_definition_classification_item state_definition_classification_item = statejype

5.1.2.3    Отображение связи объекта Classification_assignment с объектом State_definition_ relationship (представленным атрибутом items)

Ссылочный путь: applied_classification_assignment.items[i] -> classificationjtem classificationjtem *> state_defmition_classification_item state_defmition_classificationJtem = stateJype_relationship

ГОСТ Р ИСО/ТС 10303-1255—2017

5.1.3 Прикладной объект ldentification_assignment

Определение прикладного объекта Identification jissignment дано в прикладном модуле *identification_assignment’. В настоящей секции с целью включения утверждений, определения которых даны в настоящем прикладном модуле, дается расширение отображения прикладного объекта Identification j^signment

5.1.3.1    Отображение связи объекта ldentification_assignment с объектом State_definition (представленным атрибутом items)

Ссылочный путь:    appliedJdentification_assignment.items[i) ->

identificationjtem

identificationjtem *> state_definition_identification_item state_defmition_identification_item = statejype

5.1.3.2    Отображение связи объекта ldentification_assignment с объектом State_definition_ relationship (представленным атрибутом items)

Ссылочный путь:    applied_identification_assignment.items[i) ->

identificationjtem

identificationjtem *> state_definitionJdentification_item state_definitionJdentification_item = stateJype_relationship

5.1    4 Прикладной объект And_state_cause_effect_definition

Элемент ИММ:    statejypejelationship

Источник    IS0 10303-56

Ссылочный путь:    statejypejelationship

(statejype jelationship.name = and state cause effect definition^-}

5.1.5    Прикладной объект Or_state_cause_effect_definition

Элемент ИММ:    statejypejelationship

Источник    IS0 10303-56

Ссылочный путь:    statejypejelationship

(statejypejelationship.name = or state cause effect definition^-}

5.1.6    Прикладной объект Sequence_of_state_definition

Элемент ИММ:    statejypejelationship

Источник    IS0 10303-56

Ссылочный путь: statejype jelationship

(statejypejelationship.name = sequence of state definition^-}

5.1.6.1    Отображение связи объекта Sequence j>f_statejlefinition с объектом State_definition (представленным атрибутом successor)

Элемент ИММ:    PATH

Ссылочный путь:    statejype jelationship

statejype jelationship.relating_statejype -> statejype

ii

ГОСТ Р ИСО/ТС 10303-1255—2017

5.1.6    2 Отображение связи объекта Sequence_of_state_definition с объектом State_definition (представленным атрибутом predecessor)

Элемент ИММ    PATH

Ссылочный путь: state_type_relationship

statejypejelationship.related_stateJype -> statejype

5.1.7    Прикладной объект State_cause_effect_definition

Элемент ИММ:    state_type_relationship

Источник    IS010303-56

Ссылочный путь:    state_type_relationship

{statejypejelationship.name = state cause effect definition¹}

5.1.7.1    Отображение связи объекта State_cause_effect_definition с объектом State_definition

(представленным атрибутом effect)

Элемент ИММ:    PATH

Ссылочный путь:    state_type_relationship

state_type_relationship.relating_state_type -> statejype

5.1.7.2    Отображение связи объекта State_cause_effect_definition с объектом State_definition (представленным атрибутом cause)

Элемент ИММ.    PATH

Ссылочный путь:    statejypejelationship

statejypejelationship.related_statejype -> statejype

5.1.8    Прикладной объект State_complement_definition

Элемент ИММ:    statejypejelationship

Источник    IS010303-56

Ссылочный путь:    statejypejelationship

(statejypejelationship.name = state complement definition'}

5.1.8.1 Отображение связи объекта State_complement_definition с объектом State_definition (представленным атрибутом universe)

Элемент ИММ:    PATH

Ссылочный путь:    statejypejelationship

stateJypejelationship.relating_stateJype -> statejype

5.1.8    2 Отображение связи объекта State_complement_definition с объектом State_definition (представленным атрибутом set_1)

Элемент ИММ:    PATH

Ссылочный путь:    statejypejelationship

statejypejelationship.related_statejype -> statejype

ГОСТ Р ИСО/ТС 10303-1255—2017

Содержание

1    Область применения.................................................................1

2    Нормативные ссылки.................................................................1

3    Термины, определения и сокращения...................................................2

3.1    Термины и определения ..........................................................2

3.2    Сокращения ....................................................................2

4    Информационные требования.........................................................2

4.1    ПЭМ, необходимые для прикладного модуля .........................................3

4.2    Определение типов данных ПЭМ...................................................3

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

5    Интерпретированная модель модуля ...................................................8

5.1    Спецификация отображения.......................................................8

5.2    Сокращенный листинг ИММ на языке EXPRESS......................................14

Приложение А (обязательное) Сокращенные наименования объектов ИММ....................17

Приложение В (обязательное) Регистрация информационных объектов.......................18

Приложение С (справочное) EXPRESS-G диаграммы ПЭМ..................................19

Приложение D (справочное) EXPRESS-G диаграммы ИММ .................................21

Приложение Е (справочное) Машинно-интерпретируемые листинги ..........................23

Приложение F (справочное) История изменений ..........................................24

Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов

и документов национальным стандартам...................................25

Библиография.......................................................................26

Введение

Стандарты комплекса ИСО 10303 распространяются на компьютерное представление информации об изделиях и обмен данными об изделиях. Их целью является обеспечение нейтрального механизма. способного описывать изделия на всем протяжении их жизненного цикла. Этот механизм применим не только для обмена файлами в нейтральном формате, но является также основой для реализации и совместного доступа к базам данных об изделиях и организации долгосрочного использования и архивирования.

Настоящий стандарт специфицирует прикладной модуль для представления типа состояния. В прикладном модуле определения состояния тип состояния обозначается посредством задания критериев. которые должны быть удовлетворены для того, чтобы некий объект находился в состоянии этого типа.

Пример — Состояний, которое опродоляотся наличием сбоя указанного типа в издолии определенного типа.

В третье издание настоящего стандарта включены перечисленные в приложении F.3 изменения второго издания.

В разделе 1 настоящего стандарта определены область применения данного прикладного модуля. а также его функциональность и относящиеся к нему данные.

В разделе 3 приведены термины, определенные в других стандартах комплекса ИСО 10303 и примененные в настоящем стандарте.

В разделе 4 установлены информационные требования к прикладной предметной области, используя принятую в ней терминологию.

В приложении С дано графическое представление информационных требований, именуемое прикладной эталонной моделью (ПЭМ). Структуры ресурсов интерпретированы, чтобы соответствовать информационным требованиям. Результатом данной интерпретации является интерпретированная модель модуля (ИММ). Данная интерпретация, представленная в 5.1. устанавливает соответствие между информационными требованиями и ИММ Сокращенный листинг ИММ. представленный в 5.2. специфицирует интерфейс к ресурсам. Графическое представление сокращенного листинга ИММ приведено в приложении D.

Имя типа данных на языке EXPRESS может использоваться для ссылки на сам тип данных, либо на экземпляр данных этого типа. Различие в использовании обычно понятно из контекста. Если существует вероятность неоднозначного толкования, то в текст включается фраза «объектный тип данных» либо «экземпляр(ы) объектного типа данных».

Двойные кавычки    означают    цитируемый    текст,    одинарные    кавычки    —    значения    кон

кретных текстовых строк.

IV

НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

Системы автоматизации производства и их интеграция

ПРЕДСТАВЛЕНИЕ ДАННЫХ ОБ ИЗДЕЛИИ И ОБМЕН ЭТИМИ ДАННЫМИ

Часть 1255

Прикладной модуль. Определение состояния

Industrial automation systems and integration Product data representation and exchange Part 1255 Application module State definition

Дата введения — 2019—07—01

1    Область применения

Настоящий стандарт определяет прикладной модуль «Определение состояния». В область применения настоящего стандарта входит:

-    определение состояния;

-    определение того, что необходимо, чтобы данное состояние стало действительным;

-    связь между двумя и более определениями состояний;

-    связь между определением состояния или типом состояния и изделиями, действиями, людьми или организациями, на которые влияет состояние.

В область применения настоящего стандарта не входит:

-    индивидуальные или реализованные состояния;

-    поведение или история данных об изделии, которые могут находиться в индивидуальном состоянии.

2    Нормативные ссылки

В настоящем стандарте использованы нормативные ссылки на следующие международные стандарты и документы (для датированных ссылок следует использовать указанное издание, для недатированных ссылок — последнее издание указанного документа, включая все поправки к нему):

ISO 10303-1:1994. Industrial automation systems and integration — Product data representation and exchange — Part 1: Overview and fundamental principles (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы)

ISO 10303-11 2004, Industrial automation systems and integration — Product data representation and exchange — Pari 11: Description methods: The EXPRESS language reference manual (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS)

ISO 10303-41, Industrial automation systems and integration — Product data representation and exchange — Part 41: Integrated generic resource: Fundamentals of product description and support (Системы промышленной автоматизации и интеграция. Представление данных о продукции и обмен данными. Часть 41. Интегрированные обобщенные ресурсы Основополагающие принципы описания и сопровождения изделия)

Издание официальное

ISO 10303-56, Industrial automation systems and integration — Product data representation and exchange — Part 56: Integrated generic resource: State (Системы промышпенной автоматизации и интеграция. Представпение данных о продукции и обмен данными. Часть 56. Интегрированные обобщенные ресурсы. Состояние)

ISO/TS 10303-1021. Industrial automation systems and integration — Product data representation and exchange — Part 1021: Application module: Identification assignment (Системы промышпенной автоматизации и интеграция. Представление данных об издепии и обмен данными. Часть 1021. Прикладной модуль. Задание обозначения)

ISO/TS 10303-1047:2004, Industrial automation systems and integration — Product data representation and exchange — Part 1047: Application module: Activity (Системы промышленной автоматизации и интеграция. Представление данных об изделии и обмен данными. Часть 1047. Прикладной модуль: Действие)

ISO/TS 10303-1114:2004. Industrial automation systems and integration — Product data representation and exchange — Part 1114: Application module: Classification assignment (Системы промышленной автоматизации и интеграция. Представление данных об изделии и обмен данными. Часть 1114. Прикладной модуль. Задание принадлежности к классу)

ISO/TS 10303-1469:2010 Industrial automation systems and integration — Product data representation and exchange — Part 1469: Application module: Foundation state definition (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1469. Прикладной модуль. Определение основного состояния)

3    Термины, определения и сокращения

3.1    Термины и определения

3.1.1    Термины, определенные в ИСО 10303-1

В настоящем стандарте применены следующие термины:

-    приложение (application);

-    прикладная интерпретированная конструкция: ПИК (application interpreted construct; AIC);

-    прикладной модуль (application module);

-    прикладной объект (application object);

-    прикладной протокол; ПП (application protocol; АР);

-    прикладная эталонная модель; ПЭМ (application reference model; ARM);

-    общие ресурсы (common resources);

-    данные (data);

-    информация (information);

-    интегрированный ресурс (integrated resource);

-    изделие (product);

-    данные об изделии (product data);

-    интерпретированная модель модуля (module interpreted model).

3.2 Сокращения

В настоящем стандарте применены следующие сокращения:

ПМ — прикладной модуль;

ПЭМ — прикладная эталонная модель;

ИММ — интерпретированная модель модуля;

URL — унифицированный указатель информационного ресурса.

4    Информационные требования

В настоящем разделе определены информационные требования к прикладному модулю «Определение состояния», которые представлены в форме ПЭМ.

Примечания

1 Графическое представление информационных требований приведено в приложении С

ГОСТ Р ИСО/ТС 10303-1255—2017

2 Спецификация отображения определена в 5.1. Она показывает, как удовлетворяются информационные требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ или импортированных в схему ИММ прикладного модуля, описанного в настоящем стандарте

В настоящем подразделе с применением языка EXPRESS дано определение информационных требований, которым должны соответствовать программные реализации. Ниже представлен фрагмент EXPRESS-спецификации. с которого начинается описание схемы State_definition_arm В нем определены необходимые внешние ссылки.

ЕХРР.£§$-спецификаци_я;

*)

SCHEMA State_definition_arm;

<*

4.1    ПЭМ, необходимые для прикладного модуля

Ниже представлены интерфейсные операторы языка EXPRESS, посредством которых задаются элементы, импортированные из прикладных эталонных моделей других прикладных модулей.

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

*)

USE FROM Activity_arm; - ISO/TS 10303-1047 USE FROM Classification_assignment_arm; - 180Я5 10303-1114 USE FROM ldentification_assignment_arm; -- ISO/TS 10303-1021 USE FROM Foundation_state_definition_arm; - ISO/TS 10303-1469

c

Примечания

1    Схемы, ссылки на которые приведены выше, определены в следующих документах комплекса ИСО 10303 Activity_arm — ИСО/ТС 10303-1047;

Classification_assignment_arm — ИСО/ТС 10303-1114. ldentification_assignment_arm — ИСО/ТС 10303-1021;

Foundation_state_definition_arm — ИСО/ТС 10303-1469

2    Графическое представление этих схем приведено на рисунках С 1 и С 2. приложение С

4.2    Определение типов данных ПЭМ

В данном подразделе приведены определенные в ПЭМ типы данных рассматриваемого прикладного модуля.

4.2.1 Тип данных state_definition_activityJtem

Выбираемый тип данных state_definition_activity_item является расширением типа данных activity_item В настоящем типе данных к списку альтернативных выбираемых типов данных добавлен именованный тип Applied_state_definition_assignment.

Примечание — В прикладных модулях, использующих конструкции настоящего прикладного модуля, список обьектных типов данных может быть расширен

ЕХРПЕ$$-Рпецификация:

*>

TYPE state_definitk>n_activity_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON activity item WITH

(Applied_state_definition_assignment);

END_TYPE;

C

з

4.2.2    Тип данных state_definition_classification_item

Выбираемый тип данных state_definition_classification_item является расширением типа данных classification_item В настоящем типе данных к списку альтернативных выбираемых типов данных добавлены именованные типы Applied_state_definition_assignment, State_definition и State_ definition_relationship

Примечание — В прикладных модулях, использующих конструкции настоящего прикладного модуля, список объектных типов данных может быть расширен

Тип данных state_definrtion_classification_item позволяет задавать представленный объектом Class класс типам состояний, отношениям между типами состояния и задавать типы состояний данным об изделии или действии в целях их классификации.

EXPRESS-специФикация;

*)

TYPE state_definition_classificationJtem = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON classification_item WITH

(Applied_state_definition_assignment,

State_definition.

State_definition_relationship);

END_TYPE;

r

4.2.3    Тип данных state_definrtion_identification_item

Выбираемый тип данных state_definition_identification_item является расширением типа данных identificationjtem В настоящем типе данных к списку альтернативных выбираемых типов данных добавлены именованные типы State_definition и State_definition_relationship

Примечание — Список объектных типов данных может быть расширен в прикладных модулях, в которых используются конструкции настоящего прикладного модуля

EXPRESS-спеииФикацяя;

*)

TYPE state_definition_identificationJtem = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON idenlification_item WITH (State_definition,

State_definition_relationship);

END_TYPE:

(*

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_defmit ion

SUBTYPE OF (State_cause_effect_defmition);

4

ГОСТ Р ИСО/ТС 10303-1255—2017

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;

c

4.3.3    Объект Sequence_of_state_definition

Объект Sequence_of_state_definition является подтипом объекта State_definition_relationship

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

EXPRESS-спеииФикаиия:

*)

ENTITY Sequence_of_state_definition

SUBTYPE OF (Stale_defmition_relationship);

SELF\State_definition_relationship.relating RENAMED successor: SET[1:?J OF State_definition; SELF\State_defmition_relationship.related RENAMED predecessor: SET[1:7) OF State_definition; END_ENTITY;

r

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

successor — объект State_definition. представляющий следующее состояние; predecessor — объект State_definition. представляющий предшествующее состояние в последовательности.

4.3.4 Объект State_cause_effect_definition

Объект State_cause_effect_definition является таким подтипом объекта State_definition_ relationship, который используется для определения отношения причинной связи между двумя наборами объектов State_definition По меньшей мере, один объект State_definition. играющий атрибута cause (причина) представляет определение состояния, являющееся причиной и. по меньшей мере, один объект State_definition. играющий атрибута effect (следствие) представляет определение состояния, являющееся следствием.

Примечание — С помощью объектов And_state_cause_effect_defmition, Or_state_cause_effect_ definition и Xor_state_cause_effcct_definition являющихся подтипом настоящего объекта, могут быть выражены дополнительные типы причинных связей

EXPREgS-специФикация;

*)

ENTITY State_cause_effect_defmition

SUBTYPE OF (State_defmition_relationship);

SELF\State_definition_relationship.relating RENAMED effect: SET[1:?J OF State_definition; SELF\State_definition_relationship.related RENAMED cause : SET(1:?) OF State_defmition; END_ENTITY;

r

5

Ош?.едеде.ыия.а1рлбутов;

effect — объекты типа State_definition. представляющие следствие, причиной которого являются определения состояний, представленные объектами State_definition. играющими роль атрибута cause (причина);

cause — объекты типа State_definition. представляющие причину, следствием которой являются определения состояний, представленные объектами State_definition. играющими роль атрибута effect (следствие).

4.3.5 Объект State_complement_definition

Объект State_complement_definition является подтипом объекта State_definition_relationship

Настоящий объект представляет отношение между тремя наборами объектов State_definition. представляющих определения состояний. Посредством настоящего объекта определяется дополнение набора объектов State_definition по отношению к набору объектов State_definition. являющимся объединением множеств.

При мечание

1    Здесь используется та же семантика, что и в основах теории множеств

2    Отношения между набором объектов типа State_definition и его дополнением являются симметричными

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

*)

ENTITY State_complement_defmition

SUBTYPE OF (State_defmition_relationship);

SELF\State_defmrtion_relationship.relating RENAMED universe : SET[1:?) OF State_definition; SELF\State_definition_relationship.related RENAMED set_1 : SET(1:?) OF State_definition; set_2 : SET[1:?] OF State_defmition;

END_ENTITY;

(*

Ошеледен_ия.а1ри.бу1.ов:

items — набор объектов State_definition. являющийся объединением наборов, играющих роли атрибутов set_1 и set_2;

set_1 — набор объектов State_definition, являющийся дополнением набора, играющего роль атрибута set_2 относительно объединяющего набора, играющего роль атрибута universe;

set_2 — набор объектов State_definition, являющийся дополнением набора, играющего роль атрибута set_1 относительно объединяющего набора, играющего роль атрибута universe.

4.3.6 Объект State_proper_subset_definition

Объект State_proper_subset_definition является подтипом объекта State_definition_ relationship Посредством настоящего объекта задается отношение между двумя наборами объектов State_definition.

Примечание — Посредством объекта State_proper_subset_definition может быть описано отношение между состоянием и его средой Внутреннее состояние обозначается посредством объектов, играющих роль атрибута propcr_subsct Внешнее состояние обозначается посредством объектов, играющих роль атрибута proper_superset

EXPRESS-cneuHOwKautta;

*)

ENTITY State_proper_subset_definition

SUBTYPE OF (State_defmition_relationship);

SELF\State_defmition_relationship.related RENAMED proper_subset: SET[1:?J OF State_defmition; SELF\State_definition_relationship.relating RENAMED proper_superset: SET[1:?) OF State_defmition; END_ENTITY;

(*

6