ГОСТ Р МЭК 61360-2—2013
SELF\dictionary_elemer.t.ider.tified_by);
kr.owr._applicable_data_types:SET [0:?] OF data_type_BSU
compute_known_applicable_data_types(
SELF\dictionary_eleroer.t.ider.tified_by>;
knowr._property_constraints:SET (£):?] OF property_constraint
compute_known_property_cor.straints(
[SELF\dictior.ary_eleinent.identified_by]);
INVERSE
associated items:SET [0:?] of class_BSU_relatior.ship
FOR reiating_clas3;
WHERE
WR1: acyclic_superclass_relatior.ship<S£LF. identified_by, ’]>»
WR2: NOT all_class_descriptions_reachable(
SELF\dictionary_element.identified_by)
OR (list_to_set(SELF.described_by) <-
SELF\dictionary_element.identified_by
\class_SSU.known_visibie_properties);
WR3: NOT alI_class_descriptions_reachable(
SELF\dictionary_element.identified_by)
OR <SELF.defir.ed_types <-
S£LF\dictionary_element.identified_by
\class_BSU.known_visible_data_types);
WR5 :NOT alI_class_descriptior.s_reachable (
SELF\dictionary_element.identified_by)
OR {QUERY (cdp <* described_by
: (S12EOF (cdp\basic_semantic_unit.definition)«-1)
AND (<•ISO13584_IEC6L360_DICTlONARY_SCHEMA’
♦*.DEPENDLNT_P_DET•) IN TYPEOF
(cdp\basic_semantic_unit.definition(11>)
AND*NOT
(cdp\basic_3emantic_unit. definition(11.depends_on
<- knowr._applicable_properties))-(]);
WR6:check_datatypes_applicability{SELF);
WR7: QUERY (сопз <* constraints
»<*IS0135841EC61360_CLASS_CONS TRAINT_SCHEMA’
♦’.1NTEGRITY_C0NSTRA1NT’ IN TYPEOF (cons))
AND (SI2EOF (cons\property_constraint.constrained_property
.definition) -I)
AND NOT correct_constraint_type{
cons\integrity_constraint.redefined_domain,
cons\property_cor.strair.t.constrained_property
.definition(1}.domain)) - (];
WR8:QUERY (cons <* constraints
:((1ISO13584_IEC61360_CLASS_CONSTRAlNT_SCHEMA.’
.CONFIGURATION_CONTROL_CONSTRAlNT’) IN TYPEOF (cons))
AND NOT correct_precor.dition (cons, SELF)) - (},•
WR9: NOT all_cIass_descriptions_reachable(
SELF\dictionary_element.identified_by)
OR {QUERY (cons <* constraints
.((*ISO13584_IEC6i360_CLASS_CONSTRAlNT_SCHEMA’
♦*.PROPERTY_CONSTRAINT’) IN TYPEOF (cons))
AND NOT
((cons\property_constraint.constrained_property
INSELF\dictionary_element.identified_by
\class_BSU.known_visible_properties)
OR (cons\property_constrair.t.constrained_property
IN knownapplicablejproperties)))*-[));
WR10: (S12EOF(QUERY (lab <* keywords
(’13013584 IEC61363 DICTIONARY SCHEMA’
29