ГОСТ Р МЭК 61360-2—2013
Пример представления на языке EXPRESS:
*)
ENTITY categorization_class
SUBTYPE OF<claas>;
categorizatior._clas3_superclasses: SET (0:?] of class_BSU;
WHERE
WR1: QUERY (cl <* SELF. categorization_class_superciasses
:NOT (<’ISO13584_IEC61360_DICTIONARY_SCHEMA’
■»’.CATEGOR12ATION_CLASS’) IN TYPEOF<cl.definition[1])))
- П ;
WR2: NOT EXISTS(SELF\class.its_superclass);
WR3: SI2EOF(SELF\class.described_by) - 0;
WR4: SI2E0F(SELF\clas3.defined_types) - 0;
WR5: SI2E0F(SELFXclass.constraints) - 0;
WR6: S12EOF(compute_knowr._visible_properties
(SELF\dictionary_element.iaer.tified_by)) - 0;
WR7: SI2EOF(SELF\class.sub_class_properties) - 0;
WR8: SI2EOF(SELF\class.class_constant_values) - 0;
WR9: SI2EOF(SELF\class.identified_by.known_visible_properties)
-
0
;
WR10: SI2EOF(SELF\class.identified_by.known_visible_data_types)
-
0
;
END_ENTITY; -- categorization_class
<*
Определения атрибутов.
categorization_class_superclasses: классы категоризаций categorization_class. расположенные
на одну ступень выше данного класса категоризаций в условной иерархии классов.
Пояснения к тексту программы:
WR1: только классы категоризаций categorization_class могут быть суперклассами для
categorization_class.
WR2: categorization_class не должен иметь представительного суперкласса.
WR3: свойства не могут быть ассоциированы с categorization_class.
WR4: типы данных не могут быть ассоциированы с categorization_class.
WR5: ограничения не могут быть ассоциированы с categorization_class.
WR6: catogorization class не может быть классом определения свойства для какого-либо свой
ства.
WR7: свойство подкласса не может быть ассоциировано с catogorization class.
WR8: постоянное значение класса не может быть ассоциировано с catcgorization_class.
WR9: видимое свойство не может быть ассоциировано с catogorization class.
WR10: видимый тип данных не может быть ассоциирован с categorization_class
5.9 Тип элемента данных/данные о свойствах
5.9.1 Общие положения
Данный пункт содержит определения словарных данных для свойств.
5.9.2 BSU свойства (Property_BSU)
Сущность property_BSU дает идентификацию свойства.
Пример представления на языке EXPRESS:
М
ENTITY property_BSU
SUBTYPE OF(basic_semantic_unit>;
SELF\basic_semantic_unit.code:property_code_type;
name_scope: classBSU;
35