ГОСТ Р ИСО 10303-41—2022
specific_relation :STRING) :BOOLEAN;
LOCAL
x : SET OF location_relationship;
END_LOCAL;
IF relation.relating_location IN relatives THEN
RETURN (FALSE);
END_IF;
x := QUERY(lctn <*
bag_to_set(USEDIN(relation.relating_location, ’LOCATION_SCHEMA.’+
’LOCATION_RELATIONSHIP.’ + ’RELATED_LOCATION’)) |
specific_relation IN TYPEOF(lctn));
REPEAT i := 1 TO HIINDEX(x);
IF NOT acyclic_location_relationship(x[i], relatives +
relation.relating_location, specific_relation) THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
RETURN (TRUE);
END_FUNCTION;
(*
"
Определения параметров:
relation — (входной) проверяемый экземпляр представляющего отношение между местоположе
ниями объекта location_relationship;
relatives — (входной) набор представляющих местоположения объектов location. Функция про
веряет, есть ли среди данного набора экземпляры, играющие роль атрибута relatingjocation объекта
location_relationship, играющего роль параметра relation;
specific_relation — (входной) полное квалифицированное наименование подтипа представляю
щего отношение между местоположениями объекта location_relationship.
*)
END_SCHEMA; -- location_schema
(* "
18 Схема Management resources (ресурсы управления)
18.1 Общие положения
Предметом схемы management_resources_schema является связь управленческих данных с
другими аспектами данных об изделии в определенных контекстах прикладных предметных областей. В
настоящем разделе с помощью языка EXPRESS, определение которого содержится в ИСО 10303-11,
определены информационные требования, которые должны выполняться программными реализация ми.
Далее представлен фрагмент EXPRESS-декларации, с которой начинается описание схемы man-
agement_resources_schema. В нем определены необходимые внешние ссылки.
Короткие имена объектов, определения которых содержатся в настоящей схеме, приведены в
приложении А. Однозначное определение настоящей схемы приведено в приложении В.
EXPRESS-спеииФикаиия:
*)
SCHEMA management_resources_schema;
REFERENCE
REFERENCE
FROM action_schema; — ISO 10303-41
FROM application_context_schema-- ISO 10303-41
ISO 10303-41
— ISO 10303-41
(library_context);
REFERENCE FROM approval_schema;—
REFERENCE FROM basic_attribute_schema
(get_role,
98