AP scope | AP module | AP contents | AP index | |
Application module: State definition | ISO/E2 WD 10303-1255 |
This clause specifies the information requirements for the State definition 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.
The following EXPRESS specification begins the State_definition_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA State_definition_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Activity_arm;
--
ISO/TS 10303-1047
USE FROM
Classification_assignment_arm;
--
ISO/TS 10303-1114
USE FROM
Identification_assignment_arm;
--
ISO/TS 10303-1021
USE FROM
Foundation_state_definition_arm;
--
ISO/WD 10303-1469
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Activity_arm ISO/TS 10303-1047 Classification_assignment_arm ISO/TS 10303-1114 Identification_assignment_arm ISO/TS 10303-1021 Foundation_state_definition_arm ISO/WD 10303-1469
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.
The state_definition_activity_item type is an extension of the activity_item type. It adds the data type Applied_state_definition_assignment to the list of alternate data types.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
state_definition_activity_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
activity_item
WITH
(Applied_state_definition_assignment);
END_TYPE;
(*
The state_definition_classification_item type is an extension of the classification_item type. It adds the data types Applied_state_definition_assignment, State_definition and State_definition_relationship to the list of alternate data types.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
A state_definition_classification_item allows the assignment of a Class to types of state, relationships between types of state, and the assignment of types of states to product or activity data for their classification.EXPRESS specification:
*)
TYPE
state_definition_classification_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
classification_item
WITH
(Applied_state_definition_assignment,
State_definition,
State_definition_relationship);
END_TYPE;
(*
The state_definition_identification_item type is an extension of the identification_item type. It adds the data types State_definition and State_definition_relationship to the list of alternate data types.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
state_definition_identification_item =
EXTENSIBLE
SELECT
BASED_ON
identification_item
WITH
(State_definition,
State_definition_relationship);
END_TYPE;
(*
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 And_state_cause_effect_definition
SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Or_state_cause_effect_definition
SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Sequence_of_state_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.relating RENAMED successor : SET[1:?] OF State_definition;
SELF\State_definition_relationship.related RENAMED predecessor : SET[1:?] OF State_definition;
END_ENTITY;
(*
Attribute definitions:
successor: the next State_definition in the sequence.
predecessor: the previous State_definition in the sequence.
NOTE Additional causal relationships between states can be expressed using the following subtypes: And_state_cause_effect_definition, Or_state_cause_effect_definition, and Xor_state_cause_effect_definition.
EXPRESS specification:
*)
ENTITY State_cause_effect_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.relating RENAMED effect : SET[1:?] OF State_definition;
SELF\State_definition_relationship.related RENAMED cause : SET[1:?] OF State_definition;
END_ENTITY;
(*
Attribute definitions:
effect: the State_definition entities that are the effect which results from one or more cause State_definition entities.
cause: the State_definition entities that cause State_definition entities that are the effect.
NOTE 1 The semantics are the same as in elementary set theory.
NOTE 2 The relationship between a State_definition and its complement is symmetrical.
EXPRESS specification:
*)
ENTITY State_complement_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.relating RENAMED universe : SET[1:?] OF State_definition;
SELF\State_definition_relationship.related RENAMED set_1 : SET[1:?] OF State_definition;
set_2 : SET[1:?] OF State_definition;
END_ENTITY;
(*
Attribute definitions:
universe: the State_definition that is the union of set_1 and set_2.
set_1: the complement of set_2 within universe.
set_2: the complement of set_1 within universe.
NOTE The relationship between a state and its environment can be described as a State_proper_subset_definition. The identification of an instrinsic state is the proper_subset. The identification of an extrinsic state is the proper_superset.
EXPRESS specification:
*)
ENTITY State_proper_subset_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.related RENAMED proper_subset : SET[1:?] OF State_definition;
SELF\State_definition_relationship.relating RENAMED proper_superset : SET[1:?] OF State_definition;
END_ENTITY;
(*
Attribute definitions:
proper_subset: the set of State_definition entities that contains only members of proper_superset.
proper_superset: the set of State_definition entities that contains all members of proper_subset.
NOTE The first set may be equal to the second set.
EXPRESS specification:
*)
ENTITY State_subset_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.relating RENAMED superset : SET[1:?] OF State_definition;
SELF\State_definition_relationship.related RENAMED subset : SET[1:?] OF State_definition;
END_ENTITY;
(*
Attribute definitions:
superset: the set of State_definition entities that contains all members of subset.
subset: the set of State_definition entities that contains only members of superset.
EXPRESS specification:
*)
ENTITY State_symptom_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.relating RENAMED symptom_effect : SET[1:?] OF State_definition;
SELF\State_definition_relationship.related RENAMED symptom_cause : SET[1:?] OF State_definition;
END_ENTITY;
(*
Attribute definitions:
symptom_effect: the effect State_definition of a symptom.
symptom_cause: a State_definition which is causing a symptom.
EXPRESS specification:
*)
ENTITY Xor_state_cause_effect_definition
SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;
(*
*)
END_SCHEMA; -- State_definition_arm
(*
© ISO 2006 — All rights reserved