ISO/TS 10303-1740:2018-11 Requirement decomposition


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
D MIM EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index

5.1 Mapping specification

In the following, "Application element" designates any entity data type defined in Clause 4, any of its explicit attributes and any subtype constraint. "MIM element" designates any entity data type defined in Clause 5.2 or imported with a USE FROM statement, from another EXPRESS schema, any of its attributes and any subtype constraint defined in Clause 5.2 or imported with a USE FROM statement.

This clause contains the mapping specification that defines how each application element of this part of ISO 10303 (see Clause 4) maps to one or more MIM elements (see Clause 5.2).

The mapping for each application element is specified in a separate subclause below. The mapping specification of an attribute of an ARM entity is a subclause of the clause that contains the mapping specification of this entity. Each mapping specification subclause contains up to five elements.

Title: The clause title contains:

the name of the considered ARM entity or subtype constraint, or
the name of the considered ARM entity atribute when this attribute refers to a type that is not an entity data type or a SELECT type that contains or may contain entity data types, or
a composite expression, <attribute name> to <referred type>, when this attribute refers to a type that is not an entity data type or a SELECT type that contains or may contain entity data types.

MIM element: This section contains, depending on the considered application element:

the name of one or more MIM entity data types;
the name of a MIM entity attribute, presented with the syntax <entity name>.<attribute name>, when the considered ARM attribute refers to a type that is not an entity data type or a SELECT type that contains or may contain entity data types;
the term PATH, when the considered ARM entity attribute refers to an entity data type or to a SELECT type that contains or may contain entity data types;
the term IDENTICAL MAPPING, when both application objects involved in an application assertion map to the same instance of a MIM entity data type;
the term NO MAPPING EXTENSION PROVIDED, when the extension to an extensible SELECT TYPE has no impact;
the syntax /SUPERTYPE(<supertype name>)/, when the considered ARM entity is mapped as its supertype;
one or more constructs /SUBTYPE(<subtype name>)/, when the mapping of the considered ARM entity is the union of the mapping of its subtypes.

When the mapping of an application element involves more than one MIM element, each of these MIM elements is presented on a separate line in the mapping specification, enclosed between parentheses or brackets.

Source: This section contains:

the ISO standard number and part number in which the MIM element is defined, for those MIM elements that are defined in a common resource document;
the ISO standard number and part number of this part of ISO 10303, for those MIM elements that are defined in the MIM schema of this part.

This section is omitted when the keywords PATH or IDENTICAL MAPPING or NO MAPPING EXTENSION PROVIDED are used in the MIM element section.

Rules: This section contains the name of one or more global rules that apply to the population of the MIM entity data types listed in the MIM element section or in the reference path. When no rule applies, this section is omitted.

A reference to a global rule may be followed by a reference to the subclause in which the rule is defined.

Constraint: This section contains the name of one or more subtype constraints that apply to the population of the MIM entity data types listed in the MIM element section or in the reference path. When no subtype constraint applies, this section is omitted.

A reference to a subtype constraint may be followed by a reference to the subclause in which the subtype constraint is defined.

Reference path: This section contains:

the reference path to its supertypes in the common resources, for each MIM element created within this part of ISO 10303;
the specification of the relationships between MIM elements, when the mapping of an application element requires to relate instances of several MIM entity data types. In such a case, each line in the reference path documents the role of a MIM element relative to the referring MIM element or to the next referred MIM element.

For the expression of reference paths and of the constraints between MIM elements, the following notational conventions apply:

[]	enclosed section constrains multiple MIM elements or sections of the reference path are required to satisfy an information requirement;
()	enclosed section constrains multiple MIM elements or sections of the reference path are identified as alternatives within the mapping to satisfy an information requirement;
{}	enclosed section constrains the reference path to satisfy an information requirement;
<>	enclosed section constrains at one or more required reference path;
\|\|	enclosed section constrains the supertype entity;
->	the attribute, whose name precedes the -> symbol, references the entity or select type whose name follows the -> symbol;
<-	the entity or select type, whose name precedes the <- symbol, is referenced by the entity attribute whose name follows the <- symbol;
[i]	the attribute, whose name precedes the [i] symbol, is an aggregate; any element of that aggregate is referred to;
[n]	the attribute, whose name precedes the [n] symbol, is an ordered aggregate; member n of that aggregate is referred to;
=>	the entity, whose name precedes the => symbol, is a supertype of the entity whose name follows the => symbol;
<=	the entity, whose name precedes the <= symbol, is a subtype of the entity whose name follows the <= symbol;
=	the string, select, or enumeration type is constrained to a choice or value;
\	the reference path expression continues on the next line;
*	one or more instances of the relationship entity data type may be assembled in a relationship tree structure. The path between the relationship entity and the related entities, is enclosed with braces;
--	the text following is a comment or introduces a clause reference;
*>	the select or enumeration type, whose name precedes the > symbol, is extended into the select or enumeration type whose name follows the > symbol;
<*	the select or enumeration type, whose name precedes the <* symbol, is an extension of the select or enumeration type whose name follows the <* symbol;
!{}	section enclosed by {} indicates a negative constraint placed on the mapping.

The definition and use of mapping templates is not supported in the present version of the application modules. However, use of predefined templates /SUBTYPE/ and /SUPERTYPE/ is supported.

5.1.1 Assigned_property

This application object, Assigned_property, is defined in the module property_assignment. This mapping section extends the mapping of Assigned_property, to include assertions defined in this module.

5.1.1.1 Assigned_property to Requirement_view_definition (as described_element)

MIM element:	PATH
Reference path:	property_definition property_definition.definition -> characterized_definition characterized_definition characterized_definition = characterized_product_definition characterized_product_definition characterized_product_definition = product_definition product_definition

5.1.2 Constraint_occurrence

MIM element:	predefined_requirement_view_definition
Source:	ISO 10303-1740
Reference path:	predefined_requirement_view_definition <= product_definition {product_definition (product_definition.id = 'constraint') ((product_definition.description = 'shape and product definition based constraint') (product_definition.description = 'product definition based constraint'))}

5.1.2.1 Constraint_occurrence to Complex_clause (as logical_relation)

MIM element:

PATH

Reference path:

5.1.3 Design_characteristic_occurrence

MIM element:	predefined_requirement_view_definition
Source:	ISO 10303-1740
Reference path:	predefined_requirement_view_definition <= product_definition {product_definition product_definition.description = 'design characteristic'}

5.1.4 Document_assignment

This application object, Document_assignment, is defined in the module document_assignment. This mapping section extends the mapping of Document_assignment, to include assertions defined in this module.

5.1.4.1 Document_assignment to Predefined_requirement_view_definition (as is_assigned_to)

#1: If the assignment is not a partial document assignment.

Reference path:

applied_document_reference
applied_document_reference.items[i] ->
document_reference_item
document_reference_item *> rd_document_reference_item
rd_document_reference_item = predefined_requirement_view_definition

#2: If the assignment is a partial document assignment.

Reference path:

5.1.5 Material_electrical_conductivity_requirement

MIM element:	predefined_requirement_view_definition
Source:	ISO 10303-1740
Reference path:	predefined_requirement_view_definition <= product_definition {product_definition product_definition.description = 'material electrical conductivity classification'}

5.1.5.1 electrical_conductivity_characteristic

MIM element:	material_electrical_conductivity_category
Source:	ISO 10303-1740
Reference path:	predefined_requirement_view_definition groupable_item = predefined_requirement_view_definition groupable_item <- applied_group_assignment.items[i] applied_group_assignment <= group_assignment group_assignment.assigned_group -> {group (group.name = 'conductive') (group.name = 'non conductive') (group.name = 'resistive') (group.name = 'semi conductive')} group => material_electrical_conductivity_category

5.1.6 Material_identification

This application object, Material_identification, is defined in the module generic_material_aspects. This mapping section extends the mapping of Material_identification, to include assertions defined in this module.

5.1.6.1 Material_identification to Predefined_requirement_view_definition (as items)

MIM element:	PATH
Reference path:	material_designation.definitions[i] -> characterized_definition characterized_definition = characterized_product_definition characterized_product_definition characterized_product_definition = product_definition product_definition => predefined_requirement_view_definition

5.1.7 Operational_requirement_relationship

MIM element:	operational_requirement_relationship
Source:	ISO 10303-1740
Reference path:	{ operational_requirement_relationship <= [property_definition] [product_definition_relationship]}

5.1.7.1 relationship_type

MIM element:	product_definition_relationship.name
Source:	ISO 10303-45
Reference path:	operational_requirement_relationship <= product_definition_relationship {product_definition_relationship.name (product_definition_relationship.name = 'and operation') (product_definition_relationship.name = 'or operation')}

5.1.7.2 Operational_requirement_relationship to Requirement_view_definition (as operand_1)

MIM element:	PATH
Reference path:	product_definition_relationship product_definition_relationship.relating_product_definition -> product_definition

5.1.7.3 Operational_requirement_relationship to Requirement_view_definition (as operand_2)

MIM element:	PATH
Reference path:	product_definition_relationship product_definition_relationship.related_product_definition -> product_definition

5.1.7.4 Operational_requirement_relationship to Requirement_view_definition (as result)

MIM element:	PATH
Reference path:	operational_requirement_relationship <= property_definition property_definition.definition -> characterized_definition = characterized_product_definition characterized_product_definition = product_definition product_definition

5.1.8 Predefined_requirement_view_definition

This section specifies the mapping of the entity Predefined_requirement_view_definition for the case where it maps onto the resource entity predefined_requirement_view_definition. Depending on the extensions of the Select type requirement_basis_select, this mapping may be superseded in the application modules that define these extensions.

MIM element:	predefined_requirement_view_definition
Source:	ISO 10303-1740
Reference path:	predefined_requirement_view_definition <= product_definition

5.1.8.11 Predefined_requirement_view_definition to requirement_basis_select (as requirement_basis)

MIM element:	PATH
Reference path:	predefined_requirement_view_definition <= product_definition characterized_product_definition = product_definition characterized_product_definition characterized_definition = characterized_product_definition characterized_definition <- property_definition.definition {property_definition.name = 'required functional specification'}

requirement_assignment <-
requirement_assigned_object.assigned_group
requirement_assigned_object
requirement_assigned_object.items ->
requirement_assigned_item
requirement_assigned_item *> rd_requirement_assigned_item
rd_requirement_assigned_item =
group

5.1.9.2 Requirement_assignment to Group_relationship (as assigned_to)

Reference path:

5.1.10 Shape_and_view_based_constraint_occurrence

MIM element:	predefined_requirement_view_definition
Source:	ISO 10303-1740
Reference path:	predefined_requirement_view_definition <= product_definition {product_definition product_definition.description = 'shape and product definition based constraint'}

5.1.10.1 Shape_and_view_based_constraint_occurrence to Geometric_model (as constraining_shape)

MIM element:

PATH

Reference path:

predefined_requirement_view_definition <=
product_definition
characterized_product_definition = product_definition
characterized_product_definition
characterized_definition = characterized_product_definition
characterized_definition <-
property_definition.definition
{property_definition.name = 'constraining shape'}
property_definition <-
property_definition_representation.definition
property_definition_representation.used_representation ->
representation <-
representation_relationship.rep_1
{representation_relationship
representation_relationship.name = 'constraint shape reference'}
representation_relationship.rep_2 ->
representation
{representation <-
property_definition_representation.used_representation
property_definition_representation
{property_definition_representation =>
shape_definition_representation}
property_definition_representation.definition ->
property_definition
{property_definition =>
product_definition_shape}
property_definition.definition ->
characterized_definition
characterized_definition = characterized_product_definition
characterized_product_definition
characterized_product_definition = product_definition
product_definition}
representation =>
shape_representation

5.1.11 View_based_constraint_occurrence

MIM element:	predefined_requirement_view_definition
Source:	ISO 10303-1740
Reference path:	predefined_requirement_view_definition <= product_definition {product_definition (product_definition.description = 'shape and product definition based constraint') (product_definition.description = 'product definition based constraint')}

5.1.11.1 View_based_constraint_occurrence to Product_view_definition (as constraining_part)

MIM element:	PATH
Reference path:	predefined_requirement_view_definition <= product_definition <- product_definition_relationship.related_product_definition {product_definition_relationship product_definition_relationship.name = 'constraining part'} product_definition_relationship.relating_product_definition -> product_definition