AP scope  |  AP module  |  AP contents  |  AP index
Application module: State definition ISO/E2 WD 10303-1255

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definitions
   4.3 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type 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
Bibliography
Index

4 Information requirements

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

4.1 Required AM ARMs

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.

4.2 ARM type definitions

This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.

4.2.1 state_definition_activity_item   EXPRESS-G

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

4.2.2 state_definition_classification_item   EXPRESS-G

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

4.2.3 state_definition_identification_item   EXPRESS-G

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

4.3 ARM entity definitions

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.

4.3.1 And_state_cause_effect_definition   EXPRESS-GMapping table

An And_state_cause_effect_definition is a type of State_cause_effect_definition. It relates one or more causing State_definition entities and one effect State_definition. All the causing State_definition entities must exist prior to the single effect.

EXPRESS specification:

*)
ENTITY And_state_cause_effect_definition
  SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;
(*

4.3.2 Or_state_cause_effect_definition   EXPRESS-GMapping table

An Or_state_cause_effect_definition is a type of State_cause_effect_definition. It relates one or more State_definition entities that are causes to a State_definition that is the effect. At least one cause must exist prior to the effect.

EXPRESS specification:

*)
ENTITY Or_state_cause_effect_definition
  SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;
(*

4.3.3 Sequence_of_state_definition   EXPRESS-GMapping table

A Sequence_of_state_definition is a type of State_definition_relationship. It defines a sequence of two or more state definitions.

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.

4.3.4 State_cause_effect_definition   EXPRESS-GMapping table

A State_cause_effect_definition is a type of State_definition_relationship that is used to define a causal relationship between two sets of State_definition entities. At least one State_definition acts as a cause and at least one State_definition acts as a effect.

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.

4.3.5 State_complement_definition   EXPRESS-GMapping table

A State_complement_definition is a type of State_definition_relationship. It is a relationship among three sets of State_definition entities. It defines the complement of a set of State_definition entities relative to a set of State_definition entities that are the universe.

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.

4.3.6 State_proper_subset_definition   EXPRESS-GMapping table

A State_proper_subset_definition is a type of State_definition_relationship. It is a relationship between two sets of State_definition entities.

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.

4.3.7 State_subset_definition   EXPRESS-GMapping table

A State_subset_definition is a type of State_definition_relationship. It is a relationship between two sets of State_definition entities.

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.

4.3.8 State_symptom_definition   EXPRESS-GMapping table

A State_symptom_definition is a type of State_definition_relationship. It relates two or more State_definition entities in regards to symptom, where a symptom is something that indicates the existence of something else. At least one State_definition acts as a symptom_cause and at least one State_definition acts as a symptom_effect.

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.

4.3.9 Xor_state_cause_effect_definition   EXPRESS-GMapping table

An Xor_state_cause_effect_definition is a type of State_cause_effect_definition. It relates one of the single or many causing state definition(s) and one effect State_definition, whereby any and only one of the causing state definitions exists prior to the single effect to take place.

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