ГОСТ Р ИСО 10303-55—2015
было отмечено выше, если процедурная или гибридная модель передается как одна из составляю щих
двойственной модели, то сопровождающая ее явно заданная модель может использоваться в
качестве основы для сравнения с восстановленной явно заданной моделью, сгенерированной в при
нимающей системе с тем. чтобы убедиться, что обмен прошел успешно. Если процедурные или ги
бридные модели, выраженные в формате ИСО 10303. используются для целей архивирования, то
ожидается, что после их передачи из архива в прикладную систему они будут аналогичным образом
восстановлены.
4.2.9 Параметрические разновидности процедурных и гибридных моделей
Объектный тип данных variational_reprosentation определен в ИСО 10303-108 как подтип объ
екта representation, который содержит параметры и ограничения, смоделированные в явном виде.
Данное представление может рассматриваться как связь явно заданной модели «текущий результат»
с теми параметрами и ограничениями, которые после передачи могут редактироваться в соответ
ствии с исходными намерениями разработчика. В противоположность этому, параметры в процедур
ной модели могут рассматриваться как входные аргументы конструкционных операций, а любые
ограничения при этом являются неявными (если только они не встречаются в гибридных элементах,
представленных в явном виде). Однако можно также связать явно заданные параметры и ограниче
ния, определенные в ИСО 10303-108, с элементами из файла обмена, обеспечивающими необходи
мую информацию для определения операций из последовательностей операций процедурной или
гибридной модели. Пример этого приведен в Е.З. В данном случае требуется (правилом WHERE для
variational_representation_item. определенным в ИСО 10303-108), чтобы результирующее проце
дурное представление имело дополнитеный объектный тип данных variational_representation. Теку
щий результат может иметь как процедурную, так и явно выраженную реализацию, к первой из кото
рых относится процедурное представление, обработанное с текущими значениями всех входных ар
гументов. а ко второй (в случае, когда передается двойственная модель) - соответствующая явно
заданная модель. Обе реализации в принципе эквивалентны в том смысле, что вторая реализация
является результатом обработки первой. При реализации данного подхода параметрическое пред
ставление должно быть связано со своим явно заданным текущим результатом через процедурную
форму, как показано в Е.З.
4.3 Определение объектов процедурной модели
4.3.1 Объект explicft_procedural_representation_relationship
Объектexplicit_procedural_representation_relationshipявляетсяподтипомобъекта
reprosentation_relationship. определенного в ИСО 10303-43. который устанавливает связь между
процедурным или гибридным представлением и соответствующим явно заданным представлением,
называемым «текущий результат». Процедурное представление по существу является параметриче
ским. представляющим семейство моделей. Поэтому явно заданная модель текущего результата
рассматривается как представительный пример модели из данного семейства, демонстрирующий
некоторые аспекты намерений разработчика при ее построении. Правило WHERE определено для
обеспечения того, чтобы указанное в нем явно заданное представление имело некоторый полностью
явно заданный тип данных, не являющийся типом данных procedural_representation или variation-
alRepresentation.
EXPRESS-спецификация:
")
ENTITY explicit_procedural_representstion_relationship
SUBTYPE OK (representation_relationship);
SELF\representation_relationship.rep_l : procedural_representation;
WHERE
WR1 : (NOT <’PROC£DURAI._MODEU_SCHEMA.PROCEDURALREPRLSENTATION’
IN TYPEOE(SELE\representation_relatior.ship. rep_2))) ANО
(MOT (’VARIATIQNAL_REPR£SENTATION_SCHEMA.VARIATIONAL_REPRESENTATION’
IN TYPEOF(SELF\representation_relatior.ship. rep_2>));
V1R2 : SELE\representation_relatior.ship.rep_l.context_of_items
SELP\representation_relationship.rep_2.context_of_item3;
END_ENTITY;
(*
"
Определения атрибутов
SELF\representation_relationship.rep_1 - процедурное представление, определяющее пара-
10