Application module: Functional specification ISO/TS 10303-1679: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
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

(*
ISO/TC 184/SC 4/WG 12 N9494 - ISO/TS 10303-1679 Functional specification - EXPRESS ARM
Supersedes ISO/TC 184/SC 4/WG 12 N6384
*)



SCHEMA Functional_specification_arm;

USE FROM Signal_arm;    -- ISO/TS 10303-1745

USE FROM Network_functional_design_view_arm;    -- ISO/TS 10303-1704

REFERENCE FROM Specification_document_arm   -- ISO/TS 10303-1747
  (get_document_definition);


TYPE fs_documented_element_select = SELECT BASED_ON documented_element_select WITH
   (Signal_specification);
END_TYPE;

TYPE fs_external_identification_item = SELECT BASED_ON external_identification_item WITH
   (Functional_specification);
END_TYPE;

TYPE fs_node_or_terminal = SELECT
   (Functional_unit_network_node_definition,
    Functional_unit_terminal);
END_TYPE;

ENTITY Functional_specification;
  associated_definition : Functional_specification_definition;
  reference_signal : SET[1:?] OF Signal_specification;
  characterizing_functional_unit : Functional_unit;
  characterizing_signal : SET[1:?] OF Signal_specification;
INVERSE
  characteristic_category : External_source_identification FOR item;
WHERE
  WR1: characterizing_functional_unit.composed_network = associated_definition;
END_ENTITY;

ENTITY Functional_specification_definition
  SUBTYPE OF (Functional_unit_network_definition);
INVERSE
  composing_specification : SET[1:?] OF Functional_specification FOR associated_definition;
END_ENTITY;

ENTITY Signal_specification;
  signal_access_mechanism : fs_node_or_terminal;
  reference_access_mechanism : OPTIONAL fs_node_or_terminal;
  minimum_characteristic : OPTIONAL Signal_property;
  maximum_characteristic : OPTIONAL Signal_property;
  characterization_network : Functional_unit_network_definition;
  nominal_characteristic : OPTIONAL Signal_property;
DERIVE
  measurement_condition : SET[1:1] OF Document_definition := get_document_definition(SELF, 'measurement condition', 'SPECIFICATION_DOCUMENT_ARM.TEST_SPECIFICATION');
WHERE
  WR1: EXISTS (minimum_characteristic) OR EXISTS (maximum_characteristic) OR EXISTS (nominal_characteristic);
END_ENTITY;

END_SCHEMA;  -- Functional_specification_arm


© ISO 2018 — All rights reserved