allgosts.ru25.040 Промышленные автоматизированные системы25 МАШИНОСТРОЕНИЕ

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

Обозначение:
ГОСТ Р ИСО 10303-54-2011
Наименование:
Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 54. Интегрированные обобщенные ресурсы. Классификация и теория множеств
Статус:
Действует
Дата введения:
08.01.2012
Дата отмены:
-
Заменен на:
-
Код ОКС:
25.040.40

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


ГОСТ Р ИСО 10303-54-2011



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

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

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

Часть 54

Интегрированные обобщенные ресурсы. Классификация и теория множеств

Industrial automation systems and integration. Product data representation and exchange. Part 54. Integrated generic resources. Classification and set theory

ОКС 25.040.40

Дата введения 2012-08-01

Предисловие

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

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

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

4 Настоящий стандарт идентичен международному стандарту ИСO 10303-54:2005* "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 54. Интегрированные обобщенные ресурсы. Классификация и теория множеств" (ISO 10303-54:2005 "Industrial automation systems and integration - Product data representation and exchange - Part 54: Integrated generic resource: Classification and set theory", IDT).

________________

* Доступ к международным и зарубежным документам, упомянутым в тексте, можно получить, обратившись в Службу поддержки пользователей. - .

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

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

6 ПЕРЕИЗДАНИЕ. Март 2020 г.

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

Введение

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

Настоящий стандарт входит в серию интегрированных обобщенных ресурсов и определяет:

- схему классификации (classification_schema) и

- схему теории множеств (set_theory_schema).

Настоящий стандарт специфицирует прикладные ресурсы для представления классов или множеств и отношений классификации. Также настоящий стандарт обеспечивает представление следующих отношений теории множеств:

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

- пересечение множеств;

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

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

- равенство множеств (отношение между множествами, состоящими из одних и тех же элементов);

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

- объединение множеств.

Соотношения схем, специфицированных в настоящем стандарте с другими схемами, специфицированными в других частях серии интегрированных обобщенных ресурсов ИСО 10303, показаны на рисунке 1 с помощью нотации EXPRESS-G. Описание EXPRESS-G установлено в ИСО 10303-11, приложение D.


Рисунок 1 - Отношения между схемами по ИСО 10303-54

Следующие схемы, показанные на рисунке 1, не определены в настоящем стандарте:

- group_schema определена в ИСО 10303-41;

- management_resources_schema определена в ИСО 10303-41;

- support_resource_schema определена в ИСО 10303-41.

Схемы, показанные на рисунке 1, входят в интегрированные обобщенные ресурсы.

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

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

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

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

- отношения классификации между классом или множеством и элементом класса или множества;

- полного перечисления элементов класса или множества;

- теоретико-множественных отношений между классами или множествами;

- следующих теоретико-множественных отношений:

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

- эквивалентности;

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

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

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

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

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

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

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

- отношения, которые не являются теоретико-множественными отношениями или отношениями классификации;

- сущности и отношения, свойственные только для непрерывных множеств.

Примечания

1 Все объекты и отношения, специфицированные в настоящем стандарте, в равной мере применимы как к дискретным, так и к непрерывным множествам.

2 Объекты и отношения, используемые для представления непрерывных множеств, могут быть созданы в аннотированных EXPRESS-схемах, в которых, определенные в настоящем стандарте объекты используются или уточняются следующим образом:

- непересекающимися подтипами объекта class_by_intension могут быть объекты discrete_class_by_intension и continuous_set;

- непересекающимися подтипами объекта continuous_set могут быть объекты open_set и closed_set;

- отношением между объектом open_set и объектом closed_set, играющим роль его атрибута boundary (граница) может быть объект closure.

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

В настоящем стандарте использованы нормативные ссылки на следующие стандарты. Для датированных ссылок применяют только указанное издание ссылочного стандарта, для недатированных - последнее издание (включая все изменения).

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

____________________

Заменен на ISO/IEC 8824-1:2015.

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-41:2005, Industrial automation systems and integration - Product data representation and exchange - Part 41: Integrated generic resource: Fundamentals of product description and support (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 41. Интегрированные родовые ресурсы. Основополагающие принципы описания и сопровождения изделия)

____________________

Заменен на ISO 10303-41:2019.

3 Термины и определения

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

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

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

3.2 Прочие термины и определения

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

3.2.1 множество, класс (set, class): Совокупность или набор определенных и различимых между собой элементов, рассматриваемых как единое целое.

Примечания

1 Множество, заданное перечислением его элементов, - это "класс, заданный экстенсионально".

2 Множество, заданное с помощью абстрактных свойств, которыми обладают его элементы, не содержащих перечисление элементов этого множества, - это "класс, заданный интенсионально".

4 Схема классификации

Далее представлен фрагмент EXPRESS-спецификации, с которого начинается описание схемы classification_schema. В нем определены необходимые внешние ссылки.

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

*)

SCHEMA classification_schema;

REFERENCE FROM group_schema - - ISO 10303-41 (group);

REFERENCE FROM management_resources_schema - - ISO 10303-41

(classification_assignment);

(*

Примечания

1 Схемы, ссылки на которые даны выше, можно найти в следующих стандартах комплекса ИСО 10303:

group_schema в ИСО 10303-41

management_resources_schema в ИСО 10303-41

2 Графическое представление этих схем, см. рисунки D.1 и D.2 приложения D.

4.1 Введение

В схеме дается определение понятий "класс" и "отношения классификации между классом и членом класса".

4.2 Основные понятия и допущения

Для многих различных типов объектов, определенных в ИСО 10303, экземпляр может поддерживать класс или множество предметов. Тот факт, что экземпляр поддерживает класс или множество предметов, может быть явно задан созданием составного экземпляра следующих объектных типов данных:

- объектного типа данных "класс", определенного в настоящем стандарте, и

- другого объектного типа данных, определенного в ИСО 10303.

Для экземпляра объектного типа "класс" могут быть заданы его члены. Экземпляр объектного типа данных "класс" может участвовать в таких отношениях, как объединение или пересечение, с другими экземплярами объектного типа "класс".

Примечание - Экземпляры специфицированных в ИСО 10303-41 объектных типов product (изделие) product_definition_formation (версия изделия) и product_definition (описание изделия) могут быть классами. Для того чтобы обеспечить возможность задания между этими классами теоретико-множественных отношений, в прикладном протоколе или прикладном модуле может быть специфицирован подтип следующих объектов:

- product_definition_formation (версия) изделия, специфицированный в ИСО 10303-41, и

- class (класс), специфицированный в настоящем стандарте.

Примеры

1 Насос модели "XYZ_123" представлен экземплярами объектов product_definition_formation (версия изделия) и class (класс). Данный класс - это class_by_extension (класс, заданный экстенсионально).

2 Множество насосов, перечисленных в договоре на техническое обслуживание "98/1234", представлены экземпляром объекта class (класс). Данный класс - это class_by_intension (класс, заданный интенсионально).

3 Отношение между образцом насоса "Х/85/4567" и моделью насоса "XYZ_123", которой обозначена модель насоса, - это отношение классификации.

4 Отношение между образцом насоса "Х/85/4567" и набором насосов, перечисленных в договоре на техническое обслуживание "98/1234", в котором указано, что данный образец насоса входит в множество насосов, перечисленных в договоре, - это отношение классификации. Полное множество насосов, указанных в договоре, может быть задано с помощью экземпляра объекта complete_membership (полный состав).

5 Множество насосов, которые как упоминаются в договоре на техническое обслуживание "98/1234", так и являются насосами модели "XYZ_123", может быть задано теоретико-множественным отношением пересечения.

4.3 Определения типов данных схемы classification_schema

4.3.1 Тип данных classification_select

Тип данных classification_select представляет собой расширяемый список альтернативных именованных типов данных. Настоящий тип данных обеспечивает механизм для ссылок на экземпляры типов данных, входящих в состав тех именованных типов данных, которые расширяют тип classification_select.

Примечание - Для того чтобы обеспечить уверенность в том, что для объектов, ссылающихся на пустой расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в прикладных модулях, использующих этот тип данных, требуется его расширение.

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

*)

TYPE classification_select = EXTENSIBLE SELECT;

END_TYPE;

(*

4.3.2 Тип данных complete_membership_select

Тип данных complete_membership_select представляет собой расширяемый список альтернативных именованных типов данных. Настоящий тип данных обеспечивает механизм для ссылок на экземпляры типов данных, входящих в состав тех именованных типов данных, которые расширяют тип complete_membership_select.

Примечание - Для того чтобы обеспечить уверенность в том, что для объектов, ссылающихся на пустой расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в прикладных модулях, использующих этот тип данных, требуется его расширение.

Тип данных complete_membership_select отображает некоторый предмет, для которого задано то, что он является членом множества, заданного явным перечислением,

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

*)

TYPE complete_membership_select = EXTENSIBLE SELECT;

END_TYPE;

(*

4.4 Определения объектов схемы classification_schema

4.4.1 Объект class

Класс - это разновидность группы, являющейся множеством.

Примечания

1 Определение термина "множество" приведено в 3.2.1. В настоящем стандарте термины "множество" и "класс" являются синонимами.

2 Смысл этого объекта идентичен:

объекту class, специфицированному в ИСО 10303-214 [1], и

объекту class, специфицированному в ИСО 15926-2 [2].

3 Класс может состоять из всех предметов, обладающих определенным набором свойств. Следовательно, с классом может быть связана информация, необходимая для определения того, обладает ли предмет этим набором свойств. Если предмет классифицируется как член такого класса, то может быть выведен набор свойств, которыми обладает такой предмет.

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

5 Различие между объектами class_by_extension и class_by_intension может быть нечетким. Например, множество изделий, образующих изготовленную партию изделий, может рассматриваться как первый, так и второй из упомянутых объектов. Объектный тип class не специфицирован как абстрактный, следовательно, при разработке прикладного протокола или прикладного модуля может быть принято решение игнорировать это различие.

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

*)

ENTITY class

SUBTYPE OF (group);

END_TYPE;

(*

4.4.2 Объект class_by_extension

Объект class_by_extension (класс, заданный экстенсионально) отображает класс, заданный явным перечислением всех его элементов.

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

*)

ENTITY class_by_extension

SUBTYPE OF (class);

END_TYPE;

(*

4.4.3 Объект class_by_intension

Объект class_by_intension (класс, заданный интенсионально) отображает разновидность класса, заданного с помощью набора свойств, которыми обладают его элементы. Предмет является членом множества (класса), если этот предмет удовлетворяет всем таким свойствам.

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

*)

ENTITY class_by_intension

SUBTYPE OF (class);

END_TYPE;

(*

4.4.4 Объект classification

Объект classification (классификация) - это подтип объекта classification_assignment, используемый для задания такого отношения между множеством и предметом , которое показывает, что предмет является элементом множества .

Примечание - По смыслу этот объект идентичен объекту classification, специфицированному в ИСО 15926-2 [2].

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

*)

ENTITY classification

SUBTYPE OF (classification_assignment);

classified : classification_select;

DERIVE

classifier : class := SELF\classification_assignment.assigned_class;

END_TYPE;

(*

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

classified: элемент класса, играющего роль атрибута classifier.

classifier: класс, элементом которого является предмет, играющий роль атрибута classified.

4.4.5 Объект complete_membership

Объект complete_membership (полное членство) - это подтип объекта classification_assignment, отображающий такое отношение между множеством и перечисленными предметами , которое определяет, что содержит каждый из предметов и ничего более.

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

*)

ENTITY complete_membership

SUBTYPE OF (classification_assignment);

DERIVE

containing_set : class :=

SELF\classification assignment.assigned_class;

END_TYPE;

(*

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

containing_set: класс, который содержит члены и ничего более.

4.4.6 Объект complete_membership_of_empty_set

Объект complete_membership_of_empty_set (полное членство пустого множества) - это такой подтип объекта complete_membership, для которого множество, играющее роль атрибута containing_set, является пустым.

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

*)

ENTITY complete_membership_of_empty_set

SUBTYPE OF (complete_membership);

END_TYPE;

(*

4.4.7 Объект complete_membership_of_non_empty_set

Объект complete_membership_of_non_empty_set (полное членство непустого множества) - это такой подтип объекта complete_membership, для которого множество, играющее роль атрибута containing_set, не является пустым.

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

*)

ENTITY complete_membership_of_non_empty_set

SUBTYPE OF (complete_membership);

members : SET[1:?] OF complete_membership_select;

END_TYPE;

(*

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

members: члены множества, играющего роль атрибута containing_set.

4.5 Определение ограничений подтипов схемы classification_schema

4.5.1 Ограничение на подтипы classification_or_complete_membership

Ограничение на подтипы classification_or_complete_membership специфицирует то, что экземпляр объекта classification_assignment должен или задавать некоторое количество элементов класса без утверждения о его полноте, или все элементы класса с утверждением о полноте.

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

*)

SUBTYPE_CONSTRAINT classification_or_complete_membership FOR

classification_assignment;

ONEOF (classification, complete_membership);

END_SUBTYPE_CONSTRAINT;

(*

*)

END_SCHEMA; - - classification_schema

(*

5 Схема теории множеств

Далее представлен фрагмент EXPRESS-спецификации, с которого начинается описание схемы set_theory_schema. В нем определены необходимые внешние ссылки.

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

*)

SCHEMA set_theory_schema;

REFERENCE FROM classification_schema - - ISO 10303-41

(class);

REFERENCE FROM support_resource_schema - - ISO 10303-41

(identifier, label, text);

(*

Примечания

1 Схемы, ссылки на которые даны выше, можно найти в следующих стандартах комплекса ИСО 10303:

classification_schema в ИСО 10303-41;

support_resource_schema в ИСО 10303-41.

2 Графическое представление данных схем приведено на рисунках D.1 и D.2 приложения D.

5.1 Введение

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

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

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

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

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

- равенство множеств;

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

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

5.2 Основные понятия и допущения

В схеме теории множеств специфицируются теоретико-множественные отношения между классами или множествами.

Примечание - В настоящем стандарте термины "множество" и "класс" являются синонимами.

Для того чтобы использовать данную схему, экземпляр объекта, содержащего данные о классе или множестве, должен быть экземпляром объекта class или его подтипа.

Примеры

1 Рассмотрим следующие образцы классов:

- модель насоса "XYZ_123", которая представляется экземпляром объекта, являющегося одновременно экземплярами объектов product_definition_formation и class, и

- множество насосов, перечисленных в договоре на техническое обслуживание "98/1234".

Экземпляр отношения subset (подмножество) задает тот факт, что каждый элемент множества насосов, перечисленных в договоре на техническое обслуживание "98/1234", является насосом модели "XYZ_123".

2 В организации имеются насосы типов А и В. Некоторые из насосов работают с радиоактивными жидкостями. Существуют следующие классы работ:

SA - обслуживание насосов типа А;

SB - обслуживание насосов типа В;

DR - обслуживание оборудования, работающего с радиоактивными жидкостями.

Для целей управления потоком работ определен следующий производный класс работ:

DRS - обслуживание насосов, работающих с радиоактивными жидкостями.

Данный класс является пересечением класса DR с объединением классов SA и SB.

5.3 Определения объектов схемы set_theory_schema

5.3.1 Объект complement

Объект complement (дополнение) специфицирует такое отношение между множеством , множеством и множеством , при котором множество состоит из всех элементов множества , которые не являются элементами множества .

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

*)

ENTITY complement;

id : identifier;

name : label;

description : OPTIONAL text;

set_1 : class;

set_2 : class;

universe : class;

WHERE

complement_different: NOT identical_sets(set_1, set_2);

END_ENTITY;

(*

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

id: идентификатор экземпляра объекта complement, специфицирующего отношение дополнения.

name: наименование отношения дополнения.

description: текст, описывающий отношение дополнения. Задавать значение этого атрибута не обязательно.

set_1: класс, дополнением которого в классе, играющем роль атрибута universe, является класс, играющий роль атрибута set_2.

set_2: класс, дополнением которого в классе, играющем роль атрибута universe, является класс, играющий роль атрибута set_1.

universe: класс, являющийся объединением класса, играющего роль атрибута set_1, и класса, играющего роль атрибута set_2.

Формальные положения:

для класса не может быть явно задана идентичность его своему дополнению.

5.3.2 Объект intersection

Объект intersection (пересечение) специфицирует такое отношение между множеством и множеством множеств {}, при котором каждый элемент множества является одновременно элементом каждого из множеств {}.

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

*)

ENTITY intersection;

id : identifier;

name : label;

description : OPTIONAL text;

operand : SET[2:?] OF class;

resultant : class;

END_ENTITY;

(*

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

id: идентификатор отношения пересечения.

name: наименование отношения пересечения.

description: текст, описывающий отношение пересечения. Задавать значение этого атрибута не обязательно.

operand: множество множеств, результатом которого является множество, играющее роль атрибута resultant.

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

5.3.3 Объект power_set

Объект power_set (мощность множества) специфицирует такое отношение между множеством и множеством *, при котором множество * является множеством всех подмножеств множества .

Пример

Рассмотрим следующие три экземпляра классов:

- "насос" - класс, элементами которого являются отдельные насосы;

- "класс предметов потребления" - класс, элементами которого являются классы предметов потребления, используемые для их закупок;

- "класс предметов потребления, являющихся насосами" - класс, входящий в число классов предметов потребления и используемый для закупки насосов.

"Класс предметов потребления, являющихся насосами", - это пересечение "класса предметов потребления" и мощности множества всех насосов.

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

*)

ENTITY power_set;

id : identifier;

name : label;

description : OPTIONAL text;

base : class;

derived : class;

WHERE

derived_different: NOT identical_sets(base, derived);

END_ENTITY;

(*

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

id: идентификатор отношения, специфицируемого экземпляром объекта power_set (мощность множества).

name: наименование отношения, специфицируемого экземпляром объекта power_set (мощность множества).

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

base: множество, мощность которого играет роль атрибута derived.

Примечание - Множество, играющее роль атрибута base, является объединением множества, играющего роль атрибута derived.

derived: множество всех подмножеств множества, играющего роль атрибута base.

Формальные положения:

Для класса не может быть явно задано, что он идентичен классу, для которого он является мощностью класса.

5.3.4 Объект proper_subset

Объект proper_subset (строгое подмножество) специфицирует такое отношение между множествами А и В, при котором каждый элемент множества А является также элементом множества В и множество А не равно множеству В.

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

*)

ENTITY proper_subset;

SUBTYPE OF (subset);

WHERE

subset_different: NOT identical_sets(superset, subset);

END_ENTITY;

(*

Формальные положения:

Класс, который является строгим подмножеством, не может быть равен своему надмножеству.

5.3.5 Объект same_membership

Объект same_membership (одни и те же элементы) специфицирует такое отношение между множеством и множеством , при котором множества состоят из одних и тех же элементов. Следовательно, и - это одно и то же множество.

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

*)

ENTITY same_membership;

id : identifier;

name : label;

description : OPTIONAL text;

set_1 : class;

set_2: class;

END_ENTITY;

(*

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

id: идентификатор отношения, специфицируемого экземпляром объекта same_membership (одни и те же элементы).

name: наименование отношения, специфицируемого экземпляром объекта same_membership (одни и те же элементы).

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

set_1: класс, который содержит те же самые элементы, что и класс, играющий роль атрибута set_2.

set_2: класс, который содержит те же самые элементы, что и класс, играющий роль атрибута set_1.

5.3.6 Объект subset

Объект subset (подмножество) специфицирует такое отношение между множеством и множеством , при котором каждый элемент множества является также элементом множества В.

Примечание - Множество может быть равно множеству .

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

*)

ENTITY subset;

id : identifier;

name : label;

description : OPTIONAL text;

subset : class;

superset : class;

END_ENTITY;

(*

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

id: идентификатор отношения, специфицируемого экземпляром объекта subset (подмножество).

name: наименование отношения, специфицируемого экземпляром объекта subset (подмножество).

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

subset: класс, который содержит только элементы надмножества.

superset: класс, который содержит все элементы подмножества.

5.3.7 Объект union

Объект union (объединение) специфицирует такое отношение между множеством и множеством множеств {}, при котором множество содержит каждый элемент, являющийся элементом множества {}.

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

*)

ENTITY union;

id : identifier;

name : label;

description : OPTIONAL text;

operand : SET[2:?] OF class;

resultant : class;

END_ENTITY;

(*

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

id: идентификатор отношения, специфицируемого экземпляром объекта union (объединение).

name: наименование отношения, специфицируемого экземпляром объекта union (объединение).

description: текст, описывающий отношение, специфицируемое экземпляром объекта union (объединение). Задавать значение этого атрибута не обязательно.

operand: множество множеств, объединением которых является множество, играющее роль атрибута resultant.

resultant: множество, которое состоит из каждого из элементов, являющихся элементами любого из множеств, входящих в множество множеств, играющего роль атрибута operand.

5.3.8 Объект union_of_all_members

Объект union_of_all_members (объединение всех элементов) специфицирует такое отношение между множеством и множествами , при котором каждый из элементов множества является элементом такого множества , которое содержит каждый элемент, являющийся элементом множества .

Пример - Рассмотрим класс, который является диапазоном температур от 10°С до 20°С. Такое значение температуры как 15°С является элементом этого диапазона.

Температура 15°С является элементом класса диапазона температур от 10°С до 20°С.

Класс, состоящий из всех объектов, имеющих термодинамическую энергию в диапазоне от 15°С до 20°С, является объединением всех объектов температурного диапазона от 10°С до 20°С.

Примечание - Объект union_of_all_members эквивалентен объекту union и используется в тех случаях, когда множество, играющее роль атрибута operand, имеет большое или неограниченное количество элементов.

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

*)

ENTITY union_of_all_members;

id : identifier;

name : label;

description : OPTIONAL text;

operand : class;

resultant : class;

WHERE

resultant_different: NOT identical_sets(operand, resultant);

END_ENTITY;

(*

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

id: идентификатор отношения, специфицируемого экземпляром объекта union_of_all_members (объединение всех элементов).

name: наименование отношения, специфицируемого экземпляром объекта union_of_all_members (объединение всех элементов).

description: текст, описывающий отношение, специфицируемое экземпляром объекта union_of_ all_members (объединение всех элементов). Задавать значение этого атрибута не обязательно.

operand: множество множеств, объединением которых является множество, играющее роль атрибута resultant.

resultant: множество, которое состоит из каждого из элементов, являющихся элементами любого из множеств, входящих в множество множеств, играющего роль атрибута operand.

Формальные положения:

Класс, который является объединением множества других классов, не должен быть равен множеству этих классов.

5.4 Определения функций схемы set_theory_schema

5.4.1 Функция identical_sets

Функция identical_sets (равенство множеств) проверяет, равны ли два экземпляра объекта class (класс). Равенство может быть задано непосредственно или с помощью последовательности одного или более экземпляров объектов same_membership (одни и те же элементы).

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

*)

FUNCTION identical_sets (set_a : class, set_b : class) :BOOLEAN;

LOCAL

set_of_sets : SET OF class := [];

END_LOCAL;

IF (set_a = set_b) THEN

RETURN (TRUE);

END_IF;

set_of_sets := set_of_sets + set_b;

RETURN (identical_to_one_of_set_of_sets(set_a, set_of_sets));

END_FUNCTION;

(*

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

set_a: экземпляр объекта class (класс), который проверяется на равенство с экземпляром, заданным аргументом set_b.

set_b: экземпляр объекта class (класс), который проверяется на равенство с экземпляром, заданным аргументом set_a.

5.4.2 Функция identical_to_one_of_set_of_sets

Функция identical_to_one_of_set_of_sets (равенство одному из множеств, входящих в множество множеств) проверяет, равен ли экземпляр объекта class (класс) одному из элементов множества множеств. Равенство может быть задано непосредственно или с помощью последовательности одного или более экземпляров объектов same_membership (одни и те же элементы).

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

*)

FUNCTION identical_to_one_of_set_of_sets (set_a : class,

set_of_sets: SET OF class) :BOOLEAN;

LOCAL

i

: INTEGER;

initial_size

: INTEGER;

augmented_size

: INTEGER;

set_of_forward_equivalences

: SET OF same_membership := [];

set_of_backward_equivalences

: SET OF same_membership := [];

augmented_set_of_sets

: SET OF class := [];

END_LOCAL;

- - проверяется членство заданного множества множеств

IF (set_a IN set_of_sets) THEN

RETURN (TRUE);

END_IF;

- - расширяет заданное множество для включения всех множеств,

- - имеющих тот же самый состав, что существующий член.

initial_size :=SIZEOF(set_of_sets);

IF (initial_size = 0) THEN

RETURN (FALSE);

END_IF;

REPEAT i := 1 TO initial_size;

set_of_forward_equivalences := set_of_forward_equivalences +

USEDIN(set_of_sets[i],

'SET_THEORY_SCHEMA.SAME_MEMBERSHIP.SET_1');

set_of_backward_equivalences := set_of_forward_equivalences +

USEDIN(set_of_sets[i],

'SET_THEORY_SCHEMA.SAME_MEMBERSHIP.SET_2');

END_REPEAT;

augmented_set_of_sets := set_of_sets;

IF (SIZEOF(set_of_forward_equivalences) > 0) THEN

REPEAT i := 1 to HIINDEX(set_of_forward_equivalences);

augmented_set_of_sets := augmented_set_of_sets +

set_of_forward_equivalences[i].set_2;

END_REPEAT;

END_IF;

IF (SIZEOF(set_of_backward_equivalences) > 0) THEN

REPEAT i := 1 to HIINDEX(set_of_backward_equivalences);

augmented_set_of_sets := augmented_set_of_sets +

set_of_backward_equivalences[i].set_1;

END_REPEAT;

END_IF;

- - если заданное множество множеств было расширено,

- - то проверяется членство

augmented_size := SIZEOF(augmented_set_of_sets);

IF augmented_size = initial_size THEN

RETURN (FALSE);

END_IF;

RETURN (identical_to_one_of_set_of_sets(set_a,

augmented_set_of_sets));


END_FUNCTION;

(*

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

set_a: экземпляр объекта class (класс), который проверяется на равенство с элементом множества множеств, заданным аргументом set_of_sets.

set_of_sets: множество экземпляров объекта class (класс), которые проверяются на равенство с экземпляром, заданным аргументом set_a.

*)

END_SCHEMA; - - set_theory_schema

(*

Приложение А
(обязательное)


Сокращенные наименования объектов

В таблице А.1 приведены сокращенные наименования объектов, определения которых даны в настоящем стандарте.

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

Примечание - Наименования объектов на языке EXPRESS доступны в Интернете по адресу http://www.tc184-sc4.org/Short_Names/.

Таблица А.1 - Сокращенные наименования объектов

Полное наименование

Сокращенное наименование

class

CLASS

class_by_extension

CLBYEX

class_by_intension

CLBYIN

classification

CLSSFC

complete_membership

CMPMMB

complete_membership_of_empty_set

CMOES

complete_membership_of_non_empty_set

CMONES

complement

CMPLMN

intersection

INTRSC

power_set

PWRST

proper_subset

PRPSBS

same_membership

SMMMB

subset

SUBSET

union

UNION

union_of_all_members

UOAM

Приложение В
(обязательное)


Регистрация информационных объектов

B.1 Обозначение документа

Для однозначного обозначения информационного объекта в открытой системе настоящему стандарту присвоен следующий идентификатор объекта:

{ iso standard 10303 part(54) version(1) }

Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.

В.2 Обозначение схем

В.2.1 Обозначение схемы classification_schema

Для однозначного обозначения в открытой информационной системе схеме classification_schema, установленной в настоящем стандарте, присвоен следующий идентификатор объекта:

{ iso standard 10303 part(54) version(1) schema(1) classification_schema(1) }

Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.

В.2.2 Обозначение схемы set_theory_schema

Для однозначного обозначения в открытой информационной системе схеме set_theory_schema, установленной в настоящем стандарте, присвоен следующий идентификатор объекта:

{ iso standard 10303 part(54) version(1) schema(1) set_theory_schema(1) }

Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.

Приложение С
(справочное)


Машинно-интерпретируемые листинги

В данном приложении приведены ссылки на сайты, на которых находятся листинги наименований объектов на языке EXPRESS и соответствующих сокращенных наименований, установленных или на которые даются ссылки в настоящем стандарте. На этих же сайтах находятся листинги всех EXPRESS-схем, установленных в настоящем стандарте, без комментариев и другого поясняющего текста. Эти листинги доступны в машинно-интерпретируемой форме (см. таблицу С.1) и могут быть получены по следующим адресам URL:

сокращенные наименования: http://www.tc184-sc4.org/Short_Names/

EXPRESS: http://www.tc184-sc4.org/EXPRESS/

Таблица С.1 - Листинги схем на языке EXPRESS

Описание

Идентификатор

Сокращенный листинг схемы classifications_schema на языке EXPRESS

ISO TC184/SC4/WG12 N3213

Сокращенный листинг схемы set_theory_schema на языке EXPRESS

ISO TC184/SC4/WG12 N3213

При невозможности доступа к этим сайтам необходимо обратиться в центральный секретариат ИСО или непосредственно в секретариат ISO/TC 184/SC 4 по адресу электронной почты: sc4sec@tc184-sc4.org.

Примечание - Информация, представленная в машинно-интерпретированном виде по указанным выше адресам URL, является справочной. Обязательным является текст настоящего стандарта.

Приложение D
(справочное)


EXPRESS-G диаграммы

Диаграммы в данном приложении соответствуют EXPRESS-схемам, приведенным в настоящем стандарте. В диаграммах используется графическая нотация языка EXPRESS. Описание EXPRESS-G установлено в ИСО 10303-11, приложение D.


Рисунок D.1 - EXPRESS-G диаграмма схемы classification_schema


Рисунок D.2 - EXPRESS-G диаграмма схемы set_theory_schema

Приложение ДА
(справочное)

Сведения о соответствии ссылочных международных стандартов национальным стандартам

Таблица ДА.1

Обозначение ссылочного международного стандарта

Степень соответствия

Обозначение и наименование соответствующего национального стандарта

ISO/IEC 8824-1:2002

-

*,

ISO 10303-1:1994

IDT

ГОСТ Р ИСО 10303-1-99 "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы"

ISO 10303-11:2004

IDT

ГОСТ Р ИСО 10303-11-2009 "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS"

ISO 10303-41:2005

-

*,

* Соответствующий национальный стандарт отсутствует. До его принятия рекомендуется использовать перевод на русский язык данного международного стандарта.


Примечание - В настоящей таблице использовано следующее условное обозначение степени соответствия стандартов:

IDT - идентичные стандарты.

_____________________

Действует ГОСТ Р ИСО/МЭК 8824-1-2001 "Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации", идентичный ISO/IEC 8824-1:1998.

Действует ГОСТ Р ИСО 10303-41-99 "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 41. Интегрированные обобщенные ресурсы. Основы описания и поддержки изделий", идентичный ISO 10303-41:1994.

УДК 656.072:681.3:006.354

ОКС 25.040.40

Ключевые слова: прикладные автоматизированные системы, промышленные изделия, данные, представление данных, обмен данными, прикладные ресурсы, отношения классификации, отношения теории множеств

Электронный текст документа

и сверен по:

, 2020

Превью ГОСТ Р ИСО 10303-54-2011 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 54. Интегрированные обобщенные ресурсы. Классификация и теория множеств