ГОСТ Р ИСО/ТС 10303-1746—2015
4 Информационные требования
В настоящем разделе определены информационные требования к прикладному модулю
«Программное обеспечение», представленные в форме ПЭМ.
П р и м е ч а н и я
1Графическое представление информационных требований приведено в приложении С.
2 Спецификация отображения определена в 5.1. Она показывает, как удовлетворяются информационные
требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ или
импортированных всхему ИММ прикладного модуля, описанного в настоящем стандарте.
Ниже представлен фрагмент EXPRESS-спецификации. с которого начинается описание схемы
Software_arm. В нем определены необходимые внешние ссылки.
EXPRESS-споиификация:
*)
SCHEMA Software_arm:
Г
4.1 ПЭМ, необходимые для прикладного модуля
операторы языка EXPRESS, посредством которых
прикладных эталонных моделей других прикладных
Ниже представлены интерфейсные
задаются элементы, импортированные из
модулей.
EXPRESS-споцификаиия:
*)
USE FROM Document_definition_arm; - ISO/TS 10303-1123
USE FROM lnformation_pfoduct_arm;-■ ISO/TS 10303-1761
(*
П р и м е ч а н и я
1Схемы, ссылки на которые приведены выше, определены вследующихдокументах комплекса ИСО 10303:
Document_defini»ion_arm - ИСОТС 10303-1123;
lnformation_product_arm - ИСО/ТС 10303-1761.
2 Графическое представление этой схемы приведено на рисунках С.1 и С.2, приложение С.
4.2 Определение объекта ПЭМ
В настоящем подразделе определен объект ПЭМ прикладного модуля «Программное
обеспечение». Каждый объект ПЭМ является простейшим неделимым элементом, который
моделирует уникальное понятие прикладной области, и содержит атрибуты для представления
объекта. Ниже приведен объект ПЭМ и его определение.
4.2.1 Объект Software
Объект Software — это подтип объекта lnformation_product.
EXPRESS-спеиификация:
‘>
ENTITY Software
SUBTYPE OF (lnformation_product);
UNIQUE
UR1: SELP.Product.id;
END_ENTITY;
C
Формальное положение:
UR1. Среди всего множества экземпляров объектов Software значение атрибута id должно
быть уникальным.
4.2.2 Объект Software_definition
Объект Software_definition — это подтип объекта lnformation_definition.
EXPRESS-споиификация:
*)
ENTITY Software_definition
SUBTYPE OF (lnformation_definition);
SELRProduct_view_definition.defined_version : Software_version:
END_ENTITY;
(*
Определение атрибута:
defined_yersion—переопределенныйатрибут,наследуемыйотобъектаProduct_
viev/ definition, область определения которого меняется на объект Software_version.
3