Application module: Requirement assignment | ISO/TS 10303-1233:2011-10(E) © ISO |
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:
*)
SCHEMA Requirement_assignment_mim;
USE FROM
group_schema
--
ISO 10303-41
(group,
group_relationship);
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
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 Requirement_view_definition_mim ISO/TS 10303-1141
NOTE 2 See Annex D, Figures D.1, D.2and D.3 for a graphical representation of this schema.
This subclause specifies the MIM types for this application module. The MIM types and definitions are specified below.
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;
(*
The requirement_satisfaction_item type is an extensible list of alternate data types that allows for the designation of the data type requirement_assigned_item.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
requirement_satisfaction_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(requirement_assigned_item);
END_TYPE;
(*
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;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
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.
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.
EXPRESS specification:
*)
ENTITY requirement_assignment
SUBTYPE OF (characterized_object, group);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY requirement_source
SUBTYPE OF (group);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY satisfied_requirement
SUBTYPE OF (group_assignment);
SELF\group_assignment.assigned_group : satisfies_requirement;
items : SET[1:1] OF product_definition;
END_ENTITY;
(*
Attribute definitions:
assigned_group: the satisfies_requirement that is assigned by the satisfied_requirement.
items: the product_definition that is satisfied by the satisfied_requirement.
EXPRESS specification:
*)
ENTITY satisfies_requirement
SUBTYPE OF (group);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY satisfying_item
SUBTYPE OF (group_assignment);
SELF\group_assignment.assigned_group : satisfies_requirement;
items : SET[1:1] OF requirement_satisfaction_item;
END_ENTITY;
(*
Attribute definitions:
assigned_group: the satisfies_requirement that is assigned by the satisfying_item.
items: the object that satisfies the related requirement.
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.
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 2011 — All rights reserved