Application module: Specification based configuration ISO/TS 10303-1108: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 definition
   4.4 ARM function definitions
   4.5 ARM rule definition
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
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 Specification_based_configuration_mim;

USE FROM Effectivity_application_mim;    --  ISO/TS 10303-1059

USE FROM Product_class_mim;    --  ISO/TS 10303-1103

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

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

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

Effectivity_application_mim ISO/TS 10303-1059
Product_class_mim ISO/TS 10303-1103
management_resources_schema ISO 10303-41
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 type definitions

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

5.2.1.1 configured_effectivity_context_item   EXPRESS-G

The configured_effectivity_context_item type allows for the designation of the data type product_concept_feature_association.

EXPRESS specification:

*)
TYPE configured_effectivity_context_item = SELECT
   (product_concept_feature_association);
END_TYPE;
(*

5.2.1.2 configured_effectivity_item   EXPRESS-G

The configured_effectivity_item type is an extensible list of alternate data types that allows for the designation of the data type product_definition.

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

EXPRESS specification:

*)
TYPE configured_effectivity_item = EXTENSIBLE GENERIC_ENTITY SELECT
   (product_definition);
END_TYPE;
(*

5.2.1.3 sbc_effectivity_item   EXPRESS-G

The sbc_effectivity_item type is an extension of the effectivity_item type. It adds the data type configured_effectivity_assignment 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 sbc_effectivity_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON effectivity_item WITH
   (configured_effectivity_assignment);
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 configured_effectivity_assignment   EXPRESS-G

A configured_effectivity_assignment is a type of effectivity_assignment that associates an effectivity with product data.

EXPRESS specification:

*)
ENTITY configured_effectivity_assignment
  SUBTYPE OF (effectivity_assignment);
  items : SET[1:?] OF configured_effectivity_item;
WHERE
  WR1: (SIZEOF(['EFFECTIVITY_SCHEMA.EFFECTIVITY'] * TYPEOF(SELF.assigned_effectivity) ) = 1) AND (SELF.assigned_effectivity.id = 'configuration validity');
  WR2: SIZEOF(SELF.items) = 1;
  WR3: SIZEOF( QUERY( i <* SELF.items | NOT ('PRODUCT_DEFINITION_SCHEMA.PRODUCT_DEFINITION' IN TYPEOF(i)) OR NOT (i\product_definition.frame_of_reference.name IN ['conceptual definition','part occurrence', 'functional definition','alternative definition']) )) = 0;
  WR4: SELF.role.name IN ['design', 'usage'];
  WR5: (SELF.role.name <> 'design') OR (SIZEOF( QUERY( i <* SELF.items | ('PRODUCT_DEFINITION_SCHEMA.PRODUCT_DEFINITION' IN TYPEOF(i)) AND (i\product_definition.frame_of_reference.name = 'part occurrence') )) = 0);
  WR6: (SELF.role.name <> 'usage') OR (SIZEOF( QUERY( i <* SELF.items | ('PRODUCT_DEFINITION_SCHEMA.PRODUCT_DEFINITION' IN TYPEOF(i)) AND (i\product_definition.frame_of_reference.name = 'conceptual definition') )) = 0);
  WR7: SELF.role.description IN ['exception', 'inherited', 'local'];
  WR8: SIZEOF( QUERY( x <* USEDIN(SELF,'MANAGEMENT_RESOURCES_SCHEMA.' + 'EFFECTIVITY_CONTEXT_ASSIGNMENT.ASSIGNED_EFFECTIVITY_ASSIGNMENT') | 'SPECIFICATION_BASED_CONFIGURATION_MIM.CONFIGURED_EFFECTIVITY_CONTEXT_ASSIGNMENT' IN TYPEOF(x) )) = 1;
END_ENTITY;
(*

Attribute definitions:

items: the items which are related to the configured_effectivity_assignment.

Formal propositions:

WR1: A configured_effectivity_assignment shall have assigned an Effectivity instance.

WR2: The configured_effectivity_assignment shall have one item.

WR3: The frame_of_reference of the items shall be "conceptual definition", "part occurrence", "functional definition" or "alternative definition".

WR4: The name of the role of the configured_effectivity_assignment shall be "design" or "usage".

WR5: If the role of the configured_effectivity_assignment is "usage" it shall not exist any item whose frame of reference is "part occurrence".

WR6: If the role of the configured_effectivity_assignment is "design" it shall not exist any item whose frame of reference is "conceptual definition".

WR7: The description of the role of the configured_effectivity_assignment shall be "exception", "inherited" or "local".

WR8: A configured_effectivity_context_assignment shall be assigned to an effectivity_context_assignment.

5.2.2.2 configured_effectivity_context_assignment   EXPRESS-G

A configured_effectivity_context_assignment is a type of effectivity_context_assignment that identifies a context for a configured_effectivity_assignment.

NOTE    Valid instances of this entity are identical to valid instances of the homonym entity defined in ISO 10303-214.

EXPRESS specification:

*)
ENTITY configured_effectivity_context_assignment
  SUBTYPE OF (effectivity_context_assignment);
  SELF\effectivity_context_assignment.assigned_effectivity_assignment : configured_effectivity_assignment;
  items : SET[1:?] OF configured_effectivity_context_item;
WHERE
  WR1: SIZEOF(SELF.items) = 1;
END_ENTITY;
(*

Attribute definitions:

assigned_effectivity_assignment: the configured_effectivity_assignment for which the configured_effectivity_context_assignment is applied.

items: the items which are related to the context of a configured_effectivity_assignment.

Formal propositions:

WR1: The configured_effectivity_context_assignment shall have one item.



*)
END_SCHEMA;  -- Specification_based_configuration_mim
(*


© ISO 2018 — All rights reserved