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

"ГОСТ Р ИСО/ТС 10303-1228-2016. Национальный стандарт Российской Федерации. Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1228. Прикладной модуль. Представление с учетом неопределенности" (утв. и введен в действие Приказом Росстандарта от 24.11.2016 N 1760-ст)

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

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

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

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

- использование объекта супертипа не дает права применять любой из его подтипов, пока этот подтип не будет также импортирован в схему ИММ;

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

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

*)

SCHEMA Representation_with_uncertainty_mim;

USE FROM Foundation_representation_mim; -- ISO/TS 10303-1006

USE FROM qualified_measure_schema -- ISO 10303-45

(qualified_representation_item,

standard_uncertainty,

uncertainty_qualifier);

USE FROM representation_schema -- ISO 10303-43

(uncertainty_assigned_representation);

USE FROM Value_with_unit_mim; -- ISO/TS 10303-1054

(*

Примечания

1 Схемы, ссылки на которые даны выше, можно найти в следующих стандартах и документах комплекса ИСО 10303:

Foundation_representation_mim - ИСО/ТС 10303-1006;

qualified_measure_schema - ИСО 10303-45;

representation_schema - ИСО 10303-43;

Value_with_unit_mim - ИСО/ТС 10303-1054.

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

5.2.1 Определения правила ИММ

В настоящем пункте приведено правило ИММ рассматриваемого прикладного модуля.

5.2.1.1 Правило consistent_uncertainty

Правило consistent_uncertainty устанавливает, что любой экземпляр объекта global_uncertainty_assigned_context или объекта uncertainty_assigned_representation не должен содержать в своих наборах неопределенностей двух экземпляров объекта uncertainty_measure_with_unit, имеющих одинаковые значения атрибута name.

Также устанавливается, что любой экземпляр объекта qualified_representation_item не должен содержать в своем наборе объектов, задающих квалификаторы, каких-либо двух экземпляров объектов uncertainty_qualifier, имеющих одинаковые значения атрибутов measure_name.

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

*)

RULE consistent_uncertainty FOR

(global_uncertainty_assigned_context,qualified_representation_

item,uncertainty_assigned_representation);

WHERE

WR1: SIZEOF ( QUERY ( guac <* global_uncertainty_assigned_context |

SIZEOF ( QUERY ( u1 <* guac.uncertainty | SIZEOF ( QUERY ( u2 <*

guac.uncertainty | u2.name = u1.name ) ) >1 ) ) >0 ) ) = 0 ;

WR2: SIZEOF ( QUERY ( uar <* uncertainty_assigned_representation |

SIZEOF ( QUERY ( u1<* uar.uncertainty | SIZEOF ( QUERY ( u2 <*

uar.uncertainty | u2.name = u1.name ) ) >1 ) ) >0 ) ) = 0;

WR3: SIZEOF ( QUERY ( qri <* qualified_representation_item | SIZEOF

( QUERY ( u1 <* qri.qualifiers |

'REPRESENTATION_WITH_UNCERTAINTY_MIM' + '.UNCERTAINTY_QUALIFIER' IN

TYPEOF ( u1 ) ) AND ( SIZEOF ( QUERY ( u2 <* qri.qualifiers | (

'REPRESENTATION_WITH_UNCERTAINTY_MIM' + '.UNCERTAINTY_QUALIFIER' IN

TYPEOF ( u2 ) ) AND ( u2\uncertainty_qualifier.measure_name =

u1\uncertainty_qualifier.measure_name ) ) ) >1 ) ) ) >0 ) ) = 0;

END_RULE;

(*

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

global_uncertainty_assigned_context - набор всех экземпляров объектов global_uncertainty_assigned_context;

qualified_representation_item - набор всех экземпляров объектов qualified_representation_item;

uncertainty_assigned_representation - набор всех экземпляров объектов uncertainty_assigned_representation.

Формальные положения:

WR1. Любой экземпляр объекта global_uncertainty_assigned_context не должен содержать в своих наборах неопределенностей двух экземпляров объекта uncertainty_measure_with_unit, имеющих одинаковые значения атрибута name.

WR2. Любой экземпляр объекта uncertainty_assigned_representation не должен содержать в своих наборах неопределенностей двух экземпляров объекта uncertainty_measure_with_unit, имеющих одинаковые значения атрибута name.

WR3. Любой экземпляр объекта qualified_representation_item не должен содержать в своем наборе объектов, задающих квалификаторы, каких-либо двух экземпляров объектов uncertainty_qualifier, имеющих одинаковые значения атрибутов measure_name.

*)

END_SCHEMA; -- Representation_with_uncertainty_mim

(*

Приложение A

(обязательное)

СОКРАЩЕННЫЕ НАИМЕНОВАНИЯ ОБЪЕКТОВ ИММ

Наименование объектов было определено в других стандартах, перечисленных в разделе 2.

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

Примечание - Наименования объектов на языке EXPRESS доступны в Интернете по адресу http://www.tc184-sc4.org/Short_Names/.

Приложение B

(обязательное)

РЕГИСТРАЦИЯ ИНФОРМАЦИОННЫХ ОБЪЕКТОВ

B.1 Обозначение документа

Для однозначного обозначения информационного объекта в открытой системе настоящему стандарту присвоен следующий идентификатор объекта:

{ iso standard 10303 part(1228) version(1) }

Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.

B.2 Обозначение схем

B.2.1 Обозначение схемы Representation_with_uncertainty_arm

Для однозначного обозначения в открытой информационной системе схеме Representation_with_uncertainty_arm, установленной в настоящем стандарте, присвоен следующий идентификатор объекта:

{ iso standard 10303 part(1228) version(1) schema(1)

representation-with-uncertainty-arm(1) }

Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.

B.2.2 Обозначение схемы Representation_with_uncertainty_mim

Для однозначного обозначения в открытой информационной системе схеме Representation_with_uncertainty_mim, установленной в настоящем стандарте, присвоен следующий идентификатор объекта:

{ iso standard 10303 part(1228) version(1) schema(1)

representation-with-uncertainty-mim(2) }

Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.

Приложение C

(справочное)