Capability (C007):— representing_state_type Date: 2007/06/22 12:22:11
Revision: 1.13
CoverContentsIntro.Overview Info. modelTemplatesCapabilities.EXPRESS defsEXPRESSIssues

Capability EXPRESS information model

This section describes the EXPRESS information model for the capability.

Open issue Issue: SMB-1 by Sean Barker (2004-6-17) [minor_technical, open] - {Type = usage}
A description of the use of Applied_state_defintion_assignment.role is needed.
Comment: (Leif Gyllstrom 2007-05-02)
I've adressed this in the template 'assigning_state_type'. However, it still remains to be dealt with in the capability.

From module : state_definition - using subset


TYPE state_definition_activity_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON activity_item WITH
   (Applied_state_definition_assignment);
END_TYPE;


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;


TYPE state_definition_identification_item = EXTENSIBLE SELECT BASED_ON identification_item WITH
   (State_definition,
    State_definition_relationship);
END_TYPE;


TYPE state_definition_of_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;

And_state_cause_effect_definition

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.


ENTITY And_state_cause_effect_definition
  SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;

Applied_state_definition_assignment

An Applied_state_definition_assignment is a mechanism that enables an object to have or to be in a State_definition.


ENTITY Applied_state_definition_assignment;
  described_state_definition : State_definition;
  assigned_to : state_definition_of_item;
  role : State_definition_role;
END_ENTITY;

described_state_definition: the State_definition that is assigned.

assigned_to: the object whose State_definition is given by the described_state_definition.

role: the purpose of the association of the Applied_state_definition_assignment with product or activity data.

Composition_of_state_definition

A Composition_of_state_definition is a type of State_definition_relationship. It relates State_definition entities to one another, when two or more State_definition entities act as parts to compose a whole State_definition; and furthermore, whole State_definition entities can become parts of yet another whole State_definition.


ENTITY Composition_of_state_definition
  SUBTYPE OF (State_definition_relationship);
  SELF\State_definition_relationship.relating RENAMED whole : SET[1:?] OF State_definition;
  SELF\State_definition_relationship.related RENAMED part : SET[1:?] OF State_definition;
END_ENTITY;

whole: a State_definition that is composed from other State_definition entities.

part: a State_definition that is part of the whole State_definition.

Or_state_cause_effect_definition

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.


ENTITY Or_state_cause_effect_definition
  SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;

Sequence_of_state_definition

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


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;

successor: the next State_definition in the sequence.

predecessor: the previous State_definition in the sequence.

State_cause_effect_definition

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.


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;

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.

State_complement_definition

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.


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;

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.

State_definition

A State_definition is a mode of being. A State_definition defines the types of State that can exist. A State's existence can be assessed and asserted against State_definition from State.


ENTITY State_definition;
  name : STRING;
  description : OPTIONAL STRING;
END_ENTITY;

name: the words by which the State_definition is known.

State_definition_relationship

A State_definition_relationship is an association between two or more instances of State_definition.

NOTE    Relationships between State_definition entities may be used to support fault diagnosis.


ENTITY State_definition_relationship;
  name : STRING;
  description : OPTIONAL STRING;
  relating : SET[1:?] OF State_definition;
  related : SET[1:?] OF State_definition;
END_ENTITY;

name: the words by which the State_definition_relationship is known.

relating: one of the instances of State_definition that is a part of the relationship.

related: the other of the instances of State_definition that is a part of the relationship.

State_definition_role

A State_definition_role is the purpose of the association of the Applied_state_definition_assignment with product or activity data.


ENTITY State_definition_role;
  name : STRING;
  description : OPTIONAL STRING;
END_ENTITY;

name: the words by which the State_definition_role is known.

description: the text that provides further information about the State_definition_role. The value of this attribute need not be specified.

State_proper_subset_definition

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.


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;

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.

State_subset_definition

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.


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;

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.

State_symptom_definition

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.


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;

symptom_effect: the effect State_definition of a symptom.

symptom_cause: a State_definition which is causing a symptom.

State_transition_definition

A State_transition_definition is a type of State_definition_relationship. It relates two or more State_definition entities before and after a transition in state, where at least one State_definition is a start_state and at least one State_definition is an end_state.


ENTITY State_transition_definition
  SUBTYPE OF (State_definition_relationship);
  SELF\State_definition_relationship.relating RENAMED end_state : SET[1:?] OF State_definition;
  SELF\State_definition_relationship.related RENAMED start_state : SET[1:?] OF State_definition;
END_ENTITY;

end_state: the end state, that is, the state after transition.

start_state: the start state, that is, the state before transition.

Xor_state_cause_effect_definition

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.


ENTITY Xor_state_cause_effect_definition
  SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;