ISO/TS 10303-1679:2018-11 Functional specification


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
D MIM 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