| 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