Application module: Software ISO/TS 10303-1746:2010-03(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM entity definitions
   4.3 ARM rule definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
Bibliography
Index

(*
ISO TC184/SC4/WG12 N6261 - ISO/TS 10303-1746 Software - EXPRESS ARM
Supersedes ISO TC184/SC4/WG12 N4185
*)


SCHEMA Software_arm;

 USE FROM Document_definition_arm;    -- ISO/TS 10303-1123

 USE FROM Information_product_arm;    -- ISO/TS 10303-1761


ENTITY Software
  SUBTYPE OF (Information_product);
UNIQUE
  UR1: SELF\Product.id;
END_ENTITY;

ENTITY Software_definition
  SUBTYPE OF (Information_definition);
  SELF\Product_view_definition.defined_version : Software_version;
END_ENTITY;

ENTITY Software_version
  SUBTYPE OF (Information_version);
  SELF\Product_version.of_product : Software;
END_ENTITY;

RULE software_definition_constraint FOR
(Product_view_definition);
WHERE
  WR1: SIZEOF ( QUERY ( pvd <* Product_view_definition | ( NOT ( 'SOFTWARE_ARM.' + 'SOFTWARE_DEFINITION' IN TYPEOF (pvd) ) ) AND ( 'SOFTWARE_ARM.' + 'SOFTWARE_VERSION' IN TYPEOF ( pvd.defined_version) ) ) ) =0;
 END_RULE;

RULE software_version_constraint FOR
(Product_version);
WHERE
  WR1: SIZEOF ( QUERY ( pv <* Product_version | ( NOT ( 'SOFTWARE_ARM.' + 'SOFTWARE_VERSION' IN TYPEOF ( pv) ) ) AND ( 'SOFTWARE_ARM.' + 'SOFTWARE' IN TYPEOF ( pv.of_product) ) ) ) =0;
 END_RULE;

END_SCHEMA;  -- Software_arm


© ISO 2009 — All rights reserved