ГОСТ Р ИСО/ТС 10303-1289—2012
Модуль «Теория множеств» позволяет устанавливать отношения между классами на языке теории
множеств, включая следующие:
- дополнение:
- пересечение;
- степенное множество;
- собственное подмножество;
- эквивалентность (т.е. равенство);
- подмножоство;
- объединение.
Третье издание ИСО/ТС 10303-1289. соответствующее настоящему стандарту, содержит изменения
ко второму изданию, представленные в приложении F.
Вразделе 1определены областьприменения данного прикладного модуля, егофункциональность и
относящиеся к нему данные. В разделе 3 приведены термины, примененные в настоящем стандарте и
определенные как в настоящем, так и вдругих стандартах. В разделе 4 установлены информационные
требования прикладной предметной области с использованием принятой в нейтерминологии. Графичес-
кое представление информационныхтребований, называемых прикладной эталонной моделью (ПЭМ),
приведено а приложении С. Структуры ресурсов интерпретированы, чтобы соответствовать информацион
нымтребованиям. Результатомданной интерпретации является интерпретированная модель модуля (ИММ).
Данная интерпретация, представленная в 5.1, устанавливает соответствие между информационными тре
бованиями и ИММ. Сокращенныйлистинг ИММ. представленный в 5.2. определяет интерфейск ресурсам.
Графическое представление сокращенноголистинга ИММ приведено в приложении D.
Имя типа данных в языке EXPRESS может использоваться для ссылки на сам тип данныхлибо на
экземплярданных этого типа. Различие в использовании обычнопонятно из контекста. Если существует
вероятность неоднозначноготолкования, то в текст включается фраза «объектный типданных» либо «эк
земпляр^!) объектного типа данных».
Двойные кавычки ("...’)обозначают цитируемый текст, одинарные кавычки (’...’)— значения конкрет
ных текстовых строк.
V