ГОСТ Р МЭК 61360-2—2013
i (ciass_value_assigned
(ccv.super_class_defir.ed_property, cl) о [))
AND (QUERY(v
< “
class_value_assigned
(ccv.super_clas3_defined_property, cl)
!v <> ccv. assigned_value)<>[])) <> [])
- I I ;
END_EN?ITY; — item_clas3_ca3e_of
(*
Определения атрибутов:
is_case_of: классы элементов item_class(es), из которых комбинируется рассматриваемый класс
элементов item_class.
imported_properties: список свойств, импортированных из классов элементов item_class(es), из
которых комбинируется рассматриваемый класс элементов item_class.
imported_types: набор типов данных, импортированных из классов элементов item_class(es). из
которых комбинируется рассматриваемый класс элементов item_class.
importod_tables: набор базовых семантических единиц таблиц table_BSUs, импортированных из
классов элементов item_class(es). из которых комбинируется рассматриваемый item_class.
lmported_documents: набор базовых семантических единиц документов document_BSUs. им
портированных из классов элементов item_class(es), из которых комбинируется рассматриваемый
item_class.
imported_constraints: набор ограничений свойств property_constraint или идентификаторов
ограничений constraintjd. импортированных из классов элементов item_c!ass(es), из которых комби
нируется рассматриваемый item_class.
Примечание 2 — В отличие от других импортированных сущностей, импортированные ограничения
imported_constraints не могут быть выбраны приразработке условногоклассаэлементов Hem_class_case_of.Ука
занные ограничения—это всеограничения, наложенные наобласть значений любого изсвойств,определенногоим
портированными свойствами imported_properties в классах атрибута is_case_of, из которых они импортированы.
Это определено областью применения априорного семантического соотношения a_priori_semantic_relationship.
Пояснения к тексту программы:
WR1: суперклассом для условного класса элементов item_class_case_ofдолжен быть класс эле
ментов item_class.
WR2: условный класс элементов ltem_class_case_of должен быть комбинацией классов элемен
тов item_class(es).
WR3: свойства подкласса sub_class_properties должны принадлежать либо списку описаний
described_by. либо списку импортированных свойств imported_properties.
WR4: все свойства со значением класса, объявленные с помощью свойств подкласса sub_class_
properties (являющихся импортированными свойствами imported_properties), должны быть свойства
ми со значением класса во всех комбинируемых классах, где они применимы.
WR5: значения, заданные импортированному свойству с помощью атрибута значения константы
класса class_constant_value. не должны различаться более чем на возможное значение, заданное для
того же самого свойства в рассматриваемых ссылочных классах.
WR6: все импортированные свойства imported_properties. являющиеся свойствами со значени
ем класса, являющегося условной комбинацией других классов, должны быть свойствами со значени
ем класса в рассматриваемом классе.
WR7: всем импортированным свойствам imported_properties со значением константы класса
class_constant_value из условной комбинации других классов должно быть задано одно и то же значе
ние константы класса class_constant_value в рассматриваемом классе.
8.4 Определения функций стандартной схемы условного класса элементов
IS013584JEC61360_item_class_case_of_schema
8.4.1 Общие положения
Данный подраздел содержит описания функций, на которые производится ссылка в разделах по
месту для подтверждения непротиворечивости данных или для создания ресурсов приложений.
8.4.2 Функция вычисления ограничения известного свойства (Compute_known_property_
constraints)
118