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   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
Bibliography
Index

4 Information requirements

This clause specifies the information requirements for the Justification 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.

The following EXPRESS specification begins the Justification_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Justification_arm;
(*

4.1 Required AM ARMs

The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.

EXPRESS specification:

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

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

NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Foundation_state_definition_arm ISO/TS 10303-1469
State_observed_arm ISO/TS 10303-1256

NOTE 2   See Annex C, Figures C.1and C.2 for a graphical representation of this schema.

4.2 ARM type definitions

This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.

4.2.1 assumed_item   EXPRESS-G

The assumed_item type is an extensible list of alternate data types. Additional alternate data types are specified in select data types that extend the assumed_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 assumed_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
(*

4.2.2 assumption_item   EXPRESS-G

The assumption_item type is an extensible list of alternate data types. Additional alternate data types are specified in select data types that extend the assumption_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 assumption_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
(*

4.2.3 just_state_definition_of_item   EXPRESS-G

The just_state_definition_of_item type is an extension of the state_definition_of_item type. It adds the data type Assumption to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE just_state_definition_of_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON state_definition_of_item WITH
   (Assumption);
END_TYPE;
(*

4.2.4 just_state_of_item   EXPRESS-G

The just_state_of_item type is an extension of the state_of_item type. It adds the data type Assumption to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE just_state_of_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON state_of_item WITH
   (Assumption);
END_TYPE;
(*

4.2.5 justification_item   EXPRESS-G

The justification_item type is an extensible list of alternate data types that allows for the designation of the data types Assumption, Assumption_assignment and Assumption_relationship.

NOTE   The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE justification_item = EXTENSIBLE GENERIC_ENTITY SELECT
   (Assumption,
    Assumption_assignment,
    Assumption_relationship);
END_TYPE;
(*

4.2.6 justification_support_item   EXPRESS-G

The justification_support_item type is an extensible list of alternate data types that allows for the designation of the data types Assumption, Assumption_assignment and Assumption_relationship.

NOTE   The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE justification_support_item = EXTENSIBLE GENERIC_ENTITY SELECT
   (Assumption,
    Assumption_assignment,
    Assumption_relationship);
END_TYPE;
(*

4.3 ARM entity definitions

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.

4.3.1 Assumption   EXPRESS-GMapping table

An Assumption is the identification of something assumed to be true without proof.

The reason or justification for an assumption being made shall be represented by a Justification_assignment being assigned to the Assumption.

EXAMPLE    An activity is planned based on the assumption that the resource required to perform the activity is available at a location.

The item that is assumed shall be related to the Assumption by an Item_assumed

EXPRESS specification:

*)
ENTITY Assumption;
  id : STRING;
  name : OPTIONAL STRING;
  description : OPTIONAL STRING;
END_ENTITY;
(*

Attribute definitions:

id: the identifier for the Assumption.

name: the words by which the Assumption is known. The value of this attribute need not be specified.

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

4.3.2 Assumption_assignment   EXPRESS-GMapping table

An Assumption_assignment is an association between an Assumption and the context in which the assumption is made.

EXAMPLE    The following set of assumptions are relevant to the project.

EXPRESS specification:

*)
ENTITY Assumption_assignment;
  assumption : Assumption;
  description : OPTIONAL STRING;
  item : assumption_item;
  role : STRING;
END_ENTITY;
(*

Attribute definitions:

assumption: the Assumption.

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

item: the item providing the context for the assumption.

role: the function performed by the assigned Assumption.

4.3.3 Assumption_relationship   EXPRESS-GMapping table

An Assumption_relationship is an association between two Assumptions.

EXPRESS specification:

*)
ENTITY Assumption_relationship;
  description : OPTIONAL STRING;
  role : STRING;
  relating_assumption : Assumption;
  related_assumption : Assumption;
END_ENTITY;
(*

Attribute definitions:

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

role: the meaning of the relationship.

relating_assumption: one instance of Assumption that is part of the relationship.

related_assumption: the other instance of Assumption that is part of the relationship. If one element of the relationship is dependent upon the other then this attribute shall be the dependent one.

4.3.4 Item_assumed   EXPRESS-GMapping table

An Item_assumed is an association between an Assumption and the item that is being assumed.

EXAMPLE    A facility is assumed to exist at a given location.

The facility shall be represented by a Resource_item_assignment, the location by a Location, and the existence of the facility at the location, by a Location_assignment assigning a location to the resource.

EXPRESS specification:

*)
ENTITY Item_assumed;
  assumption : Assumption;
  item : assumed_item;
END_ENTITY;
(*

Attribute definitions:

assumption: the Assumption.

item: the item that is assumed to be true.

4.3.5 Justification   EXPRESS-GMapping table

A Justification is the identification and description of the reasons for something. Justification entities may be associated with the data to which they apply.

EXAMPLE    A justification may be provided for a product design. Similarly, a justification may be provided for why an activity is needed or was undertaken.

EXPRESS specification:

*)
ENTITY Justification;
  id : STRING;
  name : OPTIONAL STRING;
  description : STRING;
  context_description : OPTIONAL STRING;
END_ENTITY;
(*

Attribute definitions:

id: the identifier for the Justification.

name: the word or group of words by which the Justification is referred. The value of the attribute need not be specified.

description: the text that provides further information about the Justification.

context_description: the text that provides information about the nature of the context in which the Justification applies. The value of the attribute need not be specified.

4.3.6 Justification_assignment   EXPRESS-GMapping table

A Justification_assignment is the association between a Justification and the item for which the Justification is provided.

EXAMPLE    The item can be an activity or a product design.

EXPRESS specification:

*)
ENTITY Justification_assignment;
  justification : Justification;
  description : OPTIONAL STRING;
  item : justification_item;
  role : STRING;
END_ENTITY;
(*

Attribute definitions:

justification: the Justification which is assigned to an item.

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

item: the data item for which Justification is provided.

role: the function performed by the assigned Justification.

4.3.7 Justification_relationship   EXPRESS-GMapping table

A Justification_relationship is an association between two Justifications.

EXPRESS specification:

*)
ENTITY Justification_relationship;
  name : STRING;
  description : OPTIONAL STRING;
  relating_justification : Justification;
  related_justification : Justification;
END_ENTITY;
(*

Attribute definitions:

name: the word or group of words by which the Justification_relationship is referred.

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

relating_justification: one instance of Justification that is part of the relationship.

related_justification: the other instance of Justification that is part of the relationship. If one element of the relationship is dependent upon the other then this attribute shall be the dependent one.

4.3.8 Justification_support_assignment   EXPRESS-GMapping table

A Justification_support_assignment is the association between a Justification and the item providing evidential support for the Justification .

EXAMPLE    The support item can be the results from an analysis, a report, or professional judgment.

EXPRESS specification:

*)
ENTITY Justification_support_assignment;
  justification : Justification;
  description : OPTIONAL STRING;
  support_item : justification_support_item;
  role : STRING;
END_ENTITY;
(*

Attribute definitions:

justification: the Justification to which the evidential support is associated.

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

support_item: the item which provides evidential support for a Justification.

role: the function performed by the assigned support item.



*)
END_SCHEMA;  -- Justification_arm
(*

© ISO 2009 — All rights reserved