ГОСТР ИСО/ТС 10303-1112—2012
4.1 Необходимые ПЭМ прикладных модулей
Приведенные ниже операторы языка EXPRESS определяют элементы, импортированные из ПЭМ
других прикладных модулей.
EXPRESS-спецификация:
•)
USE FROM Alternativo
_
solution
_
arm; -- ISO/TS10303-1109
USE FROM Part
_
collection
_
arm: -- ISO/TS 10303-1115
USE FROM Product
_
placement
_
arm; - - ISO/TS 10303-1343
USE FROM RequirementJdentification
_
and
_
verston
_
arm; -- ISO/TS 10303-1140
USE FROMSpecification
_
based
_
configuration arm;-- ISO/TS 10303-1108
r
П р и м е ч а н и я
1 Схемы, ссылки на которые приведены выше, определены в следующих документах комплекса ИСО 10303:
Alternative
_
solution
_
arm
Part
_
collection
_
arm
Product
_
placement
_
arm
Requirement
_
identification
_
and
_
version
_
arm
Specification
_
based
_
configuration
_
arm
— ИСО/ТС 10303-1109;
— ИСО/ТС 10303-1115;
— ИСО/ТС 10303-1343;
— ИСО/ТС 10303-1140;
— ИСО/ТС 10303-1108.
2 Графическое представление схемы Specification
_
control
_
arm приведено в приложении С. рисунки С.1 и С.2.
4.2 Определение типов данных ПЭМ
Вданном подразделе определенытипыданных ПЭМ прикладного модуля «Управление конфигура
цией с помощьюспецификаций».
4.2.1 Тип данных breakdown
_
eloment
_
select
Тип данных breakdown
_
element
_
select допускает использование типов данных Functional
_
ele-
ment
_
definition и Physical
_
element
_
definition.
EXPRESS-спецификация;
*)
TYPE breakdown
_
element
_
select =SELECT
(Functiona!
_
element
_
definition,
Physical
_
element
_
definition);
END
_
TYPE;
Г
4.2.2 Тип данных constraint
_
context
_
select
Тип данных constraint
_
context
_
selectдопускает использованиетипаданных Product
_
class.
EXPRESS-спецификация:
*)
TYPE constraint
_
context
_
select = SELECT
<Product
_
class);
END
_
TYPE;
r
4.2.3 Тип данных offectivity
_
specificatlon
_
for
_
replacement
Тип данных effectivity
_
specification
_
for
_
replacement является расширением типа данных
effect!vityjtem. В егосписок альтернативныхтиповданныхдобавлентипданных Replaced
_
usago
_
relationship.
EXPRESS-спецификация:
*)
TYPE effectivity
_
specification
_
for
_
replacemont = SELECTBASED
_
ON effectivityjtem WITH
(Replaced
_
usage
_
relattonship);
END
_
TYPE;
(*
4.2.4 Тип данных instance
_
usage
_
context
_
select
Тип данныхinstance
_
usage
_
context
_
selectявляется наращиваемым списком альтернативных типов
данных, который допускает использование типовданных Collected
_
itom
_
association и Solution
_
elemont.
П р и м е ч а н и е — Список обьектных типов данных может быть расширен в прикладных модулях,
использующих конструкции данного модуля.
4