ГОСТ Р ИСО 10303-55—2015
EXPRESS-споцификаиия:
*)
ENTITY procedural_solid_representatior._sequence
SUBTYPE OF (procedural_shape_representation_seqcence);
WHERE
WR1 : ’GEOMElRIC_MOOEL_SCHEMA.SOLi:>_MODEL’ IN TYPEOF(SELF);
END_ENTI1Y;
<*
Формальное утверждение
WR1 - список типов данных экземпляра объекта procedural_solid_representation_ sequence
должен содержать объект solid_model.
Неформальное утверждение
IP1 - операции, указанные в экземпляре объекта procedural_solid_representation_ sequence,
должны относится к созданию или модификации объемной модели, а результат последней операции
данной последовательности должен интерпретироваться как экземпляр объекта solid_model.
5.4.6 Объект procodural_surface_representation_sequence
Объект procedural_surface_representation_sequence является подтипом объекта procodur-
al_shape_representation_sequence, который представляет модель поверхности. В его списке типов
данных должен присутствовать один из объектных типов данных, указанных в списке выбора объекта
surface_model, определенного в ИСО 10303-42. а именно sholl_based_surface_model или
face_based_surface_model.
EXPRESS-спеиификация:
*>
ENTITY procedural_surface_representation_3equence
SUBTYPE OF (procedural_shape_representation_sequence);
WHERE
WR1 : (’GECMETRIC_MODEL_SCHEMA.FACE_BASEO_SURFAC£_MOI>EL’ IN TYPEOF(SELF))
XOR
(’GEOMETRICJ*300EL_SCHEI-1A.SHELL_BASEO_SURFAC£_MODEL’ IN TYPEOF (SELF));
END_ENTITY;
Г
Формальное утверждение
WR1 - список объектных типов данных экземпляра объекта procedural_surface_ representa-
tionsequcnccдолженсодержатьобъектshell_based_surface_modelили
face_based_surface_model.
Неформальное утверждение
IP1 - операции, указанные в экземпляре объекта procedural_surface_representation_ sequence,
должны относится к созданию или модификации модели поверхности, а результат последней опера
ции данной последовательности должен быть согласован с типом модели поверхности, указанном в
списке типов данных родительского экземпляра.
5.4.7 Объект procedural_wireframe_representatlon_sequence
Объект procedural_wireframe_represontation_sequence является подтипом объекта procedur-
al_shape_representation_sequence, который представляет каркасную модель. В его списке типов дан
ных должен присутствовать один из объектных типов данных, указанных в списке выбора объекта
wireframe_model. определенного в ИСО 10303-42. а именно shell_based_wireframe_model или
edgo_based_wireframe_model.
EXPRESS-спеиификация:
*>
ENTITY procedural_wireframe_representation_sequence
SUBTYPE OF (procedural_shape_representation_sequence);
WHERE
WR1 : <’GEOMETRIC_MODEL_SCHEMA.EDGE_BAS£D_WIREFRAM£_MOLEL’ IN
TYPEOF(SELF))
XOR
(’GEOMETRIC_MOOEL_SCHEMA.SHELL_BASED_WlREFRAME_MODEL’ IN
21