Application module: Specification based configuration | ISO/TS 10303-1108:2018-11(E) © ISO |
(*
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