Application module: Information product | ISO/TS 10303-1761:2010-03(E) © ISO |
(*
ISO TC184/SC4/WG12 N6237 - ISO/TS 10303-1761 Information product - EXPRESS ARM
Supersedes
ISO TC184/SC4/WG12 N4227
*)
SCHEMA Information_product_arm;
USE FROM
Product_view_definition_arm;
-- ISO/TS 10303-1019
USE FROM
File_identification_arm;
-- ISO/TS 10303-1127
ENTITY Information_definition
SUBTYPE OF (Product_view_definition);
SELF\Product_view_definition.defined_version : Information_version;
END_ENTITY;
ENTITY Information_product
ABSTRACT SUPERTYPE
SUBTYPE OF (Product);
END_ENTITY;
ENTITY Information_version
SUBTYPE OF (Product_version);
SELF\Product_version.of_product : Information_product;
END_ENTITY;
RULE Information_product_version_constraint FOR
(Product_version);
WHERE
WR1: SIZEOF ( QUERY ( pv <* Product_version | ( NOT (
'INFORMATION_PRODUCT_ARM.' + 'INFORMATION_VERSION' IN TYPEOF
( pv) ) ) AND ( 'INFORMATION_PRODUCT_ARM.' + 'INFORMATION_PRODUCT' IN TYPEOF (
pv.of_product) ) ) ) =0;
END_RULE;
END_SCHEMA; -- Information_product_arm
© ISO 2009 — All rights reserved