ГОСТ Р ИСО/ТС 10303-1210— 2016
3.4 Термин, определенный в ИСО 10303-1017
В настоящем стандарте применен следующий термин:
- общие ресурсы (common resources).
3.5 Термины, определенные в ИСО 10303-54
В настоящем стандарте применены следующие термины:
- класс (class);
- множество (set).
3.6 Сокращения
В настоящем стандарте применены следующие сокращения:
ПМ — прикладной модуль;
ПЭМ — прикладная эталонная модель:
ИММ — интерпретированная модель модуля;
URL — унифицированный указатель информационного ресурса.
4 Информационные требования
В настоящем разделе определены информационные требования кприкладному модулю «Теория
множеств», которые представлены в форме ПЭМ.
Примечания
1 Графическое представление информационных требований приведено в приложении С.
2 Спецификация отображения определена в 5.1. Она показывает, как удовлетворяются информационные
требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ или импортированных в
схему ИММ прикладного модуля, описанного в настоящем стандарте.
В настоящем подразделе с применением языка EXPRESS дано определение информационных
требований, которым должны соответствовать программные реализации. Ниже представлен фрагмент
EXPRESS-слецификации, с которого начинается описание схемы Sot_theory_arm. В нем определены
необходимые внешние ссылки.
EXPRESS-спеииФикаиия:
*)
SCHEMA Set_theory_arm:
С
4.1 ПЭМ, необходимые для прикладного модуля
Ниже представлены интерфейсные операторы языка EXPRESS, посредством которых задаются
элементы, импортированные из прикладных эталонных моделей других прикладных модулей.
EXPRESS-спеииФикаиия:
*)
USE FROM Class_arm; -- ISO/TS 10303-1070
Г
Примечания
1 Схемы, ссылки на которые приведены выше, определены в следующих документах комплекса ИСО 10303:
Class_arm — ИСО/ТС 10303-1070.
2 Графическое представление этих схем приведено на рисунках С.1 и С.2, приложение С.
3