ГОСТ Р ИСО 13584-31—2010
(SI2EOF(USEDIN(SELF, ’АРI_ABS?RACT_SCHEMA’*■
’API_GROUP_ASSIGNMENT.ITEMS’)
> " 1)
) ;
api_yJR2: tree_api_group_structure(SELF) ;
END_EN1I ГУ;
(*
Комментарии к спецификации:
api_WR1:сущности api_group присвоено имя «TDB», и ссылки других сущностей на него нет. либо
именем сущности является пустая строка, и она принадлежит только одной группе api_group;
api_WR2: группы api_groups структурированы в дерево.
6.1.19.2 Сущность api_group_assignment
Сущность api_group_assignmontназначает точки, кривые, поверхности, векторы, направления, ло
кальные координатные системы, заполненные области, тела и группы для некоторой группы api_group.
Спецификация на языке EXPRESS:
•)
ENTITY api_group_assignment
SUBTYPE OF(group_a3sigr.ment);
items : SET [0:?] OF api_grouped_item;
WHERE
api_YJRl: ’AP1_ABSTRACT_SCH£MA.API_GROUP’ IN
TYPEOF (SELF\ group_assignment.assigned_group);
END_ENT1TY;
(*
Определение атрибута:
item: элементы api_grouped_item, назначенные для некоторой группы api_group.
Комментарий к спецификации:
api_WR1: сущность api_group_assignment производит назначения для группы api_group интер
фейса прикладного программирования.
6.1.19.3 Сущность api_set
Сущность api_setсоздает группу для базы данных CAD.
Спецификация на языке EXPRESS.
*>
ENTITY api_set
SUBTYPE OF (group);
WHERE
api_WRl: ( (SELF\group.name - ’VIEW’) AND (USEDIN(SELF, ’’) - TJ) )
OR
( (SELF\group.name <> ’VIEW’) AND
(SI2EOF (USEDIN(SELF,’API_ABSTRACT_SCHEt4A’ f
’API_GROUP_ASSIGNMENT.ITEMS’)
> " 1)
) ;
api_yJR2: tree_api_set_structure (SELI);
END_ENTI ГУ;
(*
Комментарии к спецификации:
api_WR1: либо сущности api_set присвоено имя «VIEW» и никакие другие сущности на него не
ссылаются, либо ее имя отлично от «VIEW» и она принадлежит только одной сущности api_set;
api_WR2: сущности api_set структурированы в дерево.
6.1.19.4 Сущность api_set_assignment
Сущность api_sGt_assignment назначает направления, векторы, локальные координатные систе
мы. точки, кривые, поверхности, заполненные области, тела в полупространстве, результаты булевых
операций, тела и множества интерфейса прикладного программирования api_setдля сущности api_set.
73