Application module: Functional specification | ISO/TS 10303-1679:2018-11(E) © ISO |
(*
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