ГОСТ Р ИСО 13584-42—2012
Примечание — В рассмотренном выше примере ограничение целостности никак не изменяет смысл
свойства свойства головки, унаследованное от болта/винта с метрической резьбой в винт с шестигранной го
ловкой. Рассматриваемое ограничение явно указывает тот факт, что в контексте подкласса винтов с шестигран
ной головкойдопустимым остается только подмножество значений, допустимых для данного свойства в контексте
класса болтов/винтов с /метрическойрезьбой.
Пример представления на языке EXPRESS:
*>
ENTITY integrity_constraint
SUBTYPE OF (property_constraint);
redefined_domain: domain_constraint;
WHERE
WR1: definition_available_implies (constrained_property.
correct_constraint_type(rede(ined_domain,
constrained_property.definition[1].domain));
END_ENTITY: — integrity_constraint
(*
Определения атрибутов:
redefined_domain: ограничение, накладываемое на область значений ограниченного свойства.
Пояснения к тексту программы:
WR1: повторно определенная область redefined_domain должна задавать область значений, ограничиваю
щую исходную область значений свойства.
F.5.2.7 Ограничение на условия контекста (Context_restriction_constraint)
Сущность context_restriction_constraint — это ограничение свойства property_constraint, накладывающее
условие на допустимую область значений контекстных параметров, от которых зависит рассматриваемое контек
стно-зависимое свойство.
Пример представления на языке EXPRESS:
*)
ENTITY context_restriction_constraint
SUBTYPE OF (property_conslraint);
context_parameter_constraints: SET (1:?] OF property_constraint:
WHERE
WR1: definition_available_implies(constrained_property.
QUERY (cp <*SELF.context_parameter_constraints
I NOT (cp.constrained_property IN
constrained_property.definition[ 1].depends_on))=n):
WR2: QUERY (cp <*SELF.context_parameter_constraints
I NOT ((ISO13584_IEC61360_CLASS_CONSTRAINT_SCHEMA
+’.INTEGRITY_CONSTRAINT ) IN TYPEOF (cp))) =( ];
WR3: definition_availableJmplies(constrained_property.
ISO13584_IEC61360_DICTIONARY_SCHEMA.DEPENDENT_P_DET
INTYPEOF{constrained_property.definition[1]));
END_ENTITY; — context_restriction_constraint
(*
Определения атрибутов:
context_parameter_constraints: ограничение, применимое в области значений контекстных параметров.
Пояснения к тексту программы:
WR1: набор свойств, область значений которого ограничена свойством context_parameter_constraint. дол
жен являться набором контекстных параметров, от которых зависит рассматриваемое ограниченное свойство.
WR2: все ограничения контекстных параметров context_parameter_constraint должныбыть ограничениями
целостности integrity_constraints.
WR3: ограниченное свойство constrained_property должно быть контекстно-зависимым типом данных
property dependent_P_DET.
F.5.2.8 Ограничение области (Domain_cons!raint)
Сущность domain_constraint задает условие, ограничивающее область значений типа данных.
Пример представления на языке EXPRESS:
*)
ENTITY domain_constraint
ABSTRACT SUPERTYPE OF(ONEOF(
subclass_constraint.
entity_subtype_constraint.
enumeration_constraint.
range_constraint,
string_size_constraint.
133