---
title: "\"ГОСТ Р ИСО/ТС 10303-1263-2014. Национальный стандарт Российской Федерации. Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1263. Прикладной модуль. Обоснование\""
number: "ГОСТ Р ИСО/ТС 10303-1263-2014"
issuer: "Федеральное агентство по техническому регулированию и метрологии"
status: действует
canonical: "https://bukva.ai/docs/standart-gost-r-isots-10303-1263-2014"
---

## "ГОСТ Р ИСО/ТС 10303-1263-2014. Национальный стандарт Российской Федерации. Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1263. Прикладной модуль. Обоснование"

# "ГОСТ Р ИСО/ТС 10303-1263-2014. Национальный стандарт Российской Федерации. Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1263. Прикладной модуль. Обоснование"

(утв. и введен в действие Приказом Росстандарта от 05.09.2014 N 998-ст)

> [!IMPORTANT]
> Документ [введен](#p100011) в действие с 01.08.2015.


<div align="right">

<a id="p100001"></a>Утвержден и введен в действие<br>
Приказом Федерального агентства<br>
по техническому регулированию<br>
и метрологии<br>
от 5 сентября 2014 г. N 998-ст

</div>


<div align="center">

<a id="p100002"></a>**НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ**

<a id="p100003"></a>**СИСТЕМЫ АВТОМАТИЗАЦИИ ПРОИЗВОДСТВА И ИХ ИНТЕГРАЦИЯ**

<a id="p100004"></a>**ПРЕДСТАВЛЕНИЕ ДАННЫХ ОБ ИЗДЕЛИИ И ОБМЕН ЭТИМИ ДАННЫМИ**

<a id="p100005"></a>**ЧАСТЬ 1263**

<a id="p100006"></a>**ПРИКЛАДНОЙ МОДУЛЬ**<br>
**ОБОСНОВАНИЕ**

<a id="p100007"></a>**Industrial automation systems and integration. Product data**<br>
**representation and exchange. Part 1263. Application module.**<br>
**Justification**

<a id="p100008"></a>**ISO/TS 10303-1263:2010**<br>
**Industrial automation systems and integration - Product data**<br>
**representation and exchange - Part 1263: Application module:**<br>
**Justification**<br>
**(IDT)**

<a id="p100009"></a>**ГОСТ Р ИСО/ТС 10303-1263-2014**

</div>


<div align="right">

<a id="p100010"></a>ОКС 25.040.40

<a id="p100011"></a>Дата введения

</div>

1 августа 2015 года


### <a id="p100012"></a>Предисловие


<a id="p100013"></a>1 ПОДГОТОВЛЕН Обществом с ограниченной ответственностью "Корпоративные электронные системы" на основе собственного аутентичного перевода на русский язык международного документа, указанного в [пункте 4](#p100016)
<a id="p100014"></a>2 ВНЕСЕН Техническим комитетом по стандартизации ТК 459 "Информационная поддержка жизненного цикла изделий"
<a id="p100015"></a>3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 5 сентября 2014 г. N 998-ст
<a id="p100016"></a>4 Настоящий стандарт идентичен международному документу ИСО/ТС 10303-1263:2010 "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1263. Прикладной модуль. Обоснование" (ISO/TS 10303-1263:2010 "Industrial automation systems and integration - Product data representation and exchange - Part 1263: Application module: Justification").
<a id="p100017"></a>При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов и документов соответствующие им национальные стандарты Российской Федерации, сведения о которых приведены в дополнительном [приложении ДА](#p100867)
<a id="p100018"></a>5 ВВЕДЕН ВПЕРВЫЕ

<a id="p100019"></a>Правила применения настоящего стандарта установлены в ГОСТ Р 1.0-2012 (раздел 8). Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе "Национальные стандарты", а официальный текст изменений и поправок - в ежемесячном информационном указателе "Национальные стандарты". В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске информационного указателя "Национальные стандарты". Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (gost.ru)


### <a id="p100020"></a>Введение


<a id="p100021"></a>Стандарты комплекса ИСО 10303 распространяются на компьютерное представление информации об изделиях и обмен данными об изделиях. Их целью является обеспечение нейтрального механизма, способного описывать изделия на всем протяжении их жизненного цикла. Этот механизм применим не только для обмена файлами в нейтральном формате, но является также основой для реализации и совместного доступа к базам данных об изделиях и организации архивирования.
<a id="p100022"></a>В настоящем стандарте специфицирован прикладной модуль для представления обоснования.
<a id="p100023"></a>Обоснованием является обозначение и описание причин чего-либо. Обоснование может быть связано с данными, к которым оно применяется, а также с данными, используемыми для обоснования. Например, обоснование может быть предоставлено для конструкции изделия или для объяснения причины, почему некоторое действие необходимо или было выполнено.
<a id="p100024"></a>Причины чего-либо могут основываться на предположении, то есть что-либо может считаться истиной без доказательств.
<a id="p100025"></a>Второе издание ИСО/ТС 10303-1263:2010, соответствующее настоящему стандарту, включает изменения, перечисленные ниже.
<a id="p100026"></a>Были добавлены следующие декларации модели ПЭМ на языке EXPRESS и спецификации импорта:
- <a id="p100027"></a>Assumption;
- <a id="p100028"></a>Assumption_assignment;
- <a id="p100029"></a>Assumption_relationship;
- <a id="p100030"></a>Validated_assumption.
<a id="p100031"></a>В дополнение к этому, в целях отражения изменений и для совместимости с изменениями ПЭМ, были внесены изменения в спецификацию отображения, схему ИММ и EXPRESS-G диаграммы.
<a id="p100032"></a>В [разделе 1](#p100038) настоящего стандарта определены область применения данного прикладного модуля, а также его функциональность и относящиеся к нему данные.
<a id="p100033"></a>В [разделе 3](#p100067) приведены термины, определенные в других стандартах комплекса ИСО 10303 и примененные в настоящем стандарте.
<a id="p100034"></a>В [разделе 4](#p100095) установлены информационные требования к прикладной предметной области, используя принятую в ней терминологию.
<a id="p100035"></a>В [приложении C](#p100828) дано графическое представление информационных требований, именуемое прикладной эталонной моделью (ПЭМ). Структуры ресурсов интерпретированы, чтобы соответствовать информационным требованиям. Результатом данной интерпретации является интерпретированная модель модуля (ИММ). Данная интерпретация, представленная в [5.1](#p100312), устанавливает соответствие между информационными требованиями и ИММ. Сокращенный листинг ИММ, представленный в [5.2](#p100628), специфицирует интерфейс к ресурсам. Графическое представление сокращенного листинга ИММ приведено в [приложении D](#p100840).
<a id="p100036"></a>Имя типа данных на языке EXPRESS может использоваться для ссылки на сам тип данных, либо на экземпляр данных этого типа. Различие в использовании обычно понятно из контекста. Если существует вероятность неоднозначного толкования, то в текст включается фраза "объектный тип данных" либо "экземпляр(ы) объектного типа данных".
<a id="p100037"></a>Двойные кавычки ("....") означают цитируемый текст, одинарные кавычки ('...') - значения конкретных текстовых строк.


### <a id="p100038"></a>1 Область применения


<a id="p100039"></a>Настоящий стандарт определяет прикладной модуль "Обоснование". В область применения настоящего стандарта входят:
- <a id="p100040"></a>предоставление одного или более обоснований для чего-либо;
- <a id="p100041"></a>описание и обозначение того, что обосновывается и в каком контексте;
- <a id="p100042"></a>описание связей между обоснованиями;
- <a id="p100043"></a>связь обоснования с обеспечивающими данными, на которых основано обоснование.
<a id="p100044"></a>В область применения настоящего стандарта не входят:
- <a id="p100045"></a>элементы данных, для которых предоставляется обоснование;
- <a id="p100046"></a>обеспечивающие данные, на которых основывается обоснование;
- <a id="p100047"></a>связь с обоснованием общих управляющих данных, таких как задание классификации, даты или времени и лица или организации.


### <a id="p100048"></a>2 Нормативные ссылки


<a id="p100049"></a>В настоящем стандарте использованы нормативные ссылки на следующие международные стандарты и документы:
<a id="p100050"></a>ИСО/МЭК 8824-1:1998 <1> Информационные технологии. Взаимосвязь открытых систем. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации (ISO/IEC 8824-1:2002, Information technology - Abstract Syntax Notation One (ASN.1) - Part 1: Specification of basic notation)

<a id="p100051"></a>

---

<a id="p100052"></a><1> Отменен. Действует ИСО/МЭК 8824-1:2008.

<a id="p100053"></a>ИСО 10303-1:1994 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы (ISO 10303-1:1994, Industrial automation systems and integration - Product data representation and exchange - Part 1: Overview and fundamental principles)
<a id="p100054"></a>ИСО 10303-11:2004 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS (ISO 10303-11:2004, Industrial automation systems and integration - Product data representation and exchange - Part 11: Description methods: The EXPRESS language reference manual)
<a id="p100055"></a>ИСО 10303-21:2002 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 21. Методы реализации. Кодирование открытым текстом структуры обмена (ISO 10303-21:2002, Industrial automation systems and integration - Product data representation and exchange - Part 21: Implementation methods: Clear text encoding of the exchange structure)
<a id="p100056"></a>ИСО 10303-41:2005 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 41. Интегрированный обобщенный ресурс. Основы описания и поддержки изделий (ISO 10303-41:2005, Industrial automation systems and integration - Product data representation and exchange - Part 41: Integrated generic resource: Fundamentals of product description and support)
<a id="p100057"></a>ИСО 10303-56:2005 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 56. Интегрированный обобщенный ресурс. Состояние (ISO 10303-56:2005, Industrial automation systems and integration - Product data representation and exchange - Part 56: Integrated generic resource: State)
<a id="p100058"></a>ИСО 10303-202:1996 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 202. Прикладные протоколы. Ассоциативные чертежи (ISO 10303-202:1996, Industrial automation systems and integration - Product data representation and exchange - Part 202: Application protocol: Associative draughting)
<a id="p100059"></a>ИСО/ТС 10303-1001:2004 <2> Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1001. Прикладной модуль. Присваивание внешнего вида (ISO/TS 10303-1001:2004, Industrial automation systems and integration - Product data representation and exchange - Part 1001: Application module: Appearance assignment)

<a id="p100060"></a>

---

<a id="p100061"></a><2> Отменен. Действует ИСО/ТС 10303-1001:2010.

<a id="p100062"></a>ИСО/ТС 10303-1017:2004 <3> Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1017. Прикладной модуль. Обозначение изделия (ISO/TS 10303-1017:2004, Industrial automation systems and integration - Product data representation and exchange - Part 1017: Application module: Product identification)

<a id="p100063"></a>

---

<a id="p100064"></a><3> Отменен. Действует ИСО/ТС 10303-1017:2010.

<a id="p100065"></a>ИСО/ТС 10303-1256:2010 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1256. Прикладной модуль. Наблюдаемое состояние (ISO/TS 10303-1256:2010, Industrial automation systems and integration - Product data representation and exchange - Part 1256: Application module: State observed)
<a id="p100066"></a>ИСО/ТС 10303-1469:2010 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1469. Прикладной модуль. Определение основного состояния (ISO/TS 10303-1469:2010, Industrial automation systems and integration - Product data representation and exchange - Part 1469: Application module: Foundation state definition)


### <a id="p100067"></a>3 Термины и сокращения



#### <a id="p100068"></a>3.1 Термины, определенные в ИСО 10303-1

<a id="p100069"></a>В настоящем стандарте применены следующие термины:
- <a id="p100070"></a>приложение (application);
- <a id="p100071"></a>прикладной объект (application object);
- <a id="p100072"></a>прикладной протокол; ПП (application protocol; AP);
- <a id="p100073"></a>прикладная эталонная модель; ПЭМ (application reference model; ARM);
- <a id="p100074"></a>данные (data);
- <a id="p100075"></a>информация (information);
- <a id="p100076"></a>интегрированный ресурс (integrated resource);
- <a id="p100077"></a>изделие (product);
- <a id="p100078"></a>данные об изделии (product data).

#### <a id="p100079"></a>3.2 Термин, определенный в ИСО 10303-202

<a id="p100080"></a>В настоящем стандарте применен следующий термин:
- <a id="p100081"></a>прикладная интерпретированная конструкция; ПИК (application interpreted construct; AIC).

#### <a id="p100082"></a>3.3 Термины, определенные в ИСО/ТС 10303-1001

<a id="p100083"></a>В настоящем стандарте применены следующие термины:
- <a id="p100084"></a>прикладной модуль; ПМ (application module; AM);
- <a id="p100085"></a>интерпретированная модель модуля; ИММ (module interpreted model; MIM).

#### <a id="p100086"></a>3.4 Термин, определенный в ИСО/ТС 10303-1017

<a id="p100087"></a>В настоящем стандарте применен следующий термин:
- <a id="p100088"></a>общие ресурсы (common resources).

#### <a id="p100089"></a>3.5 Сокращения

<a id="p100090"></a>В настоящем стандарте применены следующие сокращения:
<a id="p100091"></a>ПМ - прикладной модуль;
<a id="p100092"></a>ПЭМ - прикладная эталонная модель;
<a id="p100093"></a>ИММ - интерпретированная модель модуля;
<a id="p100094"></a>URL - унифицированный указатель информационного ресурса.


### <a id="p100095"></a>4 Информационные требования


<a id="p100096"></a>В настоящем разделе определены информационные требования к прикладному модулю "Обоснование", представленные в форме ПЭМ.
<a id="p100097"></a>Примечания
<a id="p100098"></a>1 Графическое представление информационных требований приведено в [приложении C](#p100828).
<a id="p100099"></a>2 Спецификация отображения определена в [5.1](#p100312). Она показывает, как удовлетворяются информационные требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ или импортированных в схему ИММ прикладного модуля, описанного в настоящем стандарте.

<a id="p100100"></a>Ниже представлен фрагмент EXPRESS-спецификации, с которого начинается описание схемы Justification_arm.
<a id="p100101"></a>EXPRESS-спецификация:
<a id="p100102"></a>*)
<a id="p100103"></a>SCHEMA Justification_arm;
<a id="p100104"></a>(*

#### <a id="p100105"></a>4.1 ПЭМ, необходимые для прикладного модуля

<a id="p100106"></a>Ниже представлены интерфейсные операторы языка EXPRESS, посредством которых задаются элементы, импортированные из ПЭМ других прикладных модулей.
<a id="p100107"></a>EXPRESS-спецификация:
<a id="p100108"></a>*)
<a id="p100109"></a>USE FROM Foundation_state_definition_arm; -- ISO/TS 10303-1469
<a id="p100110"></a>USE FROM State_observed_arm; -- ISO/TS 10303-1256
<a id="p100111"></a>(*
<a id="p100112"></a>Примечания
<a id="p100113"></a>1 Схемы, ссылки на которые приведены выше, определены в следующих документах комплекса ИСО 10303:
<a id="p100114"></a>Foundation_state_definition_arm - ИСО/ТС 10303-1469;
<a id="p100115"></a>State_observed_arm - ИСО/ТС 10303-1256.
<a id="p100116"></a>2 Графическое представление данных схем приведено на [рисунках C.1](#p100831) и [C.2](#p100833), приложение C.


#### <a id="p100117"></a>4.2 Определение типов данных ПЭМ

<a id="p100118"></a>В данном подразделе приведены определенные в ПЭМ типы данных рассматриваемого прикладного модуля.

##### <a id="p100119"></a>4.2.1 Тип данных assumed_item

<a id="p100120"></a>Тип данных assumed_item является расширяемым списком альтернативных типов данных. К выбираемым (SELECT) типам данных, расширяющим тип данных assumed_item, добавляются дополнительные альтернативные типы данных.
<a id="p100121"></a>*Примечание* - Для того чтобы быть уверенными, что для объектов, ссылающихся на пустой расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в прикладных модулях, использующих этот тип данных, требуется его расширение.

<a id="p100122"></a>EXPRESS-спецификация:
<a id="p100123"></a>*)
<a id="p100124"></a>TYPE assumed_item = EXTENSIBLE GENERIC_ENTITY SELECT;
<a id="p100125"></a>END_TYPE;
<a id="p100126"></a>(*

##### <a id="p100127"></a>4.2.2 Тип данных assumption_item

<a id="p100128"></a>Тип данных assumption_item является расширяемым списком альтернативных типов данных. К выбираемым (SELECT) типам данных, расширяющим тип данных assumption_item, добавляются дополнительные альтернативные типы данных.
<a id="p100129"></a>*Примечание* - Для того чтобы быть уверенными, что для объектов, ссылающихся на пустой расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в прикладных модулях, использующих этот тип данных, требуется его расширение.

<a id="p100130"></a>EXPRESS-спецификация:
<a id="p100131"></a>*)
<a id="p100132"></a>TYPE assumption_item = EXTENSIBLE GENERIC_ENTITY SELECT;
<a id="p100133"></a>END_TYPE;
<a id="p100134"></a>(*

##### <a id="p100135"></a>4.2.3 Тип данных just_state_definition_of_item

<a id="p100136"></a>Тип данных just_state_definition_of_item является расширением типа данных state_definition_of_item. В настоящем типе данных к списку альтернативных типов данных добавлен тип данных Assumption.
<a id="p100137"></a>*Примечание* - Список объектных типов данных может быть расширен в прикладных модулях, в которых используются конструкции настоящего прикладного модуля.

<a id="p100138"></a>EXPRESS-спецификация:
<a id="p100139"></a>*)
<a id="p100140"></a>TYPE just_state_definition_of_item = EXTENSIBLE GENERIC_ENTITY
<a id="p100141"></a>SELECT BASED_ON state_definition_of_item WITH
<a id="p100142"></a>(Assumption);
<a id="p100143"></a>END_TYPE;
<a id="p100144"></a>(*

##### <a id="p100145"></a>4.2.4 Тип данных just_state_of_item

<a id="p100146"></a>Тип данных just_state_of_item является расширением типа данных state_of_item. В настоящем типе данных к списку альтернативных типов данных добавлен тип данных Assumption.
<a id="p100147"></a>*Примечание* - Список объектных типов данных может быть расширен в прикладных модулях, в которых используются конструкции настоящего прикладного модуля.

<a id="p100148"></a>EXPRESS-спецификация:
<a id="p100149"></a>*)
<a id="p100150"></a>TYPE just_state_of_item = EXTENSIBLE GENERIC_ENTITY SELECT
<a id="p100151"></a>BASED_ON state_of_item WITH
<a id="p100152"></a>(Assumption);
<a id="p100153"></a>END_TYPE;
<a id="p100154"></a>(*

##### <a id="p100155"></a>4.2.5 Тип данных justification_item

<a id="p100156"></a>Тип данных justification_item является расширяемым списком альтернативных типов данных, позволяющим обозначать типы данных Assumption, Assumption_assignment и Assumption_relationship
<a id="p100157"></a>*Примечание* - Список объектных типов данных может быть расширен в прикладных модулях, в которых используются конструкции настоящего прикладного модуля.

<a id="p100158"></a>EXPRESS-спецификация:
<a id="p100159"></a>*)
<a id="p100160"></a>TYPE justification_item = EXTENSIBLE GENERIC_ENTITY SELECT
<a id="p100161"></a>(Assumption,
<a id="p100162"></a>Assumption_assignment,
<a id="p100163"></a>Assumption_relationship);
<a id="p100164"></a>END_TYPE;
<a id="p100165"></a>(*

##### <a id="p100166"></a>4.2.6 Тип данных justification_support_item

<a id="p100167"></a>Тип данных justification_support_item является расширяемым списком альтернативных типов данных, позволяющим обозначать типы данных Assumption, Assumption_assignment и Assumption_relationship.
<a id="p100168"></a>*Примечание* - Список объектных типов данных может быть расширен в прикладных модулях, в которых используются конструкции настоящего прикладного модуля.

<a id="p100169"></a>EXPRESS-спецификация:
<a id="p100170"></a>*)
<a id="p100171"></a>TYPE justification_support_item = EXTENSIBLE GENERIC_ENTITY SELECT
<a id="p100172"></a>(Assumption,
<a id="p100173"></a>Assumption_assignment,
<a id="p100174"></a>Assumption_relationship);
<a id="p100175"></a>END_TYPE;
<a id="p100176"></a>(*

#### <a id="p100177"></a>4.3 Определение объектов ПЭМ

<a id="p100178"></a>В настоящем подразделе определены объекты ПЭМ прикладного модуля "Обоснование". Каждый объект ПЭМ является простейшим неделимым элементом, который моделирует уникальное понятие прикладной области, и содержит атрибуты для представления объекта. Ниже приведены объекты ПЭМ и их определения.

##### <a id="p100179"></a>4.3.1 Объект Assumption

<a id="p100180"></a>Объект Assumption используется для обозначения того, что считается истинным без доказательства.
<a id="p100181"></a>Причина или обоснование, для которого делается предположение, должна быть связана с объектом Assumption с помощью объекта Justification_assignment.
<a id="p100182"></a>*Пример* - Действие планируется исходя из предположения, что на участке достаточно ресурсов для выполнения действия.
<a id="p100183"></a>Объект, относительно которого делается предположение, связывается с объектом Assumption с помощью объекта Item_assumed.
<a id="p100184"></a>EXPRESS-спецификация:
<a id="p100185"></a>*)
<a id="p100186"></a>ENTITY Assumption;
<a id="p100187"></a>id : STRING;
<a id="p100188"></a>name : OPTIONAL STRING;
<a id="p100189"></a>description : OPTIONAL STRING;
<a id="p100190"></a>END_ENTITY;
<a id="p100191"></a>(*
<a id="p100192"></a>Определения атрибутов
<a id="p100193"></a>id - обозначение предположения, представленного объектом Assumption;
<a id="p100194"></a>name - слова, которыми называется предположение, представленное объектом Assumption. Задавать этому атрибуту значение не обязательно;
<a id="p100195"></a>description - текст, предоставляющий дополнительную информацию о предположении, представленном объектом Assumption. Задавать этому атрибуту значение не обязательно.

##### <a id="p100196"></a>4.3.2 Объект Assumption_assignment

<a id="p100197"></a>Объект Assumption_assignment представляет связь между предположением, представленным объектом Assumption, и контекстом, в котором сделано предположение.
<a id="p100198"></a>*Пример* - Для проекта может подходить набор последующих предположений.
<a id="p100199"></a>EXPRESS-спецификация:
<a id="p100200"></a>*)
<a id="p100201"></a>ENTITY Assumption_assignment;
<a id="p100202"></a>assumption : Assumption;
<a id="p100203"></a>description : OPTIONAL STRING;
<a id="p100204"></a>item : assumption_item;
<a id="p100205"></a>role : STRING;
<a id="p100206"></a>END_ENTITY;
<a id="p100207"></a>(*
<a id="p100208"></a>Определения атрибутов
<a id="p100209"></a>assumption - представленное объектом Assumption предположение;
<a id="p100210"></a>description - текст, предоставляющий дополнительную информацию о представленном объектом Assumption_assignment задании предположения. Задавать этому атрибуту значение не обязательно;
<a id="p100211"></a>item - объект, предоставляющий контекст, в котором делается предположение.

##### <a id="p100212"></a>4.3.3 Объект Assumption_relationship

<a id="p100213"></a>Объект Assumption_relationship представляет отношение между двумя предположениями, представленными объектами Assumption.
<a id="p100214"></a>EXPRESS-спецификация:
<a id="p100215"></a>*)
<a id="p100216"></a>ENTITY Assumption_relationship;
<a id="p100217"></a>description : OPTIONAL STRING;
<a id="p100218"></a>role : STRING;
<a id="p100219"></a>relating_assumption : Assumption;
<a id="p100220"></a>related_assumption : Assumption;
<a id="p100221"></a>END_ENTITY;
<a id="p100222"></a>(*
<a id="p100223"></a>Определения атрибутов
<a id="p100224"></a>description - текст, предоставляющий дополнительную информацию о представленном объектом Assumption_relationship отношении между предположениями. Задавать этому атрибуту значение не обязательно;
<a id="p100225"></a>role - смысл связи;
<a id="p100226"></a>relating_assumption - первое из представленных объектами Assumption предположений, участвующих в отношении;
<a id="p100227"></a>related_assumption - второе из представленных объектами Assumption предположений, участвующих в отношении. Если одно из участвующих в отношении предположений зависит от другого, то настоящий атрибут должен ссылаться на зависимое предположение.

##### <a id="p100228"></a>4.3.4 Объект Item_assumed

<a id="p100229"></a>Объект Item_assumed представляет связь между предположением, представленным объектом Assumption, и тем, что считается истинным.
<a id="p100230"></a>*Пример* - Предполагается, что на данном участке имеется оборудование. Оборудование должно быть задано с помощью объекта Resource_item_assignment, участок задается объектом Location, а существование оборудования на участке задается с помощью объекта Location_assignment, связывающего ресурс с его местонахождением.
<a id="p100231"></a>EXPRESS-спецификация:
<a id="p100232"></a>*)
<a id="p100233"></a>ENTITY Item_assumed;
<a id="p100234"></a>assumption : Assumption;
<a id="p100235"></a>item : assumed_item;
<a id="p100236"></a>END_ENTITY;
<a id="p100237"></a>(*
<a id="p100238"></a>Определение атрибутов
<a id="p100239"></a>assumption - представленное объектом Assumption предположение;
<a id="p100240"></a>item - нечто, что предполагается истинным.

##### <a id="p100241"></a>4.3.5 Объект Justification

<a id="p100242"></a>Объект Justification предоставляет обозначение и описание причин чего-либо. Объекты Justification могут быть связаны с данными, к которым применяется обоснование.
<a id="p100243"></a>*Пример* - Обоснование может предоставляться для конструкции изделия. Подобно этому может быть предоставлено обоснование необходимого или выполненного действия.
<a id="p100244"></a>EXPRESS-спецификация:
<a id="p100245"></a>*)
<a id="p100246"></a>ENTITY Justification;
<a id="p100247"></a>id : STRING;
<a id="p100248"></a>name : OPTIONAL STRING;
<a id="p100249"></a>description : STRING;
<a id="p100250"></a>context_description : OPTIONAL STRING;
<a id="p100251"></a>END_ENTITY;
<a id="p100252"></a>(*
<a id="p100253"></a>Определения атрибутов
<a id="p100254"></a>id - обозначение представленного объектом Justification обоснования;
<a id="p100255"></a>name - слово или группа слов, которыми называют обоснование, представленное объектом Justification. Задавать этому атрибуту значение не обязательно;
<a id="p100256"></a>description - текст, предоставляющий дополнительную информацию о представленном объектом Justification обосновании;
<a id="p100257"></a>context_description - текст, предоставляющий дополнительную информацию о контексте, в котором применяется представленное объектом Justification обоснование. Задавать этому атрибуту значение не обязательно.

##### <a id="p100258"></a>4.3.6 Объект Justification_assignment

<a id="p100259"></a>Объект Justification_assignment представляет связь между представленным объектом Justification обоснованием и тем объектом, для которого предоставляется обоснование.
<a id="p100260"></a>*Пример* - Объект может быть действием или конструкцией изделия.
<a id="p100261"></a>EXPRESS-спецификация:
<a id="p100262"></a>*)
<a id="p100263"></a>ENTITY Justification_assignment;
<a id="p100264"></a>justification : Justification;
<a id="p100265"></a>description : OPTIONAL STRING;
<a id="p100266"></a>item : justification_item;
<a id="p100267"></a>role : STRING;
<a id="p100268"></a>END_ENTITY;
<a id="p100269"></a>(*
<a id="p100270"></a>Определения атрибутов
<a id="p100271"></a>justification - представленное объектом Justification обоснование, которое задается объекту;
<a id="p100272"></a>description - текст, предоставляющий дополнительную информацию о представленном объектом Justification_assignment задании обоснования. Задавать этому атрибуту значение не обязательно;
<a id="p100273"></a>item - элемент данных, для которого предоставляется обоснование, представленное объектом Justification;
<a id="p100274"></a>role - функция, выполняемая заданным обоснованием, представленным объектом Justification.

##### <a id="p100275"></a>4.3.7 Объект Justification_relationship

<a id="p100276"></a>Объект Justification_relationship представляет связь между двумя обоснованиями, представленными объектами Justification.
<a id="p100277"></a>EXPRESS-спецификация:
<a id="p100278"></a>*)
<a id="p100279"></a>ENTITY Justification_relationship;
<a id="p100280"></a>name : STRING;
<a id="p100281"></a>description : OPTIONAL STRING;
<a id="p100282"></a>relating_justification : Justification;
<a id="p100283"></a>related_justification : Justification;
<a id="p100284"></a>END_ENTITY;
<a id="p100285"></a>(*
<a id="p100286"></a>Определения атрибутов
<a id="p100287"></a>name - слово или группа слов, которыми называют представленное объектом Justification_relationship отношение между обоснованиями;
<a id="p100288"></a>description - текст, предоставляющий дополнительную информацию о представленном объектом Justification_relationship отношении между обоснованиями. Задавать этому атрибуту значение не обязательно;
<a id="p100289"></a>relating_justification - первое из представленных объектами Justification обоснований, участвующих в отношении;
<a id="p100290"></a>related_justification - второе из представленных объектами Justification обоснований, участвующих в отношении. Если одно из участвующих в отношении обоснований зависит от другого, то настоящий атрибут должен ссылаться на зависимое обоснование.

##### <a id="p100291"></a>4.3.8 Объект Justification_support_assignment

<a id="p100292"></a>Объект Justification_support_assignment представляет связь между обоснованием, представленным объектом Justification, и некоторым объектом, содержащим данные, используемые для обоснования.
<a id="p100293"></a>*Пример* - Обеспечивающий объект может быть результатом анализа, отчетом или профессиональным доказательством.
<a id="p100294"></a>EXPRESS-спецификация:
<a id="p100295"></a>*)
<a id="p100296"></a>ENTITY Justification_support_assignment;
<a id="p100297"></a>justification : Justification;
<a id="p100298"></a>description : OPTIONAL STRING;
<a id="p100299"></a>support_item : justification_support_item;
<a id="p100300"></a>role : STRING;
<a id="p100301"></a>END_ENTITY;
<a id="p100302"></a>(*
<a id="p100303"></a>Определения атрибутов
<a id="p100304"></a>justification - представленное объектом Justification обоснование, с которым связаны обеспечивающие данные;
<a id="p100305"></a>description - текст, предоставляющий дополнительную информацию о представленной объектом Justification_support_assignment связи между обоснованием и используемыми обеспечивающими данными. Задавать этому атрибуту значение не обязательно;
<a id="p100306"></a>support_item - объект, содержащий обеспечивающие данные для обоснования, представленного объектом Justification;
<a id="p100307"></a>role - функция, выполняемая заданным обеспечивающим объектом.
<a id="p100308"></a>*)
<a id="p100309"></a>END_SCHEMA; -- Justification_arm
<a id="p100310"></a>(*


### <a id="p100311"></a>5 Интерпретированная модель модуля (ИММ)



#### <a id="p100312"></a>5.1 Спецификация отображения

<a id="p100313"></a>В настоящем стандарте под термином "прикладной элемент" понимается любой объектный тип данных, определенный в [разделе 4](#p100095), любой из его явных атрибутов и любое ограничение на подтипы. Термин "элемент ИММ" означает любой объектный тип данных, определенный в [5.2](#p100628) или импортированный с помощью оператора USE FROM из другой EXPRESS-схемы, а также любой из его атрибутов и любое ограничение на подтипы, определенное в [5.2](#p100628) либо импортированное с помощью оператора USE FROM.
<a id="p100314"></a>В данном подразделе представлена спецификация отображения, которая определяет, как каждый прикладной элемент, описанный в [разделе 4](#p100095) настоящего стандарта, отображается на один или более элементов ИММ (см. [5.2](#p100628)).
<a id="p100315"></a>Спецификация отображения для каждого объекта ПЭМ определена ниже в отдельном пункте. Спецификация отображения атрибута объекта ПЭМ описывается в подпункте пункта, содержащего спецификацию отображения этого объекта. Каждая спецификация содержит не более пяти секций.
<a id="p100316"></a>Секция "Заголовок" содержит:
- <a id="p100317"></a>наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо
- <a id="p100318"></a>наименование атрибута рассматриваемого объекта ПЭМ, если данный атрибут ссылается на тип, не являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных, либо
- <a id="p100319"></a>составное выражение вида "связь объекта <наименование объекта ПЭМ> с объектом <тип данных, на который дана ссылка> (представляющим атрибут <наименование атрибута>)", если данный атрибут ссылается на тип данных, являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных.
<a id="p100320"></a>Секция "Элемент ИММ" содержит в зависимости от рассматриваемого прикладного элемента:
- <a id="p100321"></a>наименование одного или более объектных типов данных ИММ;
- <a id="p100322"></a>наименование атрибута объекта ИММ, представленное в виде синтаксической конструкции <наименование объекта>.<наименование атрибута>, если рассматриваемый атрибут ссылается на тип, не являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных;
- <a id="p100323"></a>ключевое слово PATH, если рассматриваемый атрибут объекта ПЭМ ссылается на объектный тип данных или на тип SELECT, который содержит или может содержать объектные типы данных;
- <a id="p100324"></a>ключевое слово IDENTICAL MAPPING, если оба прикладных объекта, присутствующих в прикладном утверждении, отображаются на тот же самый экземпляр объектного типа данных ИММ;
- <a id="p100325"></a>синтаксическую конструкцию /SUPERTYPE(<наименование супертипа>)/, если рассматриваемый объект ПЭМ отображается как его супертип;
- <a id="p100326"></a>одну или более конструкций /SUBTYPE(<наименование подтипа>)/, если отображение рассматриваемого объекта ПЭМ является объединением отображений его подтипов.
<a id="p100327"></a>Если отображение прикладного элемента содержит более одного элемента ИММ, то каждый из этих элементов ИММ представлен в отдельной строке спецификации отображения, заключенной в круглые или квадратные скобки.
<a id="p100328"></a>Секция "Источник" содержит:
- <a id="p100329"></a>обозначение стандарта ИСО, в котором определен данный элемент ИММ, для тех элементов ИММ, которые определены в общих ресурсах;
- <a id="p100330"></a>обозначение настоящего стандарта для тех элементов ИММ, которые определены в схеме ИММ настоящего стандарта.
<a id="p100331"></a>Данная секция опускается, если в секции "Элемент ИММ" используются ключевые слова PATH или IDENTICAL MAPPING.
<a id="p100332"></a>Секция "Правила" содержит наименование одного или более глобальных правил, которые применяются к совокупности объектных типов данных ИММ, перечисленных в секции "Элемент ИММ" или "Ссылочный путь". Если правила не применяются, то данную секцию опускают.
<a id="p100333"></a>За ссылкой на глобальное правило может следовать ссылка на подпункт, в котором определено данное правило.
<a id="p100334"></a>Секция "Ограничение" содержит наименование одного или более ограничений на подтипы, которые применяются к совокупности объектных типов данных ИММ, перечисленных в секции "Элемент ИММ" или "Ссылочный путь". Если ограничения на подтипы отсутствуют, то данную секцию опускают.
<a id="p100335"></a>За ссылкой на ограничение подтипа может следовать ссылка на подпункт, в котором определено данное ограничение на подтипы.
<a id="p100336"></a>Секция "Ссылочный путь" содержит:
- <a id="p100337"></a>ссылочный путь к супертипам в общих ресурсах для каждого элемента ИММ, определенного в настоящем стандарте;
- <a id="p100338"></a>спецификацию взаимосвязей между элементами ИММ, если отображение прикладного элемента требует связать экземпляры нескольких объектных типов данных ИММ. В этом случае в каждой строке ссылочного пути указывают роль элемента ИММ по отношению к ссылающемуся на него элементу ИММ или к следующему по ссылочному пути элементу ИММ.
<a id="p100339"></a>В выражениях, определяющих ссылочные пути и ограничения между элементами ИММ, применяют следующие условные обозначения:
<a id="p100340"></a>[] - в квадратные скобки заключают несколько элементов ИММ или частей ссылочного пути, которые требуются для обеспечения соответствия информационному требованию;
<a id="p100341"></a>() - в круглые скобки заключают несколько элементов ИММ или частей ссылочного пути, которые являются альтернативными в рамках отображения для обеспечения соответствия информационному требованию;
<a id="p100342"></a>{} - в фигурные скобки заключают фрагмент, ограничивающий ссылочный путь для обеспечения соответствия информационному требованию;
<a id="p100343"></a>< > - в угловые скобки заключают один или более необходимых ссылочных путей;
<a id="p100344"></a>| | - между вертикальными линиями помещают объект супертипа;
<a id="p100345"></a>-> - атрибут, наименование которого предшествует символу ->, ссылается на объектный или выбираемый тип данных, наименование которого следует после этого символа;
<a id="p100346"></a><- - атрибут объекта, наименование которого следует после символа <-, ссылается на объектный или выбираемый тип данных, наименование которого предшествует этому символу;
<a id="p100347"></a>[i] - атрибут, наименование которого предшествует символу [i], является агрегированной структурой; ссылка дается на любой элемент данной структуры;
<a id="p100348"></a>[n] - атрибут, наименование которого предшествует символу [n], является упорядоченной агрегированной структурой; ссылка дается на n-й элемент данной структуры;
<a id="p100349"></a>=> - объект, наименование которого предшествует символу =>, является супертипом объекта, наименование которого следует после этого символа;
<a id="p100350"></a><= - объект, наименование которого предшествует символу <=, является подтипом объекта, наименование которого следует после этого символа;
<a id="p100351"></a>= - строковый (STRING), выбираемый (SELECT) или перечисляемый (ENUMERATION) тип данных ограничен списком выбора или значением;
<a id="p100352"></a>\ - выражение для ссылочного пути продолжается на следующей строке;
* <a id="p100353"></a>- один или более экземпляров взаимосвязанных объектных типов данных могут быть объединены в древовидную структуру. Путь между объектом взаимосвязи и связанными с ним объектами заключают в фигурные скобки;
<a id="p100354"></a>-- - последующий текст является комментарием или ссылкой на раздел;
<a id="p100355"></a>*> - выбираемый (SELECT) или перечисляемый (ENUMERATION) тип данных, наименование которого предшествует символу *>, расширяется до выбираемого или перечисляемого типа данных, наименование которого следует за этим символом;
<a id="p100356"></a><* - выбираемый (SELECT) или перечисляемый (ENUMERATION) тип данных, наименование которого предшествует символу <*, является расширением выбираемого или перечисляемого типа данных, наименование которого следует за этим символом;
<a id="p100357"></a>!{} - секция, заключенная в фигурные скобки, обозначает отрицательное ограничение, налагаемое на отображение.
<a id="p100358"></a>Определение и использование шаблонов отображения не поддерживаются в настоящей версии прикладных модулей, однако поддерживается использование предопределенных шаблонов /SUBTYPE/ и /SUPERTYPE/.

##### <a id="p100359"></a>5.1.1 Прикладной объект Applied_state_assignment

<a id="p100360"></a>Определение прикладного объекта Applied_state_assignment дано в прикладном модуле "state_observed". В настоящей секции с целью включения утверждений, определения которых даны в настоящем прикладном модуле, дается расширение отображения прикладного объекта Applied_state_assignment.

###### <a id="p100361"></a>5.1.1.1 Связь объекта Applied_state_assignment с объектом Assumption, представляющим атрибут assigned_to



| <a id="p100362"></a>Элемент ИММ: | <a id="p100363"></a>PATH |
| --- | --- |
| <a id="p100364"></a>Ссылочный путь: | <a id="p100365"></a>state_observed_assignment<br>applied_state_observed_assignment <= state_observed_assignment<br>applied_state_observed_assignment.items -> state_observed_of_item<br>state_observed_of_item *> just_state_observed_of_item<br>just_state_observed_of_item = assumption |



##### <a id="p100366"></a>5.1.2 Прикладной объект Applied_state_definition_assignment

<a id="p100367"></a>Определение прикладного объекта Applied_state_definition_assignment дано в прикладном модуле "foundation_state_definition". В настоящей секции с целью включения утверждений, определения которых даны в настоящем прикладном модуле, дается расширение отображения прикладного объекта Applied_state_definition_assignment.

###### <a id="p100368"></a>5.1.2.1 Связь объекта Applied_state_definition_assignment с объектом Assumption, представляющим атрибут assigned_to



| <a id="p100369"></a>Элемент ИММ: | <a id="p100370"></a>PATH |
| --- | --- |
| <a id="p100371"></a>Ссылочный путь: | <a id="p100372"></a>state_type_assignment<br>applied_state_type_assignment <= state_type_assignment<br>applied_state_type_assignment.items -> state_type_of_item<br>state_observed_of_item *> just_state_observed_of_item<br>just_state_observed_of_item = assumption |



##### <a id="p100373"></a>5.1.3 Прикладной объект Assumption



| <a id="p100374"></a>Элемент ИММ: | <a id="p100375"></a>assumption |
| --- | --- |
| <a id="p100376"></a>Источник: | <a id="p100377"></a>ИСО/ТС 10303-1263 |
| <a id="p100378"></a>Ссылочный путь: | <a id="p100379"></a>assumption <=<br>state_observed |



###### <a id="p100380"></a>5.1.3.1 Атрибут id



| <a id="p100381"></a>Элемент ИММ: | <a id="p100382"></a>identification_assignment.assigned_id |
| --- | --- |
| <a id="p100383"></a>Источник: | <a id="p100384"></a>ИСО 10303-56 |
| <a id="p100385"></a>Ссылочный путь: | <a id="p100386"></a>assumption <-<br>applied_identification_assignment.items<br>applied_identification_assignment <=<br>identification_assignment<br>identification_assignment.assigned_id |



###### <a id="p100387"></a>5.1.3.2 Атрибут name



| <a id="p100388"></a>Элемент ИММ: | <a id="p100389"></a>state_observed.name |
| --- | --- |
| <a id="p100390"></a>Источник: | <a id="p100391"></a>ИСО 10303-56 |
| <a id="p100392"></a>Ссылочный путь: | <a id="p100393"></a>assumption <=<br>state_observed<br>state_observed.name |



###### <a id="p100394"></a>5.1.3.3 Атрибут description



| <a id="p100395"></a>Элемент ИММ: | <a id="p100396"></a>state_observed.description |
| --- | --- |
| <a id="p100397"></a>Источник: | <a id="p100398"></a>ИСО 10303-56 |
| <a id="p100399"></a>Ссылочный путь: | <a id="p100400"></a>assumption <=<br>state_observed<br>state_observed.description |



##### <a id="p100401"></a>5.1.4 Прикладной объект Assumption_assignment



| <a id="p100402"></a>Элемент ИММ: | <a id="p100403"></a>assumption_assignment |
| --- | --- |
| <a id="p100404"></a>Источник: | <a id="p100405"></a>ИСО/ТС 10303-1263 |
| <a id="p100406"></a>Ссылочный путь: | <a id="p100407"></a>assumption_assignment <=<br>characterized_applied_state_observed_assignment |



###### <a id="p100408"></a>5.1.4.1 Связь объекта Assumption_assignment с объектом Assumption, представляющим атрибут assumption



| <a id="p100409"></a>Элемент ИММ: | <a id="p100410"></a>PATH |
| --- | --- |
| <a id="p100411"></a>Ссылочный путь: | <a id="p100412"></a>assumption_assignment <=<br>characterized_applied_state_observed_assignment <=<br>applied_state_observed_assignment <=<br>state_observed_assignment<br>state_observed_assignment.assigned_state_observed -><br>state_observed<br>state_observed =><br>assumption |



###### <a id="p100413"></a>5.1.4.2 Атрибут description



| <a id="p100414"></a>Элемент ИММ: | <a id="p100415"></a>characterized_object.description |
| --- | --- |
| <a id="p100416"></a>Источник: | <a id="p100417"></a>ИСО 10303-41 |
| <a id="p100418"></a>Ссылочный путь: | <a id="p100419"></a>assumption_assignment <=<br>characterized_applied_state_observed_assignment <=<br>characterized_object<br>characterized_object.description |



###### <a id="p100420"></a>5.1.4.3 Связь объекта Assumption_assignment с объектом assumption_item, представляющим атрибут item



| <a id="p100421"></a>Элемент ИММ: | <a id="p100422"></a>PATH |
| --- | --- |
| <a id="p100423"></a>Ссылочный путь: | <a id="p100424"></a>assumption_assignment <=<br>characterized_applied_state_observed_assignment <=<br>applied_state_observed_assignment<br>applied_state_observed_assignment.items -><br>state_observed_of_item |



###### <a id="p100425"></a>5.1.4.4 Атрибут role



| <a id="p100426"></a>Элемент ИММ: | <a id="p100427"></a>characterized_role.description |
| --- | --- |
| <a id="p100428"></a>Источник: | <a id="p100429"></a>ИСО 10303-56 |
| <a id="p100430"></a>Ссылочный путь: | <a id="p100431"></a>assumption_assignment <=<br>characterized_applied_state_observed_assignment <=<br>applied_state_observed_assignment <=<br>state_observed_assignment<br>state_observed_assignment.role -><br>state_observed_role<br>state_observed_role.name |



##### <a id="p100432"></a>5.1.5 Прикладной объект Assumption_relationship



| <a id="p100433"></a>Элемент ИММ: | <a id="p100434"></a>assumption_relationship |
| --- | --- |
| <a id="p100435"></a>Источник: | <a id="p100436"></a>ИСО/ТС 10303-1263 |
| <a id="p100437"></a>Ссылочный путь: | <a id="p100438"></a>assumption_relationship <=<br>state_observed_relationship |



###### <a id="p100439"></a>5.1.5.1 Атрибут description



| <a id="p100440"></a>Элемент ИММ: | <a id="p100441"></a>state_observed_relationship.description |
| --- | --- |
| <a id="p100442"></a>Источник: | <a id="p100443"></a>ИСО 10303-56 |
| <a id="p100444"></a>Ссылочный путь: | <a id="p100445"></a>assumption_relationship <=<br>state_observed_relationship<br>state_observed_relationship.description |



###### <a id="p100446"></a>5.1.5.2 Атрибут role



| <a id="p100447"></a>Элемент ИММ: | <a id="p100448"></a>state_observed_relationship.name |
| --- | --- |
| <a id="p100449"></a>Источник: | <a id="p100450"></a>ИСО 10303-56 |
| <a id="p100451"></a>Ссылочный путь: | <a id="p100452"></a>assumption_relationship<=<br>state_observed_relationship<br>state_observed_relationship.name |



###### <a id="p100453"></a>5.1.5.3 Связь объекта Assumption_relationship с объектом Assumption, представляющим атрибут relating_assumption



| <a id="p100454"></a>Элемент ИММ: | <a id="p100455"></a>PATH |
| --- | --- |
| <a id="p100456"></a>Ссылочный путь: | <a id="p100457"></a>assumption_relationship <=<br>state_observed_relationship<br>state_observed_relationship.relating_state_observed -><br>state_observed =><br>assumption |



###### <a id="p100458"></a>5.1.5.4 Связь объекта Assumption_relationship с объектом Assumption, представляющим атрибут related_assumption



| <a id="p100459"></a>Элемент ИММ: | <a id="p100460"></a>PATH |
| --- | --- |
| <a id="p100461"></a>Ссылочный путь: | <a id="p100462"></a>assumption_relationship <=<br>state_observed_relationship<br>state_observed_relationship.related_state_observed -><br>state_observed =><br>assumption |



##### <a id="p100463"></a>5.1.6 Прикладной объект Item_assumed



| <a id="p100464"></a>Элемент ИММ: | <a id="p100465"></a>item_assumed |
| --- | --- |
| <a id="p100466"></a>Источник: | <a id="p100467"></a>ИСО/ТС 10303-1263 |
| <a id="p100468"></a>Ссылочный путь: | <a id="p100469"></a>item_assumed <=<br>characterized_applied_state_observed_assignment |



###### <a id="p100470"></a>5.1.6.1 Связь объекта Item_assumed с объектом Assumption, представляющим атрибут assumption



| <a id="p100471"></a>Элемент ИММ: | <a id="p100472"></a>PATH |
| --- | --- |
| <a id="p100473"></a>Ссылочный путь: | <a id="p100474"></a>item_assumed <=<br>characterized_applied_state_observed_assignment <=<br>applied_state_observed_assignment <=<br>state_observed_assignment<br>state_observed_assignment.assigned_state_observed -><br>state_observed<br>state_observed =><br>assumption |



###### <a id="p100475"></a>5.1.6.2 Связь объекта Item_assumed с объектом assumed_item, представляющим атрибут item



| <a id="p100476"></a>Элемент ИММ: | <a id="p100477"></a>PATH |
| --- | --- |
| <a id="p100478"></a>Ссылочный путь: | <a id="p100479"></a>assumption_assignment <=<br>characterized_applied_state_observed_assignment <=<br>applied_state_observed_assignment<br>applied_state_observed_assignment.items -><br>state_observed_of_item |



##### <a id="p100480"></a>5.1.7 Прикладной объект Justification



| <a id="p100481"></a>Элемент ИММ: | <a id="p100482"></a>product |
| --- | --- |
| <a id="p100483"></a>Источник: | <a id="p100484"></a>ИСО 10303-41 |
| <a id="p100485"></a>Ссылочный путь: | <a id="p100486"></a>product<br>{product <- product_related_product_category.products[i]<br>product_related_product_category <= product_category<br>product_category.name='justification'} |



###### <a id="p100487"></a>5.1.7.1 Атрибут id



| <a id="p100488"></a>Элемент ИММ: | <a id="p100489"></a>product.id |
| --- | --- |
| <a id="p100490"></a>Источник: | <a id="p100491"></a>ИСО 10303-41 |



###### <a id="p100492"></a>5.1.7.2 Атрибут description



| <a id="p100493"></a>Элемент ИММ: | <a id="p100494"></a>product.description |
| --- | --- |
| <a id="p100495"></a>Источник: | <a id="p100496"></a>ИСО 10303-41 |



###### <a id="p100497"></a>5.1.7.3 Атрибут name



| <a id="p100498"></a>Элемент ИММ: | <a id="p100499"></a>product.name |
| --- | --- |
| <a id="p100500"></a>Источник: | <a id="p100501"></a>ИСО 10303-41 |



###### <a id="p100502"></a>5.1.7.4 Атрибут context_description



| <a id="p100503"></a>Элемент ИММ: | <a id="p100504"></a>product.name |
| --- | --- |
| <a id="p100505"></a>Источник: | <a id="p100506"></a>ИСО 10303-41 |
| <a id="p100507"></a>Ссылочный путь: | <a id="p100508"></a>product<br>{product <- product_related_product_category.products[i]<br>product_related_product_category <= product_category<br>product_category.name='justification'}<br>product.frame_of_reference[i] -> product_context<br>product_context.discipline_type<br>{product_context<br><= application_context_element<br>application_context_element.name='justification context description'} |



##### <a id="p100509"></a>5.1.8 Прикладной объект Justification_assignment



| <a id="p100510"></a>Элемент ИММ: | <a id="p100511"></a>[(justification_group_assignment)<br>(justification_item_group_assignment)]<br>[justification_assignment] |
| --- | --- |
| <a id="p100512"></a>Источник: | <a id="p100513"></a>ИСО/ТС 10303-1263 |
| <a id="p100514"></a>Ссылочный путь: | <a id="p100515"></a>(justification_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>(justification_item_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>justification_assignment <=<br>group |



###### <a id="p100516"></a>5.1.8.1 Атрибут role



| <a id="p100517"></a>Элемент ИММ: | <a id="p100518"></a>group.name |
| --- | --- |
| <a id="p100519"></a>Источник: | <a id="p100520"></a>ИСО 10303-41 |
| <a id="p100521"></a>Ссылочный путь: | <a id="p100522"></a>(justification_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>(justification_item_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>group<br>group.name |



###### <a id="p100523"></a>5.1.8.2 Атрибут description



| <a id="p100524"></a>Элемент ИММ: | <a id="p100525"></a>group.description |
| --- | --- |
| <a id="p100526"></a>Источник: | <a id="p100527"></a>ИСО 10303-41 |
| <a id="p100528"></a>Ссылочный путь: | <a id="p100529"></a>(justification_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>(justification_item_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>justification_assignment <=<br>group<br>group.description |



###### <a id="p100530"></a>5.1.8.3 Связь объекта Justification_assignment с объектом justification_item, представляющим атрибут item



| <a id="p100531"></a>Элемент ИММ: | <a id="p100532"></a>PATH |
| --- | --- |
| <a id="p100533"></a>Ссылочный путь: | <a id="p100534"></a>justification_assignment <=<br>group <-<br>group_assignment.assigned_group<br>group_assignment =><br>justification_item_group_assignment<br>justification_item_group_assignment.items[1] -><br>justification_item |



###### <a id="p100535"></a>5.1.8.4 Связь объекта Justification_assignment с объектом Assumption, представляющим атрибут item



| <a id="p100536"></a>Элемент ИММ: | <a id="p100537"></a>PATH |
| --- | --- |
| <a id="p100538"></a>Ссылочный путь: | <a id="p100539"></a>justification_assignment <=<br>group <-<br>group_assignment.assigned_group<br>group_assignment =><br>justification_item_group_assignment<br>justification_item_group_assignment.items[1] -><br>assumption |



###### <a id="p100540"></a>5.1.8.5 Связь объекта Justification_assignment с объектом Assumption, представляющим атрибут item



| <a id="p100541"></a>Элемент ИММ: | <a id="p100542"></a>PATH |
| --- | --- |
| <a id="p100543"></a>Ссылочный путь: | <a id="p100544"></a>justification_assignment <=<br>group <-<br>group_assignment.assigned_group<br>group_assignment =><br>justification_item_group_assignment<br>justification_item_group_assignment.items[1] -><br>assumption_assignment |



###### <a id="p100545"></a>5.1.8.6 Связь объекта Justification_assignment с объектом Assumption_assignment, представляющим атрибут item



| <a id="p100546"></a>Элемент ИММ: | <a id="p100547"></a>PATH |
| --- | --- |
| <a id="p100548"></a>Ссылочный путь: | <a id="p100549"></a>justification_assignment <=<br>group <-<br>group_assignment.assigned_group<br>group_assignment =><br>justification_item_group_assignment<br>justification_item_group_assignment.items[1] -><br>assumption_relationship |



###### <a id="p100550"></a>5.1.8.7 Связь объекта Justification_assignment с объектом Justification, представляющим атрибут justification



| <a id="p100551"></a>Элемент ИММ: | <a id="p100552"></a>PATH |
| --- | --- |
| <a id="p100553"></a>Ссылочный путь: | <a id="p100554"></a>justification_assignment <=<br>group <-<br>group_assignment.assigned_group<br>group_assignment =><br>justification_group_assignment<br>justification_group_assignment.items[1] -><br>product<br>{product <- product_related_product_category.products[i]<br>product_related_product_category <= product_category<br>product_category.name='justification'} |



##### <a id="p100555"></a>5.1.9 Прикладной объект Justification_relationship



| <a id="p100556"></a>Элемент ИММ: | <a id="p100557"></a>product_relationship |
| --- | --- |
| <a id="p100558"></a>Источник: | <a id="p100559"></a>ИСО 10303-41 |
| <a id="p100560"></a>Ссылочный путь: | <a id="p100561"></a>product_relationship<br>{product_relationship<br>product_relationship.relating_product -><br>product<br>product <- product_related_product_category.products[i]<br>product_related_product_category <= product_category<br>product_category.name='justification'} |



###### <a id="p100562"></a>5.1.9.1 Атрибут name



| <a id="p100563"></a>Элемент ИММ: | <a id="p100564"></a>product_relationship.name |
| --- | --- |
| <a id="p100565"></a>Источник: | <a id="p100566"></a>ИСО 10303-41 |



###### <a id="p100567"></a>5.1.9.2 Атрибут description



| <a id="p100568"></a>Элемент ИММ: | <a id="p100569"></a>product_relationship.description |
| --- | --- |
| <a id="p100570"></a>Источник: | <a id="p100571"></a>ИСО 10303-41 |



###### <a id="p100572"></a>5.1.9.3 Связь объекта Justification_relationship с объектом Justification, представляющим атрибут relating_justification



| <a id="p100573"></a>Элемент ИММ: | <a id="p100574"></a>PATH |
| --- | --- |
| <a id="p100575"></a>Ссылочный путь: | <a id="p100576"></a>product_relationship<br>product_relationship.relating_product -><br>product<br>{product<br>product <- product_related_product_category.products[i]<br>product_related_product_category <= product_category<br>product_category.name='justification'} |



###### <a id="p100577"></a>5.1.9.4 Связь объекта Justification_relationship с объектом Justification, представляющим атрибут related_justification



| <a id="p100578"></a>Элемент ИММ: | <a id="p100579"></a>PATH |
| --- | --- |
| <a id="p100580"></a>Ссылочный путь: | <a id="p100581"></a>product_relationship<br>product_relationship.related_product -><br>product<br>{product<br>product <- product_related_product_category.products[i]<br>product_related_product_category <= product_category<br>product_category.name='justification'} |



##### <a id="p100582"></a>5.1.10 Прикладной объект Justification_support_assignment



| <a id="p100583"></a>Элемент ИММ: | <a id="p100584"></a>[(justification_group_assignment)<br>(justification_support_item_group_assignment)]<br>[justification_support_assignment] |
| --- | --- |
| <a id="p100585"></a>Источник: | <a id="p100586"></a>ИСО/ТС 10303-1263 |
| <a id="p100587"></a>Ссылочный путь: | <a id="p100588"></a>(justification_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>(justification_support_item_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>justification_support_assignment <=<br>group |



###### <a id="p100589"></a>5.1.10.1 Атрибут role



| <a id="p100590"></a>Элемент ИММ: | <a id="p100591"></a>group.name |
| --- | --- |
| <a id="p100592"></a>Источник: | <a id="p100593"></a>ИСО 10303-41 |
| <a id="p100594"></a>Ссылочный путь: | <a id="p100595"></a>(justification_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>(justification_support_item_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>justification_support_assignment <=<br>group<br>group.name |



###### <a id="p100596"></a>5.1.10.2 Атрибут description



| <a id="p100597"></a>Элемент ИММ: | <a id="p100598"></a>group.description |
| --- | --- |
| <a id="p100599"></a>Источник: | <a id="p100600"></a>ИСО 10303-41 |
| <a id="p100601"></a>Ссылочный путь: | <a id="p100602"></a>(justification_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>(justification_support_item_group_assignment <=<br>group_assignment<br>group_assignment.assigned_group ->)<br>justification_support_assignment <=<br>group<br>group.description |



###### <a id="p100603"></a>5.1.10.3 Связь объекта Justification_support_assignment с объектом Justification, представляющим атрибут justification



| <a id="p100604"></a>Элемент ИММ: | <a id="p100605"></a>PATH |
| --- | --- |
| <a id="p100606"></a>Ссылочный путь: | <a id="p100607"></a>justification_support_assignment <=<br>group <-<br>group_assignment.assigned_group<br>group_assignment =><br>justification_group_assignment<br>justification_group_assignment.items[1] -><br>product<br>{product <- product_related_product_category.products[i]<br>product_related_product_category <= product_category<br>product_category.name='justification'} |


<a id="p100608"></a>5.1.10.4 Связь объекта Justification_support_assignment с объектом justification_support_item, представляющим атрибут support_item


| <a id="p100609"></a>Элемент ИММ: | <a id="p100610"></a>PATH |
| --- | --- |
| <a id="p100611"></a>Ссылочный путь: | <a id="p100612"></a>justification_support_assignment <=<br>group <-<br>group_assignment.assigned_group<br>group_assignment =><br>justification_support_item_group_assignment<br>justification_support_item_group_assignment.items[1] -><br>justification_support_item |



###### <a id="p100613"></a>5.1.10.5 Связь объекта Justification_support_assignment с объектом Assumption, представляющим атрибут support_item



| <a id="p100614"></a>Элемент ИММ: | <a id="p100615"></a>PATH |
| --- | --- |
| <a id="p100616"></a>Ссылочный путь: | <a id="p100617"></a>justification_support_assignment <=<br>group <-<br>group_assignment.assigned_group<br>group_assignment =><br>justification_support_item_group_assignment<br>justification_support_item_group_assignment.items[1] -><br>justification_support_item = assumption |


<a id="p100618"></a>5.1.10.6 Связь объекта Justification_support_assignment с объектом Assumption_assignment, представляющим атрибут support_item


| <a id="p100619"></a>Элемент ИММ: | <a id="p100620"></a>PATH |
| --- | --- |
| <a id="p100621"></a>Ссылочный путь: | <a id="p100622"></a>justification_support_assignment <=<br>group <-<br>group_assignment.assigned_group<br>group_assignment =><br>justification_support_item_group_assignment<br>justification_support_item_group_assignment.items[1] -><br>justification_support_item = assumption_assignment |


<a id="p100623"></a>5.1.10.7 Связь объекта Justification_support_assignment с объектом Assumption_relationship, представляющим атрибут support_item


| <a id="p100624"></a>Элемент ИММ: | <a id="p100625"></a>PATH |
| --- | --- |
| <a id="p100626"></a>Ссылочный путь: | <a id="p100627"></a>justification_support_assignment <=<br>group <-<br>group_assignment.assigned_group<br>group_assignment =><br>justification_support_item_group_assignment<br>justification_support_item_group_assignment.items[1] -><br>justification_support_item = assumption_relationship |



#### <a id="p100628"></a>5.2 Сокращенный листинг ИММ на языке EXPRESS

<a id="p100629"></a>В данном подразделе определена EXPRESS-схема, полученная из таблицы отображений. В ней использованы элементы из общих ресурсов или из других прикладных модулей и определены конструкции на языке EXPRESS, относящиеся к настоящему стандарту.
<a id="p100630"></a>В данном подразделе определена интерпретированная модель прикладного модуля "Обоснование", а также определены модификации, которые применяются к конструкциям, импортированным из общих ресурсов.
<a id="p100631"></a>При использовании в данной схеме конструкций, определенных в общих ресурсах или в прикладных модулях, необходимо применять следующие ограничения:
- <a id="p100632"></a>использование объекта супертипа не дает права применять любой из его подтипов, пока этот подтип не будет также импортирован в схему ИММ;
- <a id="p100633"></a>использование выбираемого типа SELECT не дает права применять любой из перечисленных в нем типов, пока этот тип не будет также импортирован в схему ИММ.
<a id="p100634"></a>EXPRESS-спецификация:


| <a id="p100635"></a>*)<br>SCHEMA Justification_mim;<br>USE FROM application_context_schema -- ISO 10303-41<br>(application_context_element,<br>product_context);<br>USE FROM Foundation_state_definition_mim; -- ISO/TS 10303-1469<br>USE FROM group_schema -- ISO 10303-41<br>(group);<br>USE FROM management_resources_schema -- ISO 10303-41<br>(group_assignment);<br>USE FROM product_definition_schema -- ISO 10303-41<br>(product,<br>product_category,<br>product_related_product_category,<br>product_relationship);<br>USE FROM product_property_definition_schema -- ISO 10303-41<br>(characterized_object);<br>USE FROM State_observed_mim; -- ISO/TS 10303-1256<br>USE FROM state_observed_schema -- ISO 10303-56<br>(state_observed,<br>state_observed_relationship);<br>(* |
| --- |


<a id="p100636"></a>Примечания
<a id="p100637"></a>1 Схемы, ссылки на которые даны выше, можно найти в следующих стандартах и документах комплекса ИСО 10303:
<a id="p100638"></a>application_context_schema - ИСО 10303-41;
<a id="p100639"></a>Foundation_state_definition_mim - ИСО/ТС 10303-1469;
<a id="p100640"></a>group_schema - ИСО 10303-41;
<a id="p100641"></a>management_resources_schema - ИСО 10303-41;
<a id="p100642"></a>product_definition_schema - ИСО 10303-41;
<a id="p100643"></a>product_property_definition_schema - ИСО 10303-41;
<a id="p100644"></a>State_observed_mim - ИСО/ТС 10303-1256;
<a id="p100645"></a>state_observed_schema - ИСО 10303-56.
<a id="p100646"></a>2 Графическое представление данных схем приведено на [рисунках D.1](#p100843) и [D.2](#p100845), приложение D.


##### <a id="p100647"></a>5.2.1 Определение типов данных ИММ

<a id="p100648"></a>В настоящем пункте определен тип данных ИММ для прикладного модуля, рассматриваемого в настоящем стандарте. Ниже специфицированы типы данных ИММ и их определения.

###### <a id="p100649"></a>5.2.1.1 Тип данных just_state_observed_of_item

<a id="p100650"></a>Тип данных just_state_observed_of_item является расширением типа данных state_observed_of_item. В настоящем типе данных к списку альтернативных типов данных добавлен тип данных assumption.
<a id="p100651"></a>*Примечание* - Список объектных типов данных может быть расширен в прикладных модулях, в которых используются конструкции настоящего прикладного модуля.

<a id="p100652"></a>EXPRESS-спецификация:
<a id="p100653"></a>*)
<a id="p100654"></a>TYPE just_state_observed_of_item = EXTENSIBLE GENERIC_ENTITY
<a id="p100655"></a>SELECT BASED_ON state_observed_of_item WITH
<a id="p100656"></a>(assumption);
<a id="p100657"></a>END_TYPE;
<a id="p100658"></a>(*

###### <a id="p100659"></a>5.2.1.2 Тип данных just_state_type_of_item

<a id="p100660"></a>Тип данных just_state_type_of_item является расширением типа данных state_type_of_item. В настоящем типе данных к списку альтернативных типов данных добавлен тип данных assumption.
<a id="p100661"></a>*Примечание* - Список объектных типов данных может быть расширен в прикладных модулях, в которых используются конструкции настоящего прикладного модуля.

<a id="p100662"></a>EXPRESS-спецификация:
<a id="p100663"></a>*)
<a id="p100664"></a>TYPE just_state_type_of_item = EXTENSIBLE GENERIC_ENTITY SELECT
<a id="p100665"></a>BASED_ON state_type_of_item WITH
<a id="p100666"></a>(assumption);
<a id="p100667"></a>END_TYPE;
<a id="p100668"></a>(*

###### <a id="p100669"></a>5.2.1.3 Тип данных justification_item

<a id="p100670"></a>Тип данных justification_item является расширяемым списком альтернативных типов данных. К выбираемым (SELECT) типам данных, расширяющим тип данных justification_item, добавляются дополнительные альтернативные типы данных.
<a id="p100671"></a>*Примечание* - Для того чтобы быть уверенными, что для объектов, ссылающихся на пустой расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в прикладных модулях, использующих этот тип данных, требуется его расширение.

<a id="p100672"></a>EXPRESS-спецификация:
<a id="p100673"></a>*)
<a id="p100674"></a>TYPE justification_item = EXTENSIBLE GENERIC_ENTITY SELECT;
<a id="p100675"></a>END_TYPE;
<a id="p100676"></a>(*

###### <a id="p100677"></a>5.2.1.4 Тип данных justification_support_item

<a id="p100678"></a>Тип данных justification_support_item является расширяемым списком альтернативных типов данных. К выбираемым (SELECT) типам данных, расширяющим тип данных justification_support_item, добавляются дополнительные альтернативные типы данных.
<a id="p100679"></a>*Примечание* - Для того чтобы быть уверенными, что для объектов, ссылающихся на пустой расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в прикладных модулях, использующих этот тип данных, требуется его расширение.

<a id="p100680"></a>EXPRESS-спецификация:
<a id="p100681"></a>*)
<a id="p100682"></a>TYPE justification_support_item = EXTENSIBLE GENERIC_ENTITY
<a id="p100683"></a>SELECT;
<a id="p100684"></a>END_TYPE;
<a id="p100685"></a>(*

##### <a id="p100686"></a>5.2.2 Определение объектов ИММ

<a id="p100687"></a>В настоящем пункте определены объекты ИММ для прикладного модуля, рассматриваемого в настоящем стандарте. Ниже специфицированы объекты ИММ и их определения.

###### <a id="p100688"></a>5.2.2.1 Объект assumption

<a id="p100689"></a>Объект assumption является таким подтипом объекта state_type, который используется для обозначения того, что считается истинным без доказательства.
<a id="p100690"></a>EXPRESS-спецификация:
<a id="p100691"></a>*)
<a id="p100692"></a>ENTITY assumption
<a id="p100693"></a>SUBTYPE OF (state_observed);
<a id="p100694"></a>END_ENTITY;
<a id="p100695"></a>(*

###### <a id="p100696"></a>5.2.2.2 Объект assumption_assignment

<a id="p100697"></a>Объект assumption_assignment является таким подтипом объекта characterized_applied_state_observed_assignment, который связывает представленное объектом assumption предположение с контекстом, в котором это предположение сделано.
<a id="p100698"></a>EXPRESS-спецификация:
<a id="p100699"></a>*)
<a id="p100700"></a>ENTITY assumption_assignment
<a id="p100701"></a>SUBTYPE OF (characterized_applied_state_observed_assignment);
<a id="p100702"></a>END_ENTITY;
<a id="p100703"></a>(*

###### <a id="p100704"></a>5.2.2.3 Объект assumption_relationship

<a id="p100705"></a>Объект assumption_relationship является таким подтипом объекта state_observed_relationship, посредством которого задается отношение между двумя объектами assumption, представляющими предположения.
<a id="p100706"></a>EXPRESS-спецификация:
<a id="p100707"></a>*)
<a id="p100708"></a>ENTITY assumption_relationship
<a id="p100709"></a>SUBTYPE OF (state_observed_relationship);
<a id="p100710"></a>END_ENTITY;
<a id="p100711"></a>(*

###### <a id="p100712"></a>5.2.2.4 Объект characterized_applied_state_observed_assignment

<a id="p100713"></a>Объект characterized_applied_state_observed_assignment является таким подтипом объектов applied_state_observed_assignment и characterized_object, который позволяет задавать наблюдаемое состояние, которое должно быть описано.
<a id="p100714"></a>EXPRESS-спецификация:
<a id="p100715"></a>*)
<a id="p100716"></a>ENTITY characterized_applied_state_observed_assignment
<a id="p100717"></a>SUBTYPE OF (applied_state_observed_assignment,
<a id="p100718"></a>characterized_object);
<a id="p100719"></a>END_ENTITY;
<a id="p100720"></a>(*

###### <a id="p100721"></a>5.2.2.5 Объект item_assumed

<a id="p100722"></a>Объект item_assumed является таким подтипом объекта characterized_applied_state_observed_assignment, с помощью которого задается связь представленного объектом assumption предположения с объектом, к которому относится это предположение.
<a id="p100723"></a>EXPRESS-спецификация:
<a id="p100724"></a>*)
<a id="p100725"></a>ENTITY item_assumed
<a id="p100726"></a>SUBTYPE OF (characterized_applied_state_observed_assignment);
<a id="p100727"></a>END_ENTITY;
<a id="p100728"></a>(*

###### <a id="p100729"></a>5.2.2.6 Объект justification_assignment

<a id="p100730"></a>Объект justification_assignment является таким подтипом объекта group, посредством которого задается связь между объектом product, относящимся к категории обоснований, и экземпляром объекта justification_item, к которому применяется это обоснование.
<a id="p100731"></a>EXPRESS-спецификация:
<a id="p100732"></a>*)
<a id="p100733"></a>ENTITY justification_assignment
<a id="p100734"></a>SUBTYPE OF (group);
<a id="p100735"></a>END_ENTITY;
<a id="p100736"></a>(*

###### <a id="p100737"></a>5.2.2.7 Объект justification_group_assignment

<a id="p100738"></a>Объект justification_group_assignment является таким подтипом объекта group_assignment, посредством которого обозначается задание обоснования (представленного объектом product, представляющим изделие, относящееся к категории обоснований) для объекта justification_assignment или justification_support_assignment.
<a id="p100739"></a>*Примечание* - Объекты justification_assignment и justification_support_assignment являются подтипами объекта group.

<a id="p100740"></a>EXPRESS-спецификация:
<a id="p100741"></a>*)
<a id="p100742"></a>ENTITY justification_group_assignment
<a id="p100743"></a>SUBTYPE OF (group_assignment);
<a id="p100744"></a>items : SET[1:1] OF product;
<a id="p100745"></a>END_ENTITY;
<a id="p100746"></a>(*
<a id="p100747"></a>Определение атрибута
<a id="p100748"></a>items - объект product, представляющий изделие, относящееся к категории обоснований, которое связывается посредством объекта justification_group_assignment.

###### <a id="p100749"></a>5.2.2.8 Объект justification_item_group_assignment

<a id="p100750"></a>Объект justification_item_group_assignment является таким подтипом объекта group_assignment, посредством которого обозначается задание экземпляра данных типа justification_item объекту justification_assignment.
<a id="p100751"></a>EXPRESS-спецификация:
<a id="p100752"></a>*)
<a id="p100753"></a>ENTITY justification_item_group_assignment
<a id="p100754"></a>SUBTYPE OF (group_assignment);
<a id="p100755"></a>items : SET[1:1] OF justification_item;
<a id="p100756"></a>END_ENTITY;
<a id="p100757"></a>(*
<a id="p100758"></a>Определение атрибута
<a id="p100759"></a>items - экземпляр данных типа justification_item, который связывается с помощью объекта justification_item_group_assignment.

###### <a id="p100760"></a>5.2.2.9 Объект justification_support_assignment

<a id="p100761"></a>Объект justification_support_assignment является таким подтипом объекта group, посредством которого обозначается связь представленного объекта product изделия, относящегося к категории обоснований с экземпляром данных типа justification_support_item, предоставляющим обеспечивающие данные для обоснования.
<a id="p100762"></a>EXPRESS-спецификация:
<a id="p100763"></a>*)
<a id="p100764"></a>ENTITY justification_support_assignment
<a id="p100765"></a>SUBTYPE OF (group);
<a id="p100766"></a>END_ENTITY;
<a id="p100767"></a>(*

###### <a id="p100768"></a>5.2.2.10 Объект justification_support_item_group_assignment

<a id="p100769"></a>Объект justification_support_item_group_assignment является таким подтипом объекта group_assignment, посредством которого обозначается, что для объекта justification_support_assignment задается экземпляр данных justification_support_item.
<a id="p100770"></a>EXPRESS-спецификация:
<a id="p100771"></a>*)
<a id="p100772"></a>ENTITY justification_support_item_group_assignment
<a id="p100773"></a>SUBTYPE OF (group_assignment);
<a id="p100774"></a>items : SET[1:1] OF justification_support_item;
<a id="p100775"></a>END_ENTITY;
<a id="p100776"></a>(*
<a id="p100777"></a>Определение атрибута
<a id="p100778"></a>items - экземпляр данных типа justification_support_item, который связывается посредством объекта justification_support_item_group_assignment.
<a id="p100779"></a>*)

<div align="right">

<a id="p100780"></a>END_SCHEMA; -- Justification_mim<br>
<a id="p100781"></a>(*

</div>






<a id="p100782"></a>Приложение A
(обязательное)

<div align="center">

<a id="p100783"></a>**СОКРАЩЕННЫЕ НАИМЕНОВАНИЯ ОБЪЕКТОВ ИММ**

</div>


<a id="p100784"></a>Сокращенные наименования объектов, установленных в настоящем стандарте, приведены в [таблице A.1](#p100786).

<div align="right">

<a id="p100785"></a>Таблица A.1

</div>


<div align="center">

<a id="p100786"></a>Сокращенные наименования объектов ИММ

</div>



| <a id="p100787"></a>Полное наименование | <a id="p100788"></a>Сокращенное наименование |
| --- | --- |
| <a id="p100789"></a>assumption | <a id="p100790"></a>ASSMPT |
| <a id="p100791"></a>assumption_assignment | <a id="p100792"></a>ASSASS |
| <a id="p100793"></a>assumption_relationship | <a id="p100794"></a>ASSRLT |
| <a id="p100795"></a>characterized_applied_state_observed_assignment | <a id="p100796"></a>CASOA |
| <a id="p100797"></a>item_assumed | <a id="p100798"></a>ITMASS |
| <a id="p100799"></a>justification_assignment | <a id="p100800"></a>JSTASS |
| <a id="p100801"></a>justification_group_assignment | <a id="p100802"></a>JSGRAS |
| <a id="p100803"></a>justification_item_group_assignment | <a id="p100804"></a>JIGA |
| <a id="p100805"></a>justification_support_assignment | <a id="p100806"></a>JSSPAS |
| <a id="p100807"></a>justification_support_item_group_assignment | <a id="p100808"></a>JSIGA |


<a id="p100809"></a>Наименования объектов были определены в [5.2](#p100628) настоящего стандарта и в других стандартах, перечисленных в [разделе 2](#p100048).
<a id="p100810"></a>Требования к использованию сокращенных наименований объекта содержатся в стандартах тематической группы "Методы реализации" комплекса ИСО 10303.
<a id="p100811"></a>*Примечание* - Наименования объектов на языке EXPRESS доступны в Интернете по адресу http://www.tc184-sc4.org/Short_Names/.





<div align="right">

<a id="p100812"></a>Приложение B

</div>

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

<div align="center">

<a id="p100813"></a>**РЕГИСТРАЦИЯ ИНФОРМАЦИОННЫХ ОБЪЕКТОВ**

</div>


<a id="p100814"></a>B.1 Обозначение документа
<a id="p100815"></a>Для однозначного обозначения информационного объекта в открытой системе настоящему стандарту присвоен следующий идентификатор объекта:
<a id="p100816"></a>{ iso standard 10303 part(1263) version(2) }
<a id="p100817"></a>Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.
<a id="p100818"></a>B.2 Обозначение схем
<a id="p100819"></a>B.2.1 Обозначение схемы Justification_arm
<a id="p100820"></a>Для однозначного обозначения в открытой информационной системе схеме Justification_arm, установленной в настоящем стандарте, присвоен следующий идентификатор объекта:
<a id="p100821"></a>{ iso standard 10303 part(1263) version(2) schema(1) justification-arm(1) }
<a id="p100822"></a>Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.
<a id="p100823"></a>B.2.2 Обозначение схемы Justification_mim
<a id="p100824"></a>Для однозначного обозначения в открытой информационной системе схеме Justification_mim, установленной в настоящем стандарте, присвоен следующий идентификатор объекта:
<a id="p100825"></a>{ iso standard 10303 part(1263) version(2) schema(1) justification-mim(2) }
<a id="p100826"></a>Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.





<a id="p100827"></a>Приложение C
(справочное)

<a id="p100828"></a>EXPRESS-G ДИАГРАММЫ ПЭМ

<a id="p100829"></a>Диаграммы на [рисунках C.1](#p100831) и [C.2](#p100833) получены из сокращенного листинга ПЭМ на языке EXPRESS, приведенного в [разделе 4](#p100095). В диаграммах использована графическая нотация EXPRESS-G языка EXPRESS.

<a id="p100830"></a> ![5 Интерпретированная модель модуля (ИММ)](https://i.bukva.ai/1wO4ocgR/img_0.png) 

<div align="right">

<a id="p100831"></a>Рисунок C.1 - Представление ПЭМ на уровне схем<br>
в формате EXPRESS-G

</div>




<a id="p100832"></a> ![5 Интерпретированная модель модуля (ИММ)](https://i.bukva.ai/1wO4ocgR/img_1.png) 

<a id="p100833"></a>Рисунок C.2 - Представление ПЭМ на уровне объектов

<div align="center">

**в формате EXPRESS-G**

</div>


<a id="p100834"></a>В настоящем приложении приведены два различных представления ПЭМ для рассматриваемого прикладного модуля:
- <a id="p100835"></a>представление на уровне схем отображает импорт конструкций, определенных в схемах ПЭМ других прикладных модулей, в схему ПЭМ рассматриваемого прикладного модуля с помощью операторов USE FROM;
- <a id="p100836"></a>представление на уровне объектов отображает конструкции на языке EXPRESS, определенные в схеме ПЭМ данного прикладного модуля, и ссылки на импортированные конструкции, которые конкретизированы или на которые имеются ссылки в конструкциях схемы ПЭМ рассматриваемого прикладного модуля.

<div align="center">

<a id="p100837"></a>*Примечание* - Оба эти представления являются неполными. Представление на уровне схем не отображает в схемы ПЭМ модули, которые импортированы косвенным образом. Представление на уровне объектов не отображает импортированные конструкции, которые не конкретизированы или на которые отсутствуют ссылки в конструкциях схемы ПЭМ рассматриваемого прикладного модуля.

<a id="p100838"></a>Описание EXPRESS-G установлено в ИСО 10303-11, приложение D.

</div>






<div align="center">

<a id="p100839"></a>Приложение D<br>
(справочное)

</div>


<a id="p100840"></a>EXPRESS-G ДИАГРАММЫ ИММ

<a id="p100841"></a>Диаграммы на [рисунках D.1](#p100843) и [D.2](#p100845) получены из сокращенного листинга ИММ на языке EXPRESS, приведенного в [5.2](#p100628). В диаграммах использована графическая нотация EXPRESS-G языка EXPRESS.

<a id="p100842"></a> ![5 Интерпретированная модель модуля (ИММ)](https://i.bukva.ai/1wO4ocgR/img_2.png) 

<a id="p100843"></a>Рисунок D.1 - Представление ИММ на уровне схем
в формате EXPRESS-G



<a id="p100844"></a> ![5 Интерпретированная модель модуля (ИММ)](https://i.bukva.ai/1wO4ocgR/img_3.png) 

<div align="right">

<a id="p100845"></a>Рисунок D.2 - Представление ИММ на уровне объектов<br>
в формате EXPRESS-G.

</div>


<a id="p100846"></a>В настоящем приложении приведены два различных представления ИММ для рассматриваемого прикладного модуля:

<div align="center">

<a id="p100847"></a>**- представление на уровне схем отображает импорт конструкций, определенных в схемах ИММ других прикладных модулей или в схемах общих ресурсов, в схему ИММ рассматриваемого прикладного модуля с помощью оператора USE FROM;**

</div>

- <a id="p100848"></a>представление на уровне объектов отображает конструкции на языке EXPRESS, определенные в схеме ИММ рассматриваемого прикладного модуля, и ссылки на импортированные конструкции, которые конкретизированы или на которые имеются ссылки в конструкциях схемы ИММ рассматриваемого прикладного модуля.
<a id="p100849"></a>*Примечание* - Оба эти представления являются неполными. Представление на уровне схемы не отображает в схемы ИММ модули, которые импортированы косвенным образом. Представление на уровне объектов не отображает импортированные конструкции, которые не конкретизированы или на которые отсутствуют ссылки в конструкциях схемы ИММ рассматриваемого прикладного модуля.

<div align="center">

<a id="p100850"></a>Описание EXPRESS-G установлено в ИСО 10303-11, приложение D.

</div>






<div align="center">

<a id="p100851"></a>Приложение E<br>
(справочное)

<a id="p100852"></a>МАШИННО-ИНТЕРПРЕТИРУЕМЫЕ ЛИСТИНГИ

</div>


<a id="p100853"></a>В данном приложении приведены ссылки на сайты, на которых находятся листинги наименований объектов на языке EXPRESS и соответствующих сокращенных наименований, установленных или на которые даются ссылки в настоящем стандарте. На этих же сайтах представлены листинги всех EXPRESS-схем, установленных в настоящем стандарте, без комментариев и другого поясняющего текста. Эти листинги доступны в машинно-интерпретируемой форме (см. [таблицу E.1](#p100857)) и могут быть получены по следующим адресам URL:
<a id="p100854"></a>сокращенные наименования: http://www.tc184-sc4.org/Short_Names/;
<a id="p100855"></a>EXPRESS: http://www.tc184-sc4.org/EXPRESS/.

<a id="p100856"></a>Таблица E.1

<a id="p100857"></a>Листинги ПЭМ и ИММ на языке EXPRESS


| <a id="p100858"></a>Описание | <a id="p100859"></a>Идентификатор |
| --- | --- |
| <a id="p100860"></a>Сокращенный листинг ПЭМ на языке EXPRESS | <a id="p100861"></a>ISO TC184/SC4/WG12 N6042 |
| <a id="p100862"></a>Сокращенный листинг ИММ на языке EXPRESS | <a id="p100863"></a>ISO TC184/SC4/WG12 N6043 |


<a id="p100864"></a>Если доступ к этим сайтам невозможен, необходимо обратиться в центральный секретариат ИСО или непосредственно в секретариат ИСО ТК184/ПК4 по адресу электронной почты: sc4sec@tc184-sc4.org.
<a id="p100865"></a>*Примечание* - Информация, представленная в машинно-интерпретированном виде по указанным выше адресам URL, является справочной. Обязательным является текст настоящего стандарта.





<div align="right">

<a id="p100866"></a>Приложение ДА<br>
(справочное)

</div>


<div align="center">

<a id="p100867"></a>СВЕДЕНИЯ О СООТВЕТСТВИИ ССЫЛОЧНЫХ МЕЖДУНАРОДНЫХ СТАНДАРТОВ<br>
И ДОКУМЕНТОВ НАЦИОНАЛЬНЫМ СТАНДАРТАМ РОССИЙСКОЙ ФЕДЕРАЦИИ

<a id="p100868"></a>Таблица ДА.1

</div>



<table>
<colgroup><col width="31%"><col width="11%"><col width="58%"></colgroup>
<tr><td><a id="p100869"></a>Обозначение ссылочного международного стандарта, документа</td><td><a id="p100870"></a>Степень соответствия</td><td><a id="p100871"></a>Обозначение и наименование соответствующего национального стандарта</td></tr>
<tr><td><a id="p100872"></a>ИСО/МЭК 8824-1:1998</td><td><a id="p100873"></a>IDT</td><td><a id="p100874"></a><a href="https://bukva.ai/docs/gost-r-isomek-8824-1-2001">ГОСТ Р ИСО/МЭК 8824-1-2001</a> "Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации"</td></tr>
<tr><td><a id="p100875"></a>ИСО 10303-1:1994</td><td><a id="p100876"></a>IDT</td><td><a id="p100877"></a>ГОСТ Р ИСО 10303-1-99 "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы"</td></tr>
<tr><td><a id="p100878"></a>ИСО 10303-11:1994</td><td><a id="p100879"></a>IDT</td><td><a id="p100880"></a><a href="https://bukva.ai/docs/standart-gost-r-iso-10303-11-2009">ГОСТ Р ИСО 10303-11-2009</a> "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS"</td></tr>
<tr><td><a id="p100881"></a>ИСО 10303-21:2002</td><td><a id="p100882"></a>IDT</td><td><a id="p100883"></a><a href="https://bukva.ai/docs/standart-gost-r-iso-10303-21-2002">ГОСТ Р ИСО 10303-21-2002</a> "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 21. Методы реализации. Кодирование открытым текстом структуры обмена"</td></tr>
<tr><td><a id="p100884"></a>ИСО 10303-41:2005</td><td><a id="p100885"></a>IDT</td><td><a id="p100886"></a>ГОСТ Р ИСО 10303-41-99 "Системы автоматизации производства и их интеграции. Представление данных об изделии и обмен этими данными. Часть 41 Интегрированные обобщенные ресурсы. Основы описания и поддержки изделий"</td></tr>
<tr><td><a id="p100887"></a>ИСО 10303-56:2005</td><td><a id="p100888"></a>-</td><td><a id="p100889"></a><a href="#p100905">&lt;*&gt;</a></td></tr>
<tr><td><a id="p100890"></a>ИСО 10303-202:1996</td><td><a id="p100891"></a>-</td><td><a id="p100892"></a><a href="#p100905">&lt;*&gt;</a></td></tr>
<tr><td><a id="p100893"></a>ИСО/ТС 10303-1001:2004</td><td><a id="p100894"></a>IDT</td><td><a id="p100895"></a><a href="https://bukva.ai/docs/standart-gost-r-isots-10303-1001-2010">ГОСТ Р ИСО/ТС 10303-1001-2010</a> "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1001. Прикладной модуль. Присваивание внешнего вида"</td></tr>
<tr><td><a id="p100896"></a>ИСО/ТС 10303-1017:2004</td><td><a id="p100897"></a>IDT</td><td><a id="p100898"></a><a href="https://bukva.ai/docs/standart-gost-r-isots-10303-1017-2010">ГОСТ Р ИСО/ТС 10303-1017-2010</a> "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1017. Прикладной модуль. Идентификация изделия"</td></tr>
<tr><td><a id="p100899"></a>ИСО/ТС 10303-1256:2010</td><td><a id="p100900"></a>-</td><td><a id="p100901"></a><a href="#p100905">&lt;*&gt;</a></td></tr>
<tr><td><a id="p100902"></a>ИСО/ТС 10303-1469:2010</td><td><a id="p100903"></a>-</td><td><a id="p100904"></a><a href="#p100905">&lt;*&gt;</a></td></tr>
<tr><td colspan="3"><a id="p100905"></a><a id="p100906"></a><a id="p100907"></a>&lt;*&gt; Соответствующий национальный стандарт отсутствует. До его утверждения рекомендуется использовать перевод на русский язык данного международного стандарта (документа). Перевод данного международного стандарта (документа) находится в Федеральном информационном фонде технических регламентов и стандартов.<br>Примечание - В настоящей таблице использовано следующее условное обозначение степени соответствия стандартов:<br>IDT - идентичные стандарты.</td></tr>
</table>







## <a id="p100908"></a>БИБЛИОГРАФИЯ


<a id="p100909"></a>[1] Guidelines for the content of application modules, ISO TC 184/SC 4 N1685, 2004-02-27






<table>
<colgroup><col width="50%"><col width="50%"></colgroup>
<tr><td><a id="p100910"></a>УДК 656.072:681.3:006.354</td><td><a id="p100911"></a>ОКС 25.040.40</td></tr>
<tr><td colspan="2"><a id="p100912"></a>Ключевые слова: прикладные автоматизированные системы, промышленные изделия, представление данных, обмен данными, предоставление обоснований, описание и обозначение обосновываемого, связи между обоснованиями</td></tr>
</table>




<a id="p100913"></a>

---