ГОСТ Р ИСО/ТС 10303-1091—2009
Далее представлен фрагмент EXPRESS-спецификации. с которого начинается описание схемы
Maths_space_arm. В нем определены необходимые внешние ссылки.
EXPRESS-спецификаиия
•)
SCHEMA Maths_space_arm;
С
4.1 Прикладные эталонные модели, необходимые для прикладного модуля
Далее представлены интерфейсные операторы языка EXPRESS, посредством которых задаются
элементы, импортируемые из прикладных эталонных моделей других прикладных модулей.
EXPRESS-спецификаиия
*)
FROM Maths_value_arm; - ISO/TS 10303-1092
Г
П р и м е ч а н и я
1 Вышеупомянутую схему можно найти в следующей части стандарта комплекса ИСО 10303:
Mams_value_arm в 1SO/TS 10303-1092
2 Графическое представление этой схемы см. рисунки С.1 и С.2. приложение С.
4.2 Определение типа данных прикладной эталонной модели
В данном подразделе приведен типданных ПЭМ для рассматриваемого прикладного модуля. Тил
данных ПЭМ и его определение описаны ниже.
4.2.1 Тип данных maths_value_including_maths_spaco
Объект maths_space также включен в тип данных maths_value.
EXPRESS-спецификаиия:
*)
TYPE maths_value_inc!uding_maths_space = EXTENSIBLE SELECT BASED_ON maths_value WITH
(Maths_space);
END_TYPE:
(*
4.3 Определения объектов прикладной эталонной модели
Настоящий подраздел описывает объекты ПЭМ рассматриваемого прикладного модуля. Каждый
объект ПЭМ является простейшим неделимым элементом, который моделирует уникальное понятие
прикладной области и содержит атрибуты для представления объекта. Далее приведены объекты
ПЭМ и их определения.
4.3.1 Объект maths_space
Объект maths_space представляет множество элементов, на котором определены математичес
кие функции.
П р и м е ч а н и е — Более подробно атрибуты объекта maths_space описаны в ИСО 10303-50 и в настоя
щем стандарте не представлены.
Для объекта maths_spaco установлены следующие подтипы:
Elementary_maths_space: устанавливает элементарное математическое пространство и явля
ется объектом maths_space. представляющим множество элементов, состоящее только из одного из
следующих типов чисел:
- действительных чисел;
- целых чисел;
- булевских значений;
- комплексных чисел.
Finlte_space: устанавливает конечное пространство и является объектом maths_space. пред
ставляющим конечное множество точно определенных математических значений.
Integerjnterval: устанавливает целочисленный интервал и является объектом maths_space,
представляющим множество целыхчисел, ограниченное либо сверху, либо снизу, либо сверху и снизу.
з