Capability (C041):— representing_state_observed Date: 2007/06/22 12:22:11
Revision: 1.36
CoverContentsIntro.Overview Info. modelTemplatesCapabilities.Ref. dataEXPRESS defsEXPRESSIssues

Capability EXPRESS information model

This section describes the EXPRESS information model for the capability.

From module : state_observed - using all


TYPE state_classification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON classification_item WITH
   (Applied_state_assignment,
    State,
    State_relationship);
END_TYPE;


TYPE state_of_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;

Applied_state_assignment

An Applied_state_assignment is a relationship that allows a subject to have State or to be in a State.


ENTITY Applied_state_assignment;
  described_state : State;
  assigned_to : state_of_item;
  role : State_role;
END_ENTITY;

described_state: a State the subject has or is in.

assigned_to: the subject which has or is in a State.

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

Composition_of_state

A Composition_of_state is a type of state relationship and it relates the nature of states in relation to one another, where two or more State parts compose a whole State; and furthermore, whole states can become parts of yet another whole State.


ENTITY Composition_of_state
  SUBTYPE OF (State_relationship);
  SELF\State_relationship.relating RENAMED whole : SET[1:?] OF State;
  SELF\State_relationship.related RENAMED part : SET[1:?] OF State;
END_ENTITY;

whole: a complete State which contain parts of its state composition.

part: the State parts that comprise a whole State.

Defined_state_relationship

A Defined_state_relationship is a relationship that links a State_assertion to a State_assessment.


ENTITY Defined_state_relationship;
  name : STRING;
  description : OPTIONAL STRING;
  definitive_state : State_assertion;
  defined_state : State_assessment;
END_ENTITY;

name: the words by which the Defined_state_relationship is known.

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

definitive_state: the State_assertion being related to the defined subject State from State_assessment.

defined_state: the State_assessment being related to the definitive subject State from State_assertion.

Sequence_of_state

A Sequence_of_state is a type of State_relationship in which one set of States precedes another set of States.


ENTITY Sequence_of_state
  SUBTYPE OF (State_relationship);
  SELF\State_relationship.relating RENAMED successor : SET[1:?] OF State;
  SELF\State_relationship.related RENAMED predecessor : SET[1:?] OF State;
END_ENTITY;

successor: the next State in the sequence.

predecessor: the previous State in the sequence.

State

A State is the mode of being in which something does or could exist or existed for a period of time.

NOTE 1   A state's existence can be just a state that an object is currently in, a predicted state that an object will eventually be in, or an observed state that an object has been in.

NOTE 2   The period of existence may be an instant or longer.

EXAMPLE 1   Main Engine No. 1 is in "operation".

EXAMPLE 2   When Generator No. 2 surpasses 5,000 service hours, it will enter "maintenance" mode.

EXAMPLE 3   The portable computer's power supply was attached after it displayed a "low-battery" warning.


ENTITY State
  SUPERTYPE OF (ONEOF (State_observed,
                       State_predicted));
  name : STRING;
  description : OPTIONAL STRING;
END_ENTITY;

name:

the words by which the State is known.

NOTE    Identifiers are assigned to State using statechar_identification_item.

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

State_assertion

A State_assertion is used to assert that the subject State is in conformance with a particular State_definition.


ENTITY State_assertion;
  name : STRING;
  description : OPTIONAL STRING;
  asserted_state : State;
  conformance_state : State_definition;
END_ENTITY;

name: the words by which the State_assertion is known.

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

asserted_state: the subject State being asserted.

conformance_state: a particular State_definition the subject State is being asserted against.

State_assessment

A State_assessment is used to determine whether the subject State is comparable with a particular State_definition.


ENTITY State_assessment;
  name : STRING;
  description : OPTIONAL STRING;
  assessed_state : State;
  comparable_state : State_definition;
END_ENTITY;

name: the words by which the State_assessment is known.

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

assessed_state: a subject State that will be assessed against a particular State_definition.

comparable_state: a particular State_definition the subject State is assessed against.

State_cause_effect

A State_cause_effect is a type of state relationship and it relates two or more states as one state causing particular resulting effect state(s). In turn, an effect state can become a new causing state yielding in yet more effect states.


ENTITY State_cause_effect
  SUBTYPE OF (State_relationship);
  SELF\State_relationship.relating RENAMED effect : SET[1:?] OF State;
  SELF\State_relationship.related RENAMED cause : SET[1:?] OF State;
END_ENTITY;

effect: a State resulting from a cause State.

cause: a State causing an effect State.

State_observed

A State_observed is a type of State. It is an individual or realized State that is observed.


ENTITY State_observed
  SUBTYPE OF (State);
END_ENTITY;

State_predicted

A State_predicted is a type of State It is a predicted actual State. Where a predicted state needs to be related to an observed state, the State_predicted_to_observed entity shall be used.


ENTITY State_predicted
  SUBTYPE OF (State);
END_ENTITY;

State_predicted_to_observed

A State_predicted_to_observed is a type of state relationship. It specifies the relationship between two individual states, one of which is a State_predicted to a second state which is a State_observed.


ENTITY State_predicted_to_observed
  SUBTYPE OF (State_relationship);
  SELF\State_relationship.relating RENAMED observed_state : SET[1:?] OF State_observed;
  SELF\State_relationship.related RENAMED predicted_state : SET[1:?] OF State_predicted;
END_ENTITY;

observed_state: the observed state.

predicted_state: the predicted state.

State_relationship

A State_relationship is a relationship between two or more States.


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

name: the words by which the State_relationship is known.

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

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

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

State_role

A State_role is a specification of the purpose of the association of the Applied_state_assignment with product or activity data.


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

name: the words by which the State_role is known.

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

State_transition

A State_transition is a type of state relationship and it relates two or more states before and after a transition in State, where at least one State is a start state and at least one State is an end state.


ENTITY State_transition
  SUBTYPE OF (State_relationship);
  SELF\State_relationship.relating RENAMED end_state : SET[1:?] OF State;
  SELF\State_relationship.related RENAMED start_state : SET[1:?] OF State;
END_ENTITY;

end_state: an end state after transition.

start_state: a start state before transition.

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;