ISO/TS 10303-1108:2018-11 Specification based configuration


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


         (*
ISO/TC 184/SC 4/WG 12 N9580 - ISO/TS 10303-1108 Specification based configuration - EXPRESS MIM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N7706
*)



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);


TYPE configured_effectivity_context_item =
         
         
         SELECT

            (product_concept_feature_association);

         END_TYPE;


TYPE configured_effectivity_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT

            (product_definition);

         END_TYPE;


TYPE sbc_effectivity_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT
         BASED_ON
         effectivity_item
         WITH 
         

            (configured_effectivity_assignment);

         END_TYPE;


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;


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;



         END_SCHEMA;  -- Specification_based_configuration_mim