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 N7705 - ISO/TS 10303-1108 Specification based configuration - EXPRESS ARM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N2595
*)



SCHEMA Specification_based_configuration_arm;


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


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


TYPE configuration_inheritance_types =
         
         ENUMERATION
         
         OF
         

            
         (exception_case,
    full_inheritance,
    no_inheritance);

         END_TYPE;


TYPE configuration_kind =
         
         ENUMERATION
         
         OF
         

            
         (usage,
    design);

         END_TYPE;


TYPE configured_item_select =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT;

         END_TYPE;


TYPE configured_specification_select =
         
         
         SELECT

            (Class_condition_association, 
    Class_specification_association);

         END_TYPE;


TYPE effectivity_for_configuration =
         
         
         SELECT
         BASED_ON
         effectivity_item
         WITH 
         

            (Configuration);

         END_TYPE;


ENTITY Configuration;

           configured_element : configured_item_select;

           is_solution_for : configured_specification_select;

           configuration_type : configuration_kind;

           inheritance_type : configuration_inheritance_types;
WHERE

           WR1: consistent_configuration_type(SELF);

         
         END_ENTITY;


RULE restrict_to_dated_effectivity FOR 

         (Effectivity_assignment);

LOCAL
  ndea_set : SET OF Effectivity_assignment := [];
END_LOCAL;
  ndea_set := QUERY(ea <* Effectivity_assignment | 
	NOT ('EFFECTIVITY_ARM.DATED_EFFECTIVITY' IN TYPEOF(ea.assigned_effectivity)));

WHERE

           WR1: SIZEOF(QUERY(ea <* ndea_set | 
            		(SIZEOF(['SPECIFICATION_BASED_CONFIGURATION_ARM.CONFIGURATION']*type_of_set(ea.items))>0) )) =0;


         END_RULE;


FUNCTION consistent_configuration_type
 (config : Configuration) : BOOLEAN;

IF ('PRODUCT_CLASS_ARM.CLASS_CONDITION_ASSOCIATION' IN TYPEOF(config.is_solution_for)) THEN
  IF config.configuration_type = configuration_kind.usage THEN
    RETURN(config.is_solution_for\Class_condition_association.condition_type ='part usage');
  ELSE
    RETURN(config.is_solution_for\Class_condition_association.condition_type ='design case');
  END_IF;
END_IF;

IF ('PRODUCT_CLASS_ARM.CLASS_SPECIFICATION_ASSOCIATION' IN TYPEOF(config.is_solution_for)) THEN
  IF config.configuration_type = configuration_kind.usage THEN
    RETURN(config.is_solution_for\Class_specification_association.association_type ='part usage');
  ELSE 
    RETURN(config.is_solution_for\Class_specification_association.association_type ='design case');
  END_IF;
END_IF;

RETURN(FALSE);


         END_FUNCTION;


FUNCTION type_of_set
 (items : SET[0:?] OF GENERIC_ENTITY) : SET[0:?] OF STRING;

LOCAL
  result: SET OF STRING:= [];
END_LOCAL;

REPEAT i:=1 TO HIINDEX(items);
  result := result + TYPEOF(items[i]);
END_REPEAT;
RETURN(result);


         END_FUNCTION;



         END_SCHEMA;  -- Specification_based_configuration_arm