Application module: Specification document ISO/TS 10303-1747:2018-11(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
   4.4 ARM function definition
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
F Change history
Bibliography
Index

4 Information requirements

This clause specifies the information requirements for the Specification document 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 Specification_document_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Specification_document_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 Characteristic_arm;    --  ISO/TS 10303-1654

USE FROM Configuration_item_arm;    --  ISO/TS 10303-1056

USE FROM Tagged_text_representation_arm;    --  ISO/TS 10303-1366

REFERENCE FROM Support_resource_arm    --  ISO/TS 10303-1800
  (bag_to_set);
(*

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

Characteristic_arm ISO/TS 10303-1654
Configuration_item_arm ISO/TS 10303-1056
Tagged_text_representation_arm ISO/TS 10303-1366
Support_resource_arm ISO/TS 10303-1800

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 sd_documented_element_select   EXPRESS-G

The sd_documented_element_select type is an extension of the documented_element_select type. It adds the data types Product_configuration, Product_view_definition, Product_version, and Product to the list of alternate data types.

EXPRESS specification:

*)
TYPE sd_documented_element_select = SELECT BASED_ON documented_element_select WITH
   (Product_configuration,
    Product_view_definition,
    Product_version,
    Product);
END_TYPE;
(*

4.2.2 sd_organization_or_person_in_organization_item   EXPRESS-G

The sd_organization_or_person_in_organization_item type is an extension of the organization_or_person_in_organization_item type. It adds the data type Specification_definition to the list of alternate data types.

EXPRESS specification:

*)
TYPE sd_organization_or_person_in_organization_item = SELECT BASED_ON organization_or_person_in_organization_item WITH
   (Specification_definition);
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 Design_specification   EXPRESS-GMapping table

A Design_specification is a type of Specification_definition that establishes the design specifications of products. A Design_specification may be an Interface_specification_document_definition. These specifications are not determined by other design or construction features or by referenced data.

EXPRESS specification:

*)
ENTITY Design_specification
  SUPERTYPE OF (Interface_specification_document_definition)
  SUBTYPE OF (Specification_definition);
WHERE
  WR1: NOT EXISTS(SELF\Product_view_definition.additional_characterization);
END_ENTITY;
(*

Formal propositions:

WR1: The additional_characterization shall not be populated.

4.3.2 Fabrication_technology_specification   EXPRESS-GMapping table

A Fabrication_technology_specification is a type of Process_specification that describes limits on the results achieved by a realization process used for specific parts, part families, and materials.

EXPRESS specification:

*)
ENTITY Fabrication_technology_specification
  SUBTYPE OF (Process_specification);
END_ENTITY;
(*

4.3.3 Interface_specification_document_definition   EXPRESS-GMapping table

An Interface_specification_document_definition is a type of Design_specification that describes supported interfaces and associated details for a product or process.

EXPRESS specification:

*)
ENTITY Interface_specification_document_definition
  SUBTYPE OF (Design_specification);
END_ENTITY;
(*

4.3.4 Language_reference_manual   EXPRESS-GMapping table

A Language_reference_manual is a type of Specification_definition that defines the syntax and semantics of a computer interpretable language.

EXPRESS specification:

*)
ENTITY Language_reference_manual
  SUBTYPE OF (Specification_definition);
WHERE
  WR1: NOT EXISTS(SELF\Product_view_definition.additional_characterization);
END_ENTITY;
(*

Formal propositions:

WR1: The additional_characterization shall not be populated.

4.3.5 Material_specification   EXPRESS-GMapping table

A Material_specification is a type of Specification_definition that specifies properties applicable to raw material, mixtures, or semi-fabricated material that are used in the fabrication of a product.

EXPRESS specification:

*)
ENTITY Material_specification
  SUBTYPE OF (Specification_definition);
WHERE
  WR1: NOT EXISTS(SELF\Product_view_definition.additional_characterization);
END_ENTITY;
(*

Formal propositions:

WR1: The additional_characterization shall not be populated.

4.3.6 Partial_document_with_structured_text_representation_assignment   EXPRESS-GMapping table

A Partial_document_with_structured_text_representation_assignment is a type of Partial_document_assignment that provides an explicit reference to a node in the structure of a document.

EXPRESS specification:

*)
ENTITY Partial_document_with_structured_text_representation_assignment
  SUBTYPE OF (Partial_document_assignment);
  structured_portion : string_representation_item_select;
UNIQUE
  UR1: SELF\Partial_document_assignment.document_portion, SELF\Document_assignment.assigned_document;
END_ENTITY;
(*

Attribute definitions:

structured_portion: specifies the role of the string_representation_item_select for the Partial_document_with_structured_text_representation_assignment.

Formal propositions:

UR1: The combination of document_portion and assigned_document shall be unique within a population of Partial_document_with_structured_text_representation_assignments.

4.3.7 Process_specification   EXPRESS-GMapping table

A Process_specification is a type of Specification_definition that identifies and describes an activity and limits on the results of the activity to be performed on an Product or material during a product realization process.

EXAMPLE    Figure 1 illustrates a detail from a Process_specification for an etching process.



Figure 1 —  Process specification

Figure 1 —  Process specification

EXPRESS specification:

*)
ENTITY Process_specification
  SUBTYPE OF (Specification_definition);
WHERE
  WR1: NOT EXISTS(SELF\Product_view_definition.additional_characterization);
END_ENTITY;
(*

Formal propositions:

WR1: The additional_characterization shall not be populated.

4.3.8 Specification_allocation   EXPRESS-GMapping table

A Specification_allocation is a type of Document_assignment, which an assigned_document must be of Specification_definition type.

EXPRESS specification:

*)
ENTITY Specification_allocation
  SUBTYPE OF (Document_assignment);
  SELF\Document_assignment.assigned_document RENAMED allocated_specification : Specification_definition;
END_ENTITY;
(*

Attribute definitions:

allocated_specification: specifies the role of the Specification_definition for the Specification_allocation.

4.3.9 Specification_definition   EXPRESS-GMapping table

A Specification_definition is a type of Document_definition. A Specification_definition may be one of a Design_specification, a Language_reference_manual, a Material_specification, a Process_specification, or a Test_specification.

EXPRESS specification:

*)
ENTITY Specification_definition
  SUPERTYPE OF (ONEOF (Design_specification,
                       Process_specification,
                       Material_specification,
                       Test_specification,
                       Language_reference_manual))
  SUBTYPE OF (Document_definition);
DERIVE
  source : SET[0:?] OF Organization_or_person_in_organization_assignment := bag_to_set(QUERY(temp <* USEDIN(SELF,'PERSON_ORGANIZATION_ASSIGNMENT_ARM.'+ 'ORGANIZATION_OR_PERSON_IN_ORGANIZATION_ASSIGNMENT.ITEMS') | (temp.role = 'document source') ));
WHERE
  WR1: EXISTS (source) AND (SIZEOF(source) = 1);
END_ENTITY;
(*

Attribute definitions:

source: specifies the Organization or the Person_in_organization responsible for the information of a Specification_definition.

Formal propositions:

WR1: The source shall be provided and its size shall be one.

4.3.10 Surface_finish_specification   EXPRESS-GMapping table

A Surface_finish_specification is a type of Material_specification that is a collection of the properties applicable to surface textures or coatings either for a product in-process or a completed product.

EXPRESS specification:

*)
ENTITY Surface_finish_specification
  SUBTYPE OF (Material_specification);
END_ENTITY;
(*

4.3.11 Test_specification   EXPRESS-GMapping table

A Test_specification is a type of Specification_definition that provides information about the physical or functional testing of an Product.

EXPRESS specification:

*)
ENTITY Test_specification
  SUBTYPE OF (Specification_definition);
WHERE
  WR1: NOT EXISTS(SELF\Product_view_definition.additional_characterization);
END_ENTITY;
(*

Formal propositions:

WR1: The additional_characterization shall not be populated.

4.4 ARM function definition

This subclause specifies the ARM function for this module. The ARM function and definition is specified below.

4.4.1 get_document_definition

The get_document_definition function returns the set of Document_definitions that are assigned to the specified input by the Document_assignments, having their role set to the specified role, as assigned_documents and are of type specified by type_name.

EXPRESS specification:

*)
FUNCTION get_document_definition (input : documented_element_select; role : STRING; type_name : STRING) : SET[0:?] OF Document_definition;
LOCAL
      dd : SET[0:?] OF Document_definition := [];  --this gives us access to the information base
      da : SET[0:?] OF Document_assignment :=[];
    END_LOCAL;
    da := bag_to_set(QUERY(dr <* USEDIN (input, 'DOCUMENT_ASSIGNMENT_ARM.'+
	  'DOCUMENT_ASSIGNMENT.IS_ASSIGNED_TO') | (dr.role = role)));
    -- iterate over da
    REPEAT i := 1 to SIZEOF(da) by 1;
      IF(type_name IN TYPEOF (da[i].assigned_document))THEN
        dd := dd + da[i].assigned_document;
      END_IF;
    END_REPEAT;
    RETURN(dd);
END_FUNCTION;
(*

Argument definitions:

input: the specified documented_element_select.

role: the specified role of Document_definitions.

type_name: the specified type of Document_definitions.



*)
END_SCHEMA;  -- Specification_document_arm
(*


© ISO 2018 — All rights reserved