ISO/TS 10303-1256:2019 State observed


Application module: State observed	ISO/TS 10303-1256:2019(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
3.2 Abbreviated terms

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
5.2.2 MIM entity definitions

A MIM short names
B Information object registration
C ARM EXPRESS-G
D MIM EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index


         (*
ISO/TC 184/SC 4/WG 12 N10284 - ISO/TS 10303-1256 State observed - EXPRESS ARM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N5920
*)



SCHEMA State_observed_arm;


         USE FROM
         Classification_assignment_arm;
            -- ISO/TS 10303-1114


         USE FROM
         Foundation_state_definition_arm;
            -- ISO/TS 10303-1469


         USE FROM
         State_definition_arm;
            -- ISO/TS 10303-1255


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;


ENTITY Applied_state_assignment;

           described_state : State;

           assigned_to : state_of_item;

           role : State_role;

         
         END_ENTITY;


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;


ENTITY Defined_state_relationship;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

           definitive_state : State_assertion;

           defined_state : State_assessment;

         
         END_ENTITY;


ENTITY Hypothesis_state_to_confirmation_state_relationship

           SUBTYPE OF (State_assertion_relationship);

           confirmed_state : State_assertion;

           hypothesized_state : State_assessment;

         
         END_ENTITY;


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;


ENTITY State

           SUPERTYPE OF 
         (ONEOF (State_observed,
                       State_predicted));

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

         
         END_ENTITY;


ENTITY State_assertion;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

           asserted_state : State;

           conformance_state : State_definition;

         
         END_ENTITY;


ENTITY State_assertion_relationship;

           description : 
         OPTIONAL 
         STRING;

           id : 
         OPTIONAL 
         STRING;

           related : State_assertion;

           relating : State_assertion;

           relation_type : STRING;
WHERE

           WR1: relating :<>: related;

         
         END_ENTITY;


ENTITY State_assessment;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

           assessed_state : State;

           comparable_state : State_definition;

         
         END_ENTITY;


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;


ENTITY State_observed

           SUBTYPE OF (State);

         
         END_ENTITY;


ENTITY State_predicted

           SUBTYPE OF (State);

         
         END_ENTITY;


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;


ENTITY State_relationship;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

           relating : SET[1:?] OF State;

           related : SET[1:?] OF State;

         
         END_ENTITY;


ENTITY State_role;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

         
         END_ENTITY;


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_SCHEMA;  -- State_observed_arm