• Текст документа
  • Статус
Оглавление
Поиск в тексте
Документ в силу не вступил


ГОСТ Р ИСО/ТС 10303-1210-2016

Группа П87

     
     
НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

Системы автоматизации производства и их интеграция

ПРЕДСТАВЛЕНИЕ ДАННЫХ ОБ ИЗДЕЛИИ И ОБМЕН ЭТИМИ ДАННЫМИ

Часть 1210

Прикладной модуль. Теория множеств

Industrial automation systems and integration. Product data representation and exchange. Part 1210. Application module. Set theory



ОКС 25.040.40
ОКСТУ 4002

Дата введения 2018-01-01

     
     
Предисловие

1 ПОДГОТОВЛЕН Обществом с ограниченной ответственностью "Корпоративные электронные системы" на основе собственного перевода на русский язык англоязычной версии стандарта, указанного в пункте 4

2 ВНЕСЕН Техническим комитетом по стандартизации ТК 459 "Информационная поддержка жизненного цикла изделий"

3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 24 ноября 2016 г. N 1758-ст

4 Настоящий стандарт идентичен международному документу ИСО/ТС 10303-1210:2004* "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1210. Прикладной модуль. Теория множеств" (ISO/TS 10303-1210:2004 "Industrial automation systems and integration - Product data representation and exchange - Part 1210: Application module: Set theory", IDT).
________________
* Доступ к международным и зарубежным документам, упомянутым здесь и далее по тексту, можно получить, перейдя по ссылке на сайт http://shop.cntd.ru. - Примечание изготовителя базы данных.


При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов и документов соответствующие им национальные стандарты Российской Федерации, сведения о которых приведены в дополнительном приложении ДА

5 ВВЕДЕН ВПЕРВЫЕ


Правила применения настоящего стандарта установлены в статье 26 Федерального закона от 29 июня 2015 г. N 162-ФЗ "О стандартизации в Российской Федерации". Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе "Национальные стандарты", а официальный текст изменений и поправок - в ежемесячном информационном указателе "Национальные стандарты". В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске ежемесячного информационного указателя "Национальные стандарты". Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (www.gost.ru)

Введение


Стандарты комплекса ИСО 10303 распространяются на компьютерное представление информации об изделиях и обмен данными об изделиях. Их целью является обеспечение нейтрального механизма, способного описывать изделия на всем протяжении их жизненного цикла. Этот механизм применим не только для обмена файлами в нейтральном формате, но является также основой для реализации и совместного доступа к базам данных об изделиях и организации архивирования.

В настоящем стандарте специфицирован прикладной модуль для представления следующих отношений теории множеств:

- дополнение;

- пересечение;

- мощность множества;

- строгое подмножество;

- совпадение элементов множеств (т.е. равенство);

- подмножество;

- объединение.

В разделе 1 настоящего стандарта определены область применения данного прикладного модуля, а также его функциональность и относящиеся к нему данные.

В разделе 3 приведены термины, определенные в других стандартах комплекса ИСО 10303 и примененные в настоящем стандарте.

В разделе 4 установлены информационные требования к прикладной предметной области, используя принятую в ней терминологию.

В приложении С дано графическое представление информационных требований, именуемое прикладной эталонной моделью (ПЭМ). Структуры ресурсов интерпретированы, чтобы соответствовать информационным требованиям. Результатом данной интерпретации является интерпретированная модель модуля (ИММ). Данная интерпретация, представленная в 5.1, устанавливает соответствие между информационными требованиями и ИММ. Сокращенный листинг ИММ, представленный в 5.2, специфицирует интерфейс к ресурсам. Графическое представление сокращенного листинга ИММ приведено в приложении D.

Имя типа данных на языке EXPRESS может использоваться для ссылки на сам тип данных, либо на экземпляр данных этого типа. Различие в использовании обычно понятно из контекста. Если существует вероятность неоднозначного толкования, то в текст включается фраза "объектный тип данных" либо "экземпляр(ы) объектного типа данных".

Двойные кавычки ("...") означают цитируемый текст, одинарные кавычки ('...') - значения конкретных текстовых строк.

1 Область применения


Настоящий стандарт определяет прикладной модуль "Теория множеств". В область применения настоящего стандарта входят:

- дополнение;

- пересечение;

- мощность множества;

- строгое подмножество;

- совпадение элементов множеств (т.е. равенство);

- подмножество;

- объединение.

В область применения настоящего стандарта не входит:

- определение множества или класса.

Примечание - Определение множества или класса входит в область действия прикладного модуля "Class";


- классификация и спецификация полной принадлежности множеству;

- отображения между множествами или классами;

- отношения, не являющиеся отношениями теории множеств.

2 Нормативные ссылки


В настоящем стандарте использованы нормативные ссылки на следующие международные стандарты и документы* (для датированных ссылок следует использовать указанное издание, для недатированных ссылок - последнее издание указанного документа, включая все поправки к нему):
________________
* Таблицу соответствия национальных стандартов международным см. по ссылке. - Примечание изготовителя базы данных.


ISO/IEC 8824-1:2002, Information technology - Abstract Syntax Notation One (ASN.1): Specification of basic notation (Информационные технологии. Взаимосвязь открытых систем. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации)

ISO 10303-1:1994, Industrial automation systems and integration - Product data representation and exchange - Part 1: Overview and fundamental principles (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы)

ISO 10303-11:2004, Industrial automation systems and integration - Product data representation and exchange - Part 11: Description methods: The EXPRESS language reference manual (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS)

ISO 10303-21:2002, Industrial automation systems and integration - Product data representation and exchange - Part 21: Implementation methods: Clear text encoding of the exchange structure (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 21. Методы реализации. Кодирование открытым текстом структуры обмена)

ISO 10303-54, Industrial automation systems and integration - Product data representation and exchange - Part 54: Integrated generic resource: Set theory (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 54. Интегрированные обобщенные ресурсы. Теория множеств)

ISO 10303-202:1996, Industrial automation systems and integration - Product data representation and exchange - Part 202: Application protocol: Associative draughting (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 202. Прикладные протоколы. Ассоциативные чертежи)

ISO/TS 10303-1001:2004, Industrial automation systems and integration - Product data representation and exchange - Part 1001: Application module: Appearance assignment (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1001. Прикладной модуль. Присваивание внешнего вида)

ISO/TS 10303-1017:2004, Industrial automation systems and integration - Product data representation and exchange - Part 1017: Application module: Product identification (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1017. Прикладной модуль. Обозначение изделия)

ISO/TS 10303-1070:2004, Industrial automation systems and integration - Product data representation and exchange - Part 1070: Application module: Class (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1070. Прикладной модуль. Класс)

3 Термины и сокращения

3.1. Термины, определенные в ИСО 10303-1


В настоящем стандарте применены следующие термины:

- приложение (application);

- прикладной объект (application object);

- прикладной протокол; ПП (application protocol; АР);

- прикладная эталонная модель; ПЭМ (application reference model; ARM);

- данные (data);

- информация (information);

- интегрированный ресурс (integrated resource);

- изделие (product);

- данные об изделии (product data).

3.2 Термины, определенные в ИСО 10303-202


В настоящем стандарте применен следующий термин:

- прикладная интерпретированная конструкция; ПИК (application interpreted construct; AIC).

3.3 Термины, определенные в ИСО 10303-1001


В настоящем стандарте применены следующие термины:

- прикладной модуль (application module);

- интерпретированная модель модуля (module interpreted model).

3.4 Термин, определенный в ИСО 10303-1017


В настоящем стандарте применен следующий термин:

- общие ресурсы (common resources).

3.5 Термины, определенные в ИСО 10303-54


В настоящем стандарте применены следующие термины:

- класс (class);

- множество (set).

3.6 Сокращения


В настоящем стандарте применены следующие сокращения:

ПМ - прикладной модуль;

ПЭМ - прикладная эталонная модель;

ИММ - интерпретированная модель модуля;

URL - унифицированный указатель информационного ресурса.

4 Информационные требования


В настоящем разделе определены информационные требования к прикладному модулю "Теория множеств", которые представлены в форме ПЭМ.

Примечания

1 Графическое представление информационных требований приведено в приложении С.

2 Спецификация отображения определена в 5.1. Она показывает, как удовлетворяются информационные требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ или импортированных в схему ИММ прикладного модуля, описанного в настоящем стандарте.


В настоящем подразделе с применением языка EXPRESS дано определение информационных требований, которым должны соответствовать программные реализации. Ниже представлен фрагмент EXPRESS-спецификации, с которого начинается описание схемы Set_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, приложение С.

4.2 Определение объектов ПЭМ


Настоящий подраздел описывает объекты ПЭМ рассматриваемого прикладного модуля. Каждый объект ПЭМ является простейшим неделимым элементом, который моделирует уникальное понятие прикладной области, и содержит атрибуты для представления объекта. Далее приведены объекты ПЭМ и их определения.

4.2.1 Объект Complement

Объект Complement представляет такое отношение между

- множеством ГОСТ Р ИСО/ТС 10303-1210-2016 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1210. Прикладной модуль. Теория множеств,

- множеством U, и

- множеством ГОСТ Р ИСО/ТС 10303-1210-2016 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1210. Прикладной модуль. Теория множеств,

которое показывает, что множество ГОСТ Р ИСО/ТС 10303-1210-2016 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1210. Прикладной модуль. Теория множеств состоит из всех членов множества U, не являющихся членами множества ГОСТ Р ИСО/ТС 10303-1210-2016 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1210. Прикладной модуль. Теория множеств.

EXPRESS-спецификация:

*)

ENTITY Complement;

id: STRING;

name: STRING;

description: STRING;

set_1: Class;

set_2: Class;

universe: Class;

END_ENTITY;

(*


Определения атрибутов:

id - обозначение отношения дополнения, представляемого экземпляром объекта Complement;

name - слово или группа слов, которыми называется отношение дополнения, представляемое экземпляром объекта Complement;

description - текст, содержащий дополнительную информацию об отношении дополнения, представляемом экземпляром объекта Complement;

set_1 - экземпляр объекта Class, для которого экземпляр объекта Class, играющий роль атрибута set_2, представляет множество, являющееся дополнением множества, представленного экземпляром объекта, играющим роль атрибута universe;

set_2 - экземпляр объекта Class, для которого экземпляр объекта Class, играющий роль атрибута set_1, представляет множество, являющееся дополнением множества, представленного экземпляром объекта, играющим роль атрибута universe;

universe - экземпляр объекта Class, представляющий множество, являющееся объединением множеств, представленных объектами, играющими роль атрибутов set_1 и set_2.

4.2.2 Объект Intersection

Объект Intersection представляет такое отношение между:

- множеством R и

- множеством множеств {ГОСТ Р ИСО/ТС 10303-1210-2016 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1210. Прикладной модуль. Теория множеств},

которое показывает, что множество R состоит из элементов, каждый из которых является элементом всех множеств из набора множеств {ГОСТ Р ИСО/ТС 10303-1210-2016 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1210. Прикладной модуль. Теория множеств}.

EXPRESS-спецификация:

*)

ENTITY Intersection;

id: STRING;

name: STRING;

description: OPTIONAL STRING;

operand: SET[2:?] OF Class;

resultant: Class;

END_ENTITY;

(*


Определения атрибутов:

id - обозначение отношения пересечения, представляемого экземпляром объекта Intersection;

name - слово или группа слов, которыми называется отношение пересечения, представляемое экземпляром объекта Intersection;

description - текст, содержащий дополнительную информацию об отношении пересечения, представляемом экземпляром объекта Intersection. Задавать значение этого атрибута не обязательно;

operand - набор экземпляров объекта Class, представляющих множества, результатом пересечения которых является множество, представленное экземпляром объекта, играющим роль атрибута resultant;

resultant - экземпляр объекта Class, представляющий множество, каждый член которого является членом всех множеств, представленных объектами, являющимися элементами агрегатного атрибута operand.

4.2.3 Объект Power_set

Объект Power_set представляет такое отношение между:

- множеством S и

- множеством S*,

которое показывает, что множество S* является множеством всех подмножеств множества S.

EXPRESS-спецификация:

*)

ENTITY Power_set;

id: STRING;

name: STRING;

description: OPTIONAL STRING;

base: Class;

derived: Class;

END_ENTITY;

(*


Определения атрибутов:

id - обозначение отношения мощности множества, представляемого экземпляром объекта Power_set;

name - слово или группа слов, которыми называется отношение мощности множества, представляемое экземпляром объекта Power_set;

description - текст, содержащий дополнительную информацию об отношении мощности множества, представляемом экземпляром объекта Power_set. Задавать значение этого атрибута не обязательно;

base - экземпляр объекта Class, представляющий множество, являющееся объединением множества, представленного объектом, играющим роль атрибута derived.

derived - экземпляр объекта Class, представляющий множество, являющееся множеством всех подмножеств множества, представленного объектом, играющим роль атрибута base.

4.2.4 Объект Proper_subset

Объект Proper_subset представляет такое отношение между

- множеством А и

- множеством В,

которое показывает, что:

- каждый член множества А является также членом множества В и

- множество А не равно множеству В.

EXPRESS-спецификация:

*)

ENTITY Proper_subset;

id: STRING;

name: STRING;

description: OPTIONAL STRING;

subset: Class;

superset: Class;

END_ENTITY;

(*


Определения атрибутов:

id - обозначение отношения строгого подмножества, представляемого экземпляром объекта Proper_subset;

name - слово или группа слов, которыми называется отношение строгого подмножества, представляемое экземпляром объекта Proper_subset;

description - текст, содержащий дополнительную информацию об отношении строгого подмножества, представляемого экземпляром объекта Proper_subset. Задавать значение этого атрибута не обязательно;

subset - экземпляр объекта Class, представляющий множество, содержащее только члены множества, представленного экземпляром объекта, играющим роль атрибута superset;

superset - экземпляр объекта Class, представляющий множество, содержащее все члены множества, представленного экземпляром объекта, играющим роль атрибута subset.

4.2.5 Объект Same_membership

Объект Same_membership представляет такое отношение между

- множеством А и

- множеством В,

которое показывает, что множества состоят из одних и тех же членов, т.е. множества равны.

EXPRESS-спецификация:

*)

ENTITY Same_membership;

id: STRING;

name: STRING;

description: OPTIONAL STRING;

set_1: Class;

set_2: Class;

END_ENTITY;

(*


Определения атрибутов:

id - обозначение отношения, представляемого экземпляром объекта Same_membership;

name - слово или группа слов, которыми называется отношение, представляемое экземпляром объекта Same_membership;

description

Доступ к полной версии этого документа ограничен

Текст документа вы можете получить на ваш адрес электронной почты, заказав бесплатную демонстрацию систем «Кодекс» и «Техэксперт».

Что вы получите:

После завершения процесса оплаты вы получите доступ к полному тексту документа, возможность сохранить его в формате .pdf, а также копию документа на свой e-mail. На мобильный телефон придет подтверждение оплаты.

При возникновении проблем свяжитесь с нами по адресу uwt@kodeks.ru

ГОСТ Р ИСО/ТС 10303-1210-2016 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1210. Прикладной модуль. Теория множеств

Название документа: ГОСТ Р ИСО/ТС 10303-1210-2016 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1210. Прикладной модуль. Теория множеств

Номер документа: ИСО/ТС 10303-1210-2016

Вид документа: ГОСТ Р

Принявший орган: Росстандарт

Статус: Документ в силу не вступил

Опубликован: Официальное издание. М.: Стандартинформ, 2016 год
Дата принятия: 24 ноября 2016

Дата начала действия: 01 января 2018
Информация о данном документе содержится в профессиональных справочных системах «Кодекс» и «Техэксперт»
Узнать больше о системах