| Application module: Conditional effectivity | ISO/TS 10303-1397:2019(E) © ISO |
This clause specifies the information requirements for the Conditional effectivity application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information requirements is given in Annex C.
NOTE 2 The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.
This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following begins the Conditional_effectivity_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Conditional_effectivity_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Condition_arm;
--
ISO/TS 10303-1253
USE FROM
Effectivity_arm;
--
ISO/TS 10303-1057
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Condition_arm ISO/TS 10303-1253 Effectivity_arm ISO/TS 10303-1057
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.


EXPRESS specification:
*)
ENTITY Conditional_configuration
SUBTYPE OF (Conditional_effectivity);
configuration_type : STRING;
inheritance_type : STRING;
END_ENTITY;
(*
Attribute definitions:
configuration_type: defines the valid usage of a Conditional_configuration.
inheritance_type: specifies the inheritance scheme for the configuration information as either exception, inherited, or local.


A Conditional_effectivity is a type of Effectivity for which the domain of applicability is defined by an explicit condition.
EXPRESS specification:
*)
ENTITY Conditional_effectivity
SUBTYPE OF (Effectivity);
condition : Condition;
END_ENTITY;
(*
Attribute definitions:
condition: the Condition that defines the domain of applicability.
This subclause specifies the ARM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The ARM subtype constraint and definition is specified below.


The cond_eff_restrict_effectivity_subtypes constraint specifies a constraint that applies to instances of Effectivity and enforces the rule that its subtypes Conditional_effectivity, Dated_effectivity, Lot_effectivity, Serial_effectivity and Time_interval_effectivity are exclusive.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT cond_eff_restrict_effectivity_subtypes FOR Effectivity;
ONEOF (Conditional_effectivity,
Dated_effectivity,
Lot_effectivity,
Serial_effectivity,
Time_interval_effectivity);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Conditional_effectivity_arm
(*
© ISO 2019 — All rights reserved