Статус документа

ГОСТ Р ИСО 10303-46-2002 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 46. Интегрированные обобщенные ресурсы. Визуальное представление

4.8 Определение правила схемы структуры представления

4.8.1 Правило symbol_representation_rule

Правило symbol_representation_rule гарантирует, что объект presentation_representation_relationship, связывающий два примитива symbol_representation, является примитивом symbol_representation_relationship.


EXPRESS-спецификация
*)
RULE symbol_representation_rule
	FOR (presentation_representation_relationship);
WHERE
	WR1 : SIZEOF (QUERY(each_1 <* presentation_representation_relationship \|
			NOT ('PRESENTATION_DEFINITION_SCHEMA.' +
			'SYMBOL_REPRESENTATION_RELATIONSHIP'+IN TYPEOF (each_1)) AND
		(SIZEOF (QUERY(each_2 <* [each_1\representation_relationship.rep_1,
				each_1\representation_relationship.rep_2] \|
		'PRESENTATION_DEFINITION_SCHEMA.SYMBOL_REPRESENTATION'IN
		TYPEOF (each_2)
		))>0)
	)) = 0;
END_RULE;
(*

Формальное утверждение

WR1 - объекты presentation_representation_relationship, не являющиеся примитивами symbol_representation_relationship, не могут быть связаны с примитивами symbol_representations.