|
|
Application module:
Foundation state definition |
ISO/TS 10303-1469:2019(E)
© ISO
|
This clause specifies the information requirements for the
Foundation 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.
This clause defines the information requirements to which implementations shall
conform using the EXPRESS language as defined in ISO 10303-11.
The following begins the
Foundation state definition schema.
EXPRESS specification:
*)
SCHEMA Foundation_state_definition_arm;
(*
This subclause specifies the ARM type
for this application module. The ARM type and
definition is specified below.
The state_definition_of_item type is an
extensible list of alternate data types.
Additional alternate data types are specified in select data
types that extend the
state_definition_of_item type.
NOTE
This empty extensible select requires
extension in a further module to ensure that entities that refer to it have
at least one valid instantiation.
EXPRESS specification:
*)
TYPE
state_definition_of_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT;
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.
An Applied_state_definition_assignment is a mechanism that
enables an object to have or to be in a State_definition.
EXPRESS specification:
*)
ENTITY Applied_state_definition_assignment;
described_state_definition : State_definition;
assigned_to : state_definition_of_item;
role : State_definition_role;
END_ENTITY;
(*
Attribute definitions:
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.
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.
EXPRESS specification:
*)
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;
(*
Attribute definitions:
whole:
a State_definition that is composed from other State_definition entities.
part:
a State_definition that is part of the whole State_definition.
A State_definition is a mode of being. In formal systems, a State_definition is the definition
of a situation during which some (usually implicit) invariant condition holds.
EXPRESS specification:
*)
ENTITY State_definition;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
(*
Attribute definitions:
name:
the words by which the State_definition is known.
description:
the text that provides further information about the State_definition. The value of this attribute need not be specified.
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.
EXPRESS specification:
*)
ENTITY State_definition_relationship;
name : STRING;
description :
OPTIONAL
STRING;
relating : SET[1:?] OF State_definition;
related : SET[1:?] OF State_definition;
END_ENTITY;
(*
Attribute definitions:
name:
the words by which the State_definition_relationship is known.
description:
the text that provides further information about the State_definition_relationship. The value of this attribute need not be specified.
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.
A State_definition_role is the purpose of the association of the
Applied_state_definition_assignment
with product or activity data.
EXPRESS specification:
*)
ENTITY State_definition_role;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
(*
Attribute definitions:
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.
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.
EXPRESS specification:
*)
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;
(*
Attribute definitions:
end_state:
the end state, that is, the state after transition.
start_state:
the start state, that is, the state before transition.
*)
END_SCHEMA; -- Foundation_state_definition_arm
(*
© ISO 2019 — All rights reserved
