ГОСТ Р ИСО 13584-42—2012
Пример — Сопротивление термистора зависит от наружной температуры. Сопротивление тер
мистора должно быть представлено как dependent^_DET, а наружная температура термистора —
это condition_DET.
Пример представления на языке EXPRESS:
*>
ENTITY dependent_P_DET
SUBTYPE OF (propertyJDET);
depends_on: SET [1:?JOF property_BSU:
WHERE
WR1: QUERY {p <* depends_on | NOT (definit*on_available_imp!ies (
p. ( ISO13584JEC61360_DICTIONARY_SCHEMA.CONDITION_DET
INTYPEOF(p.definition (1)))))) = [ ]:
END_ENTITY; — dependent_P_DET
(*
Определения атрибутов:
depends_on: набор базовых семантических единиц, идентифицирующих свойства, от которых зависит дан
ное свойство.
Пояснения к тексту программы:
WR1: только условные типы элементов данных condition_DET могут использоваться в наборе depends_on.
F.3.7.3.3 Независимые типы элементов данных свойств (Non_dependent_P_DET)
Сущность non_dependent_P_DET — это свойства, не зависящие явно от некоторых условий.
Пример представления на языке EXPRESS:
*)
ENTITY non_dependent_P_DET
SUBTYPE OF (properly_DET);
END_ENTITY; — non_dependent_P_DET
(’
П р и м е ч а н и е 1— Три указанных подтипа (condition_DET, dependent_P_DET и non_dependent_P_
DET) сущности property_DET используются для кодирования различных видов свойств (см. раздел 7). Сущность
condition_DET используетсядля контекстных параметров. Сущность dependent_P_DET используетсядля контек
стно-зависимых характеристик. Сущность non_dependent_P_DET используется для характеристики продукта.
П р и м е ч а н и е 2 — Атрибут depends_on сущности dependent_P_DET используется для кодирования
атрибута «Условие» для свойств.
F.3.7.4 Задание значений класса (Class_value_assignment)
Свойства, имеющие значение класса. —это свойства, значение которых не может быть назначено индивидуаль
но для реализациикласса. Оно гложетбыть назначенотолькодля всехреализаций, принадлежащихклассу. Такиесвой
ства объявляются путем их включения всписок свойств подкласса sub_class_properties сущности rtem_class
Затем такому свойству можетбыть заданозначение, верноедля всех реализаций любого класса предметов item_class,
явля ющегося подклассом для класса, где объявлено рассматриваемое свойство, имеющее значение класса, или в
самом этом классе. Значение свойства, имеющего значение класса, задается для класса предметов rtem_class с
помощью атрибута class_value_assignrr»ent на который производится ссылка атрибутом class_constant_value
данного класса.
При меча ние — Свойства, имеющие значение класса, могут относиться к любому типу данных.
Пример представления на языке EXPRESS:
*)
ENTITY dass_value_assignment;
super_dass_defined_property: property_BSU:
assigned_value: primitive_value;
WHERE
WR1: definition_available_implies (super_class_defined_property,
compatible_data_type_and_value (super_class_defined_property.
definition [1]\property_DET.domain. assigned_vakje));
END_ENT!TY; — class_value_assignment
(*
Определения атрибутов:
super_class_defined_property: ссылка на свойство (определенное в классе или в любом его суперклассе,
как принадлежащее набору sub_class_properties), которому задается значение assigned_value.
assigned_value: значение, заданное свойству, корректному для целогокласса, ссылающегося на рассматри
ваемую реализацию class_value_assignment набора class_constant_value, и для всех его подклассов.
Пояснения к тексту программы:
WR1: тип значения, заданного свойству, определенному в суперклассе super_class_defined_properties,
должен быть совместим с областью значений свойств super_class_defined_properties.
85