ГОСТР ИСО/ТС 10303-1112—2012
- использование типа SELECT не означает применения любого из указанных в нем типов данных,
если толькоданный типтакже не импортирован всхему ИММ.
EXPRESS-спецификация:
*)
SCHEMA Specification
_
controJ
_
mim;
USE FROM Altemative
_
solution
_
mim; - - ISO/TS 10303-1109
USE FROM Part
_
collection
_
mim; -- ISO/TS 10303-1115
USE FROM Product
_
placement
_
mim; -- ISO/TS 10303-1343
USE FROM Requirement
_
identification
_
and
_
version
_
mim; -- ISO/TS 10303-1140
USE FROM Specification
_
based
_
configuration
_
mim; -- ISO/TS 10303-1108
USE FROM product
_
definition
_
schema - - IS0 10303-41
(producl
_
definition
_
substitute);
(*
П р и м е ч а н и я
1 Схемы, ссыпки на которые приведены выше, определены в следующих стандартах и документах комплек
са ИСО 10303:
Alternative
_
solution
_
mim
Part
_
collection
_
mim
Product
_
placement
_
mim
Requirement
_
identiTication
_
and
_
version
_
mim
Specification
_
based
_
configuration
_
mim
product
_
definition
_
schema
— ИСО/ТС 10303-1109;
— ИСО.ТС 10303-1115:
— ИСО/ТС 10303-1343;
— ИСО/ТС 10303-1140;
— ИСО.ТС 10303-1108;
— ИСО 10303-41.
2 Графическое представление схемы Specification
_
control
_
mim приведено в приложении D. рисунки D.1 и D.2.
5.2.1 Определение типов данных ИММ
Вданном пункте определены типы данных ИММ для прикладного модуля «Управление конфигура
цией с помощью спецификаций».
5.2.1.1 Тип данных class
_
usage
_
effoctivity
_
contextJtom
Тип данных class
_
usage
_
effectlvity
_
context
_
item допускает использование типа данных
product
_
definitlon.
EXPRESS-спецификация:
*)
TYPE class
_
usage
_
effectivity
_
context
_
item =SELECT
(product
_
definitk>n):
END
_
TYPE;
C
5.2.1.2Тип данных effectivity
_
specification
_
for
_
replacement
Тип данных offoctivity
_
specification
_
for
_
replacement является расширением типа данных
effectivityjtom. Вегосписок альтернативныхтипов данных добавлентипда^ых product
_
definition
_
substitute.
EXPRESS-спецификация:
*)
TYPE effectivity
_
specification
_
for
_
replacement = SELECT BASED
_
ON effectivityjtom WITH
(product
_
definition
_
substitute);
END
_
TYPE;
(*
5.2.1.3Тил данныхinstance
_
usage
_
context
_
select
Типданных instance
_
usago
_
context
_
select является наращиваемым списком альтернативных ти
пов данных, который допускает использование типов данных product
_
definition
_
relationship и
product
_
definition
_
usage.
П р и м е ч а н и е — Список объектных типов данных может быть расширен в прикладных модулях,
использующих конструкции данного модуля.
EXPRESS-спецификация:
*)
TYPE instance
_
usage
_
context
_
select =EXTENSIBLEGENERIC
_
ENTITY SELECT
(product
_
definition
_
relationship,
product
_
definition
_
usage);
END
_
TYPE;
r
23