ГОСТ Р ИСО 13584-42—2012
(р IN compute_known_applicab!e_properties<cl))AND
(NOT is_dass_valued_property(p. cl)))<>[ ]))
=П;
WR5: QUERY(ccv <* SELF\dass.class_constant_values
I (ccv.super_class_defined_property
IN SELF.imported_properties)
AND (QUERY(d<*SELF.is_case_of
I all_ctass_descriptions_reachable(cl) AND
(ccv.super_dass_defined_property
IN compute_known_applicable_properties(cl)) AND
(QUERY (v<*class_value_assigned(
ccv.super_class_defmed_property. d)
I v<> ccv.assigned_value) <> ( J))<>[ ]))
=N;
WR6: QUERY(prop <* imported_proparties
I (QUERY(cl<*SELF.is_case_of
Iis_class_valued_property(prop, cl)) <>[ I )
AND NOT is_class_valued_property(prop. SELF.ident>fied_by))
=f):
WR7: QUERY(ccv <* SELF\class.class_constant_values
I QUERY(cl<*SELF.is_case_o(
I (dass_value_assigned
(ccv.super_dass_defined_property. cl) <> [ J)
AND (QUERY(v <* class_vaiue_assigned
(ccv.super_dass_defined_property. cl)
I v <> ccv. assigned_value)<>l ]))<>[])
=tl;
END_ENTITY; — item_class_case_ot
(*
Определения агрибутов:
is_case_of: классы предметов item_class(es), изкоторых комбинируется рассматриваемый класс предметов
item_class.
imported_properties: список свойств, импортированных из классов предметов item_class(es), из которых
комбинируется рассматриваемый класс предметов item_class.
imported_type: набор тип данных, импортированных из классов предметов item_class(es), из которых ком
бинируется рассматриваемый класс предметов item_class.
importedtables: набор базовых семантических единиц таблиц table_BSUs, импортированных из классов
предметов item_class(es), из которых комбинируется рассматриваемый item_class.
imported_document: набор базовых семантических единиц документов document_BSUs. импортированных
из классов предметов item_class(es), из которых комбинируется рассматриваемый item_class.
imported_constraint: набор ограничений свойств property_constraint или идентификаторов ограничений
constraint_id, импортированных из классов предметов item_class(es), из которых комбинируется рассматривае
мый item_class.
П р и м е ч а н и е 2 — В отличие от других импортированных сущностей, импортированные ограничения
imported_constraints не могут быть выбраны при разработке условного класса предметов item_class_case_of.
Указанные ограничения — это все ограничения, наложенные на область значений любого из свойств, определен
ного импортированными свойствами imported_properties в классах атрибута is_case_of. из которых они импор
тированы. Это определено областью применения априорного семантического соотношения a_priori_semantic_
relationship.
Пояснения к тексту программы:
WR1: суперклассом для условного класса предметов item_class_case_of должен быть класс предметов
item_class.
WR2: условный класс предметов item_class_case_of должен быть комбинацией классов предметов item_
class(es).
WR3: свойства подкласса sub_class_properties должны принадлежатьлибо списку описаний described_by.
либо списку импортированных свойств importedproperties.
WR4: все свойства со значением класса, объявленные с помощью свойств подкласса sub_class_properties
(являющихся импортированными свойствами imported_properties), должны быть свойствами со значением клас са
во всех комбинируемых классах, где они применимы.
WR5: значения, заданные импортированному свойству с помощью атрибута значения константы класса
class_constant_value не должны различаться более, чем на возможное значение, заданное для того же самого
свойства в рассматриваемых ссылочных классах.
148