Application module: Interface lifecycle ISO/TS 10303-1294: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 ARM
   4.2 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM entity definitions

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
F Application module implementation and usage guide
Bibliography
Index

5.2 MIM EXPRESS short listing

This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.

This clause constitutes the Module Interpreted Module (MIM) of the application module.

This clause also specifies the modifications that apply to the constructs imported from the common resources.

The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:

EXPRESS specification:

*)
SCHEMA Interface_lifecycle_mim;

USE FROM Interface_mim;    --  ISO/TS 10303-1251

USE FROM product_definition_schema    --  ISO 10303-41
  (product_definition_formation,
   product_definition_formation_relationship);
(*

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

Interface_mim ISO/TS 10303-1251
product_definition_schema ISO 10303-41

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

5.2.1 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.1.1 interface_connector_as_planned   EXPRESS-G

An interface_connector_as_planned is a type of product_definition_formation that identifies an individual that is the subject of a plan to realize an interface connector.

EXPRESS specification:

*)
ENTITY interface_connector_as_planned
  SUBTYPE OF (product_definition_formation);
END_ENTITY;
(*

5.2.1.2 interface_connector_as_realized   EXPRESS-G

An interface_connector_as_realized is a type of product_definition_formation that identifies an individual that is a realized interface connector.

EXPRESS specification:

*)
ENTITY interface_connector_as_realized
  SUBTYPE OF (product_definition_formation);
END_ENTITY;
(*

5.2.1.3 interface_connector_design   EXPRESS-G

An interface_connector_design is a type of product_definition_formation that identifies a design version of an interface connector.

EXPRESS specification:

*)
ENTITY interface_connector_design
  SUBTYPE OF (product_definition_formation);
END_ENTITY;
(*

5.2.1.4 interface_connector_design_to_planned   EXPRESS-G

An interface_connector_design_to_planned is a type of product_definition_formation_relationship that identifies the relationship between a design version of an interface connector and a planned individual that is to conform to the design.

EXPRESS specification:

*)
ENTITY interface_connector_design_to_planned
  SUBTYPE OF (product_definition_formation_relationship);
  SELF\product_definition_formation_relationship.relating_product_definition_formation : interface_connector_design;
  SELF\product_definition_formation_relationship.related_product_definition_formation : interface_connector_as_planned;
WHERE
  WR1: SELF.relating_product_definition_formation.of_product :=: SELF.related_product_definition_formation.of_product;
END_ENTITY;
(*

Attribute definitions:

relating_product_definition_formation: the design version of an interface connector.

related_product_definition_formation: the planned interface connector.

Formal propositions:

WR1: The planned individual and the design shall be of the same interface connector.

5.2.1.5 interface_connector_design_to_realized   EXPRESS-G

An interface_connector_design_to_realized is a type of product_definition_formation_relationship that identifies the relationship between a design version of an interface connector and a realized individual that conforms to the design.

EXPRESS specification:

*)
ENTITY interface_connector_design_to_realized
  SUBTYPE OF (product_definition_formation_relationship);
  SELF\product_definition_formation_relationship.relating_product_definition_formation : interface_connector_design;
  SELF\product_definition_formation_relationship.related_product_definition_formation : interface_connector_as_realized;
WHERE
  WR1: SELF.relating_product_definition_formation.of_product :=: SELF.related_product_definition_formation.of_product;
END_ENTITY;
(*

Attribute definitions:

relating_product_definition_formation: the design version of an interface connector.

related_product_definition_formation: the realized interface connector.

Formal propositions:

WR1: The realized individual and the design shall be of the same interface connector.

5.2.1.6 interface_connector_planned_to_realized   EXPRESS-G

An interface_connector_planned_to_realized is a type of product_definition_formation_relationship that identifies the relationship between a realized individual of an interface connector and a corresponding planned individual.

EXPRESS specification:

*)
ENTITY interface_connector_planned_to_realized
  SUBTYPE OF (product_definition_formation_relationship);
  SELF\product_definition_formation_relationship.relating_product_definition_formation : interface_connector_as_planned;
  SELF\product_definition_formation_relationship.related_product_definition_formation : interface_connector_as_realized;
WHERE
  WR1: SELF.relating_product_definition_formation.of_product :=: SELF.related_product_definition_formation.of_product;
END_ENTITY;
(*

Attribute definitions:

relating_product_definition_formation: the design version of an interface connector.

related_product_definition_formation: the realized interface connector.

Formal propositions:

WR1: The realized individual and the planned individual shall be of the same interface connector.



*)
END_SCHEMA;  -- Interface_lifecycle_mim
(*


© ISO 2004 — All rights reserved