AP scope  |  AP module  |  AP contents  |  AP index
Application module: Requirement assignment ISO/TS 10303-1233: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 type definitions
   4.3 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definitions
     5.2.2 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
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 Requirement_assignment_mim;

USE FROM group_schema    --  ISO 10303-41
  (group);

USE FROM management_resources_schema    --  ISO 10303-41
  (group_assignment);

USE FROM product_definition_schema    --  ISO 10303-41
  (product_definition);

USE FROM product_property_definition_schema    --  ISO 10303-41
  (characterized_object);

USE FROM Property_assignment_mim;    --  ISO/TS 10303-1030

USE FROM Requirement_view_definition_mim;    --  ISO/TS 10303-1141
(*

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

group_schema ISO 10303-41
management_resources_schema ISO 10303-41
product_definition_schema ISO 10303-41
product_property_definition_schema ISO 10303-41
Property_assignment_mim ISO/TS 10303-1030
Requirement_view_definition_mim ISO/TS 10303-1141

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

5.2.1 MIM type definitions

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

5.2.1.1 requirement_assigned_item   EXPRESS-G

The requirement_assigned_item type is an extensible list of alternate data types. Additional alternate data types are specified in select data types that extend the requirement_assigned_item type.

NOTE   This empty extensible select requires extension in a further module to ensure that entities that refer to it have at least one valid instantiation.

EXPRESS specification:

*)
TYPE requirement_assigned_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
(*

5.2.1.2 requirement_source_item   EXPRESS-G

The requirement_source_item type is an extensible list of alternate data types. Additional alternate data types are specified in select data types that extend the requirement_source_item type.

NOTE   This empty extensible select requires extension in a further module to ensure that entities that refer to it have at least one valid instantiation.

EXPRESS specification:

*)
TYPE requirement_source_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
(*

5.2.2 MIM entity definitions

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

5.2.2.1 assigned_requirement   EXPRESS-G

A assigned_requirement is a type of group_assignment that identifies a relationship between a requirement assigment and a product definition.

EXPRESS specification:

*)
ENTITY assigned_requirement
  SUBTYPE OF (group_assignment);
  SELF\group_assignment.assigned_group : requirement_assignment;
  items : SET[1:1] OF product_definition;
END_ENTITY;
(*

Attribute definitions:

assigned_group: the requirement_assignment that is assigned by the assigned_requirement.

items: the product_definition that is assigned to by the assigned_requirement.

5.2.2.2 requirement_assigned_object   EXPRESS-G

A requirement_assigned_object is a type of group_assignment that identifies a relationship between a requirement assigment and other objects.

EXPRESS specification:

*)
ENTITY requirement_assigned_object
  SUBTYPE OF (group_assignment);
  SELF\group_assignment.assigned_group : requirement_assignment;
  items : SET[1:1] OF requirement_assigned_item;
END_ENTITY;
(*

Attribute definitions:

assigned_group: the requirement_assignment that is assigned by the requirement_assigned_object.

items: the object that is assigned to by the requirement_assigned_object.

5.2.2.3 requirement_assignment   EXPRESS-G

A requirement_assignment is a type of group and a type of characterized_object that provides the assigment of a requirement to another object.

EXPRESS specification:

*)
ENTITY requirement_assignment
  SUBTYPE OF (characterized_object, group);
END_ENTITY;
(*

5.2.2.4 requirement_source   EXPRESS-G

A requirement_source is a type of group that provides a link between a requirement and its source object.

EXPRESS specification:

*)
ENTITY requirement_source
  SUBTYPE OF (group);
END_ENTITY;
(*

5.2.2.5 source_for_requirement   EXPRESS-G

A source_for_requirement is a type of group_assignment that identifies a relationship between a requirement source and other objects.

EXPRESS specification:

*)
ENTITY source_for_requirement
  SUBTYPE OF (group_assignment);
  SELF\group_assignment.assigned_group : requirement_source;
  items : SET[1:1] OF requirement_source_item;
END_ENTITY;
(*

Attribute definitions:

assigned_group: the requirement_source that is assigned by the source_for_requirement.

items: the object that is assigned to by the source_for_requirement.

5.2.2.6 sourced_requirement   EXPRESS-G

A sourced_requirement is a type of group_assignment that identifies a relationship between a requirement source and a product definition.

EXPRESS specification:

*)
ENTITY sourced_requirement
  SUBTYPE OF (group_assignment);
  SELF\group_assignment.assigned_group : requirement_source;
  items : SET[1:1] OF product_definition;
END_ENTITY;
(*

Attribute definitions:

assigned_group: the requirement_source that is assigned by the sourced_requirement.

items: the product_definition that is assigned to by the sourced_requirement.



*)
END_SCHEMA;  -- Requirement_assignment_mim
(*


© ISO 2004 — All rights reserved