Application module: Functional specification | ISO/TS 10303-1679:2018-11(E) © ISO |
This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.
This clause constitutes the Module Interpreted Module (MIM) of the application module.
This clause also specifies the modifications that apply to the constructs imported from the common resources.
The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:
Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.
EXPRESS specification:
*)
SCHEMA Functional_specification_mim;
USE FROM
Signal_mim;
--
ISO/TS 10303-1745
USE FROM
Network_functional_design_view_mim;
--
ISO/TS 10303-1704
USE FROM
application_context_schema
--
ISO 10303-41
(application_context_element);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Signal_mim ISO/TS 10303-1745 Network_functional_design_view_mim ISO/TS 10303-1704 application_context_schema ISO 10303-41
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM types for this application module. The MIM types and definitions are specified below.
The fs_document_reference_item type is an extension of the document_reference_item type. It adds the data type representation to the list of alternate data types.
EXPRESS specification:
*)
TYPE
fs_document_reference_item =
SELECT
BASED_ON
document_reference_item
WITH
(representation);
END_TYPE;
(*
The fs_external_identification_item type is an extension of the external_identification_item type. It adds the data type functional_specification to the list of alternate data types.
EXPRESS specification:
*)
TYPE
fs_external_identification_item =
SELECT
BASED_ON
external_identification_item
WITH
(functional_specification);
END_TYPE;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
An functional_specification is a type of representation that implements the ARM concept of Functional_specification.
EXPRESS specification:
*)
ENTITY functional_specification
SUBTYPE OF (representation);
END_ENTITY;
(*
A functional_specification_definition is a type of functional_unit that implements the ARM concept of Functional_specification_definition.
EXPRESS specification:
*)
ENTITY functional_specification_definition
SUBTYPE OF (functional_unit);
END_ENTITY;
(*
*)
END_SCHEMA; -- Functional_specification_mim
(*
© ISO 2018 — All rights reserved