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

(*
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


© ISO 2018 — All rights reserved