ISO/TS 10303-1263:2010-03 Justification


Application module: Justification	ISO/TS 10303-1263:2010-03(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

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
Bibliography
Index


         (*
ISO TC184/SC4/WG12 N6042 - ISO/TS 10303-1263 Justification - EXPRESS ARM
Supersedes 
         ISO TC184/SC4/WG12 N3067
*)



SCHEMA Justification_arm;


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


         USE FROM
         State_observed_arm;
            -- ISO/TS 10303-1256


TYPE assumed_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT;

         END_TYPE;


TYPE assumption_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT;

         END_TYPE;


TYPE just_state_definition_of_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT
         BASED_ON
         state_definition_of_item
         WITH 
         

            (Assumption);

         END_TYPE;


TYPE just_state_of_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT
         BASED_ON
         state_of_item
         WITH 
         

            (Assumption);

         END_TYPE;


TYPE justification_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT

            (Assumption, 
    Assumption_assignment, 
    Assumption_relationship);

         END_TYPE;


TYPE justification_support_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT

            (Assumption, 
    Assumption_assignment, 
    Assumption_relationship);

         END_TYPE;


ENTITY Assumption;

           id : STRING;

           name : 
         OPTIONAL 
         STRING;

           description : 
         OPTIONAL 
         STRING;

         
         END_ENTITY;


ENTITY Assumption_assignment;

           assumption : Assumption;

           description : 
         OPTIONAL 
         STRING;

           item : assumption_item;

           role : STRING;

         
         END_ENTITY;


ENTITY Assumption_relationship;

           description : 
         OPTIONAL 
         STRING;

           role : STRING;

           relating_assumption : Assumption;

           related_assumption : Assumption;

         
         END_ENTITY;


ENTITY Item_assumed;

           assumption : Assumption;

           item : assumed_item;

         
         END_ENTITY;


ENTITY Justification;

           id : STRING;

           name : 
         OPTIONAL 
         STRING;

           description : STRING;

           context_description : 
         OPTIONAL 
         STRING;

         
         END_ENTITY;


ENTITY Justification_assignment;

           justification : Justification;

           description : 
         OPTIONAL 
         STRING;

           item : justification_item;

           role : STRING;

         
         END_ENTITY;


ENTITY Justification_relationship;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

           relating_justification : Justification;

           related_justification : Justification;

         
         END_ENTITY;


ENTITY Justification_support_assignment;

           justification : Justification;

           description : 
         OPTIONAL 
         STRING;

           support_item : justification_support_item;

           role : STRING;

         
         END_ENTITY;



         END_SCHEMA;  -- Justification_arm