ГОСТ Р ИСОТТС10303-1110—2012
EXPRESS-слсиификаиия:
*>
RULE restrict_treatment_result FOR
(representation);
LOCAL
treatment_results: SET OF representation ;= [];
END_LOCAL;
treatment_results:= QUERY( r <* representation |
(r.name =treatment result’));
WHERE
WR1. (SIZEOF( QUERY( r <* treatment_results | (SIZEOF(r.items) >2)
)) =0) AND (SIZEOF( QUERY( r <* treatment_results | (SIZEOF( QUERY(
i <* r.items | NOT
CSURFACE_CONDITIONS MIM.DESCRIPTIVE_REPRESENTATION_ITEM’ IN
TYPEOF(i)))) > 0))) = 0);
WR2: SIZEOF( QUERY( r <* treatment_results | (SIZEOF( QUERY( i<•
r.items |i.name = ’result’ )) = 0))) = 0;
WR3; SIZEOF( QUERY( r <* treatment_results | (SIZEOF( QUERY( i <*
r.items | i.name =’purpose’)) > 1))) = 0;
END_RULE;
Г
Опоедепеиие аргумента
representation — множество всехэкземпляровобъекта representation.
Формальные утверждения
WR1 — в множестве элементовлюбого экземпляра объекта representation, имеющегонаименова
ние ’treatment result’ (результат обработки) должно присутствовать не более двух экземпляров объекта
representationjtem. Эти экземпляры объекта representationJtem должны иметьтипданных descriptive_
represontationjtem
WR2 — только один объект represontationjtem должен иметь наименование ’result’ (результат).
WR3 — недолжносуществоватьболееодногообъекта representationjtem, имеющего наименова
ние ’purpose’ (назначение).
*)
END_SCHEMA; --Surface conditions_mim
Г
27