ГОСТ Р МЭК 61360-2—2013
:NOT (cp.constrained_property IN
constrained_property.definition(1].depends_or.))-(J>;
WR2 :QUERY (cp <*SELF.cor.text_parameter_cor.strair.ts
iNOT (<’ISO13584_IEC61360_CLASS_CONSTRAINT_SCHEMA’
-r*.:NTEGRITY_CONSTRAINT’) IN TYPEOF (cp))) -[];
WR3:defir.ition_available_implie3<constrained_property,
’1S013584_IEC61360_DICTIONARY_SCHEMA.DEPENDENT_P_DET’
INTYPEOF(constrained_property.definition[l]));
ENO_ENTITY; — context_restriction_constraint
(* “
Определения атрибутов.
context_parameter_constraints: ограничение, применимое в области значений контекстных па
раметров.
Пояснения к тексту программы:
WR1: набор свойств, область значений которого ограничена свойством context_parameter_
constraint, должен являться набором контекстных параметров, от которых зависит рассматриваемое
ограниченное свойство.
WR2: все ограничения контекстных параметров context_parameter_constraint должны быть
ограничениями целостности integrity_constraints.
WR3: ограниченное свойство constrained_property должно быть контекстно-зависимым типом
данных property dependont_P_DET.
7.3.9 Ограничение области (Domain_constraint)
Сущность domain_constraint задает условие, ограничивающее область значений типа данных.
Пример представления на языке EXPRESS:
*)
ENTITY domain_constraint
ABSTRACT SUPERTYPE OF(ONEOF(
subclass_constraint,
entity_subtype_constraint,
er.umeration_constraint,
range_constraint,
string_size_constraint,
string_pattern_constraint,
cardinality_constraint
>>;
END_ENTITY; — domain_constraint
(-
7.3.10 Ограничение подкласса (Subciass_constraint)
Сущность subciass_constraint ограничивает область значений типа ссылки на класс class_
reference_type для одного или нескольких подклассов рассматриваемого класса, определяющего ис
ходную область.
Пример представления на языке EXPRESS:
*)
ENTITY subclass_constraint
SUBTYPE OF(domair._con3traint);
subclasses: SET [1:?J OF class_BSU;
END_ENTITY; -- subclass_con3traint
“
Определения атрибутов:
subclasses: базовые семантические единицы класса class_BSUs, переопределяющие данный
класс, которому должны принадлежать значения ограниченного свойства constrainod_property.
100