AP scope  |  AP module  |  AP contents  |  AP index
Application module: Part view definition ISO/TS 10303-1023:2004(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 definition
   4.3 ARM rule definition
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

4 Information requirements

This clause specifies the information requirements for the Part view definition application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.

NOTE 1  A graphical representation of the information requirements is given in Annex C.

NOTE 2  The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.

The following EXPRESS specification begins the Part_view_definition_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Part_view_definition_arm;
(*

4.1 Required AM ARMs

The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.

EXPRESS specification:

*)
USE FROM Part_and_version_identification_arm;    --  ISO/TS 10303-1022

USE FROM Product_view_definition_arm;    --  ISO/TS 10303-1019
(*

NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Part_and_version_identification_arm ISO/TS 10303-1022
Product_view_definition_arm ISO/TS 10303-1019

NOTE 2   See Annex C, Figures C.1and C.2 for a graphical representation of this schema.

4.2 ARM entity definition

This subclause specifies the ARM entity for this module. The ARM entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entity and definition is specified below.

4.2.1 Part_view_definition   EXPRESS-GMapping table

A Part_view_definition is a type of Product_view_definition that defines a characterization view of a version of a Part.

EXPRESS specification:

*)
ENTITY Part_view_definition
  SUBTYPE OF (Product_view_definition);
  SELF\Product_view_definition.defined_version : Part_version;
END_ENTITY;
(*

Attribute definitions:

defined_version: the Part_version of which the Part_view_definition defines a view.

4.3 ARM rule definition

This subclause specifies the ARM rule for this module. The ARM rule and definition is specified below.

4.3.1 part_view_definition_constraint

Every Product_view_definition referencing a Part_version is a Part_view_definition.

EXPRESS specification:

*)
RULE part_view_definition_constraint FOR
(Product_view_definition);
WHERE
  WR1: SIZEOF ( QUERY ( pvd <* Product_view_definition | ( NOT ( 'PART_VIEW_DEFINITION_ARM.' + 'PART_VIEW_DEFINITION' IN TYPEOF (pvd) ) ) AND ( 'PART_VIEW_DEFINITION_ARM.' + 'PART_VERSION' IN TYPEOF ( pvd.defined_version) ) ) ) =0 ;
END_RULE;
(*

Argument definitions:

Product_view_definition : the set of all instances of Product_view_definition.

Formal propositions:

WR1: Every Product_view_definition referencing a Part_version is a Part_view_definition.



*)
END_SCHEMA;  -- Part_view_definition_arm
(*


© ISO 2004 — All rights reserved