Capability (C044):— representing_environment_actual Date: 2007/02/02 10:14:08
Revision: 1.19

Capability EXPRESS information model

This section describes the EXPRESS information model for the capability.

From module : state_observed - using subset



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.

The Applied_state_assignment asserts that a Product_as_realized has operated in an actual environment.


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.


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.

The State_assertion represents the assertion that the actual environment (represented by State_observed) is an occurrence of a typical environment (represented by 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_observed

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

The State_observed is used to represent an actual environment that a Product_as_realized has operated in.

The State_observed is classified as "State_of_environment" (urn:plcs:rdl:std:State_of_environment).

The State_observed is identified by using Identification_assignment to assign an identifier as described in C001: assigning_identifiers.


ENTITY State_observed
  SUBTYPE OF (State);
END_ENTITY;


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.