Application module: Requirement decomposition ISO/TS 10303-1740:2018-11(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
    3.1 Terms and definitions
    3.2 Abbreviated terms

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definitions
   4.3 ARM entity definitions
   4.4 ARM function 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
     5.2.3 MIM subtype constraint definition

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 Change history
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:

Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.

EXPRESS specification:

*)
SCHEMA Requirement_decomposition_mim;

USE FROM Conductivity_material_aspects_mim;    --  ISO/TS 10303-1756

USE FROM Elemental_geometric_shape_mim;    --  ISO/TS 10303-1004

USE FROM Functional_specification_mim;    --  ISO/TS 10303-1679

USE FROM Group_mim;    --  ISO/TS 10303-1113

USE FROM Production_rule_mim;    --  ISO/TS 10303-1739

USE FROM Requirement_view_definition_relationship_mim;    --  ISO/TS 10303-1142

USE FROM material_property_definition_schema    --  ISO 10303-45
  (property_definition_relationship);

REFERENCE FROM support_resource_schema    --  ISO 10303-41
  (bag_to_set);
(*

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

Conductivity_material_aspects_mim ISO/TS 10303-1756
Elemental_geometric_shape_mim ISO/TS 10303-1004
Functional_specification_mim ISO/TS 10303-1679
Group_mim ISO/TS 10303-1113
Production_rule_mim ISO/TS 10303-1739
Requirement_view_definition_relationship_mim ISO/TS 10303-1142
material_property_definition_schema ISO 10303-45
support_resource_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 type definitions

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

5.2.1.1 rd_document_reference_item   EXPRESS-G

The rd_document_reference_item type is an extension of the document_reference_item type. It adds the data type predefined_requirement_view_definition to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE rd_document_reference_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON document_reference_item WITH
   (predefined_requirement_view_definition);
END_TYPE;
(*

5.2.1.2 rd_groupable_item   EXPRESS-G

The rd_groupable_item type is an extension of the groupable_item type. It adds the data type predefined_requirement_view_definition to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE rd_groupable_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON groupable_item WITH
   (predefined_requirement_view_definition);
END_TYPE;
(*

5.2.1.3 rd_requirement_assigned_item   EXPRESS-G

The rd_requirement_assigned_item type is an extension of the requirement_assigned_item type. It adds the data types group, and group_relationship to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE rd_requirement_assigned_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_assigned_item WITH
   (group,
    group_relationship);
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 material_electrical_conductivity_category   EXPRESS-G

A material_electrical_conductivity_category is a type of group that specifies the attribute electrical_conductivity_characteristic for the ARM concept of Material_electrical_conductivity_requirement.

EXPRESS specification:

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

5.2.2.2 operational_requirement_relationship   EXPRESS-G

A operational_requirement_relationship is a type of property_definition and a type of product_definition_relationship that implements the ARM concept of Operational_requirement_relationship.

EXPRESS specification:

*)
ENTITY operational_requirement_relationship
  SUBTYPE OF (property_definition, product_definition_relationship);
END_ENTITY;
(*

5.2.2.3 predefined_requirement_view_definition   EXPRESS-G

A predefined_requirement_view_definition is a type of product_definition that implements the ARM concepts of:

EXPRESS specification:

*)
ENTITY predefined_requirement_view_definition
  SUBTYPE OF (product_definition);
END_ENTITY;
(*

5.2.3 MIM subtype constraint definition

This subclause specifies the MIM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The MIM subtype constraint and definition is specified below.

5.2.3.1 rd_model_parameter_subtypes   EXPRESS-G

The rd_model_parameter_subtypes constraint specifies a constraint that applies to instances of subtypes of model_parameter.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT rd_model_parameter_subtypes FOR model_parameter;
  category_model_parameter;
END_SUBTYPE_CONSTRAINT;
(*



*)
END_SCHEMA;  -- Requirement_decomposition_mim
(*


© ISO 2018 — All rights reserved