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

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

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

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



ФЕДЕРАЛЬНОЕ АГЕНТСТВО

ПО ТЕХНИЧЕСКОМУ РЕГУЛИРОВАНИЮ И МЕТРОЛОГИИ


ГОСТ Р исо 10303-54-2011


НАЦИОНАЛЬНЫЙ

СТАНДАРТ

РОССИЙСКОЙ

ФЕДЕРАЦИИ

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

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

Часть 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)

Издание официальное

Москва

Стандарты нформ 2012


Предисловие

Цели и принципы стандартизации е Российской Федерации установлены Федеральным законом от 27 декабря 2002 г. N9 1&4-ФЗ «О техническом регулировании», а правила применения национальных стандартов Российской Федерации — ГОСТ Р 1.0—2004 «Стандартизация в Российской Федерации. Основные положения »

Сведения о стандарте

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

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

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

4    Настоящий стандарт идентичен международному стандарту ИСО 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»).

Наименование настоящего стандарта изменено относительно наименования указанного международного стандарта для приведения в соответствие с ГОСТ Р1.5—2004 (пункт 3.5).

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

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

Информация об изменениях к настоящему стандарту публикуется е ежегодно издаваемом информационном указателе «Национальные стандарты», а текст изменений и поправок — е ежемесячно издаваемых информационных указателях «Национальные стандарты». В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ежемесячно издаваемом информационном указателе «Национальные стандарты». Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования — на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет

© Стандартинформ.2012

Настоящий стандарт не может быть полностью или частично воспроизведен, тиражирован и распространен в качестве официального издания без разрешения Федерального агентства по техническому регулированию и метрологии

Содержание

Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов

in

Введение

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

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

•    схему классификации (elassification.echema) и

•    схему теории множеств (set_theory_8chema).

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

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

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

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

•    строгое подмножество:

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

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

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

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

tMMfcMfenjchKr*

в»Ч>

дкыр_р*в<тт

kMM

MM


Y

I

I

\

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

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

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

-    management_resources_schema определена в ИС010303-41:

-    support_resource_schema определена в ИС010303*41.

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

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

Системы автоматизации производства и их интеграция ПРЕДСТАВЛЕНИЕ ДАННЫХ ОБ ИЗДЕЛИИ И ОБМЕН ЭТИМИ ДАННЫМИ

Часть 54

Интегрированные обобщенные ресурсы.

Классификация и теория множеств

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

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

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

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

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

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

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

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

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

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

•    дополнения:

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

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

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

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

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

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

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

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

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

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

Примечания

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

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

• непересеквющимися подтипами объекта    class.by .Intension    могут быть объекты

dlscrete_class_by_intenslon и eontlnuous_set:

•    непересеквющимися подтипами объекте contlnuous.set могут быть объекты open_set и ciosed.set.

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

Издание официальное

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

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

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

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

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

ИС0 10303-41:2005 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 41. Интегрированные родовые ресурсы. Основополагающие принципы описания и сопровождения изделия (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.)

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

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

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

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

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

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

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

Примечания

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

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

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

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

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

SCHEMA classification_schema:

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

REFERENCE FROM management_resources_schema - • IS0 10303-41 (class ification_assignment);

(*

Примечания

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

manegement_reeourcee_schemee ИС010303-41

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

4.1    Введение

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

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

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

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

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

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

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

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

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

Примеры

1    Насос модели *XYZ_123» представлен экземплярами объектов product_detinWon_tormatlon (версия изделия) и class (класс). Данный класс — это class_by_extenslon (класс. заданны!) экстенсионально).

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

3    Отношение между образцом насоса *Х/85/4$67» и моделью насоса *XYZ_123». которой обозначена модель насоса, — это отношение классификации.

4    Отношение между образцом насоса *Х/89/4$67» и набором насосов, перечисленных в договоре на техническое обслуживание *98/1234». в котором указано, что данный образец насоса входит в множество насосов, перечисленных в договоре. — это отношение классификации. Полное множество насосов, указанных в договоре, может быть задано с помощью экземпляра объекта сотр/еге_ membership (полный состав).

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

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

4.3.1 Тип данных claseification_select

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

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

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

•>

TYPE classification_select * EXTENSIBLE SELECT:

ENO.TYPE:

Г

4.3.2 Типданных complete_membership_select

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

з

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

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

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

*)

TYPE compl6te_memb6fship_select = EXTENSIBLE SELECT;

END TYPE;

(*

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

4.4.1 Объект class

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

Примечания

1    Определение термина «множество» приведено в 3.2.1.8 настоящем стандарте термины «множество» и «класс» являются синонимами.

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 Объект ctass_by_extension

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

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

ENTITY class_by „extension SUBTYPE OF (class);

END TYPE;

(*

4.4.3 Объект class.byjntension

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

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

•>

ENTITY class_byJntension SUBTYPE OF (class);

ENO.TYPE;

Г

4.4.4 Объект classification

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

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

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

’)

ENTITY classification

SUBTYPE OF (classification.assignment);

classified: classification_select;

DERIVE

classifier: class := SELF\dassification_assignment.assigned_ciass;

END_TYPE;

Г

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

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

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

4.4.5 Объект complete.membership

Объект complete.membership (полное членство) — это подтип объекта classification, assignment, отображающий такое отношение между множеством S и перечисленными предметами xit которое определяет, что S содержит каждый из предметов х, и ничего более.

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

•>

ENTITY complete.membership SUBTYPE OF (classification.assignment): DERIVE

containing.set: class :=

SELFNclassification.assignment.assigned.dass;

ENO.TYPE;

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

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

4.4.6 Объект complete.membership_of_empty.set

Объект complete.membership_of_empty.set (полное членство пустого множества) — это такой подтип объекта complete.membershlp. для которого множество, играющее роль атрибута containing.set. является пустым.

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

•>

ENTITYcomplete.membership.of.empty.set SUBTYPE OF (complete.membership); ENO.TYPE;

4.4.7 Объект complete_membershlp_of_non_empty_set

Объект complete_membership_of_non_empty_set(nonHoe членство непустого множества) —это такой подтип объекта complete.membership. для которого множество, играющее роль атрибута containlng.set. не является пустым.

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

ENTITY compIete_membership_of_non-empty_set SUBTYPE OF (complete_membership): members: SET[1:?] OF complete_membershlp select: END TYPE;

Г

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

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

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

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

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

SUBTYPE_CONSTRAINT classification_or_complete_membership FOR classification_assignment;

ONEOF (classification. complete_membership); END_SUBTYPE_CONSTRAJNT;

Г

*)

END_SCHEMA: - - classification_schema (*

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

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

EXPRESS-спвциФикация:

*)

SCHEMA set_theory_schema;

REFERENCE FROM classification^schema - • IS0 10303-41 (class);

REFERENCE FROM support_resource_schema ♦ • ISO 10303-41 (identifier, label, text);

(‘

Примечания

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

clessiflcation_schema в ИСО 10303-41: support_resource_schema е ИСО 10303-41.

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

5.1    Введение

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

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

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

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

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

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

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

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

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

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

Примечание — 8 настоящем стандарте термины «множество» и «класс» являются синонимами.

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

Примеры

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

•    модель несосе •XYZ_123», которая представляется экземпляром объекта, являющегося одновременно экземплярами объектов product_definltlon_tormatton и claaa. и

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

насосов, перечисленных в договоре на техническое обслуживание «98/1234». является насосом модели «ХУ2_123».

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

SA — обслуживание насосов типе А:

SB — обслуживание насосов типа В:

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

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

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

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

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

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

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

*)

ENTITY complement; id: identifier, name: label;

description: OPTIONAL text; seM: class; set_2: class; universe: class:

WHERE

complement different: NOT identical_sets(set_1. set_2);

END_ENT!TY;

Г

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

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

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

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

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

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

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

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

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

5.3.2 Объект intersection

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

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 (мощность множества) специфицирует такое отношение между множеством S и множеством S*. при котором множество S* является множеством всех подмножеств множества S.

Пример

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

•    «насос» — класс, злементвми котороео являются отдельные нвсосы;

•    «класс предметов потреблениях — класс, злементеми котороео являются классы предметов потребления, используемые для их зекупок;

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

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

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 (мощность множества).

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

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

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

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

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

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

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

5.3.4 Объект proper_subset

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

EXPRESS-спеииФикаиия:

’)

ENTITY proper_subset;

SUBTYPE OF (subset):

WHERE

subset different: NOTidenticaLsets(superset. subset); END_ENTlTY;

Г

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

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

5.3.5 Объект same.membership

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

EXPRESS-спеииФикаиия:

’)

ENTITY same_membership, id: identifier: name: label:

description: OPTtONALtext: set_1: class; set_2: class;

END_ENTITY;

(*

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

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

пате: наименование отношения, специфицируемого экземпляром объекта 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

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

EXPRESS-спешФикааия:

•)

ENTITY union: id: identifier; name: label:

description: OPTIONAL text; operand: SET[2:?] OF class; resultant: class; END_ENTITY;

(*

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

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

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

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

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

5.3.8 Объект unlon_of_all_members

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

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

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

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

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

EXPRESS-слвцификация;

’)

ENTITY union_of_all_members; id: identifier; name: label;

description; OPTIONAL text; operand; class; resultant: class;

WHERE

resuttant_different: NOT identical_sets(operand. resultant); ENO_ENTITY;

Г

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

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

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

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

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

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

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

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

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

5.4.1 Функция identicaf.sets

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

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

FUNCTION identical_sets (set_a: class. set_b: class) :BOOLEAN; LOCAL

set_of_sets: SET OF class := fl;

END_LOCAL;

IF (set_a = set_b)THEN RETURN (TRUE);

ENDJF;

set_of_sets := set_of_sets + set_b;

RETURN (tfentical_lo_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 Функция ldentlcal_to_one_of_set_of_sets

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

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

FUNCTION H3entical_to_one_of_set_of_sets (set_a: class. set_of_sets: SET OF class) :BOOLEAN;

LOCAL

i    ;    INTEGER:

initial_size    :    INTEGER;

augmented_si26    :    INTEGER;

set_of_forward_equivalences : SET OF same_membersbip := fl; set_of_backward_equivalences; SET OF same_membership := fl; augmented_set_of_sets    ; SET OF class ;= fl;

END_LOCAL;

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

IF (set_a IN set_of_sets) THEN RETURN (TRUE);

ENDJF;

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

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

initial_size := SI2EOF(set_of_sets);

IF (initia1_size = 0) THEN RETURN (FALSE);

ENDJF.

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_ofJorward_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_ofJorward_equivalences) > 0) THEN REPEAT i := 1 to HIINDEX(set_ofJorward_equivalences); augmented_set_of_sets := augmented__set_of_sets + set_of_forward_equivatences[i].set_2;

ENO_REPEAT;

ENDJF;

IF (SIZEOF(set_of_backward_equival6nces) > 0) THEN REPEAT i := 1 to HIINDEX(set_of_backward_equivalenc6s); augmented_set_of_sets := augmentod_set_of_sets + set_of_backward equivalences[i].seM;

ENO_REPEAT;

ENDJF;

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

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

augmented_size ;= SIZEOF(augmented_set_of_sets);

IF augmented_size = mitial_size THEN RETURN (FALSE);

ENDJF;

RETURN (identical jo_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.

•>

ENO_SCHEMA; - • setJheory_schema

Г

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

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

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

Примечание — Наименования объектов на языке EXPRESS доступны в Интернете по адресу 84-sc4 .org/Shon_Names/.

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

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

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

class

CLASS

claes_by_extens»on

CLBYEX

ctass.by .intension

CLBYIN

classification

CLSSFC

com plete.m em bersh ip

CMPMM8

complete.membership.of.empty.set

CMOES

complete.membefship.of.non.empty.set

CMONES

complement

CMPLMN

intersection

INTRSC

power.set

PWRST

proper.subset

PRPSBS

same.membership

SMMM8

subset

SUBSET

union

UNION

union_of_all_members

UOAM

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

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

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

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

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

8.2 Обозначение схем

8.2.1    Обозначение схемы claesiflcatlon_schema

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

{Iso standard 10303 рап{54) verson(i) schema(l) ciaesiftcation_schema(1))

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

8.2.2    Обозначение схемы set_theory_schema

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

(tso standard 10303 part(S4}version(i) schema(l) set_tfteory_scnema(1))

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

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

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

сокращенные наименования:

EXPRESS:

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

Описание

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

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

ISO TC184/SC4/WG12 N3213

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

ISO TC184/SC4/WG12N3213

При невозможности доступа к этим сайтам необходимо обратиться в центральный секретариат ИСО или непосредственно а секретариат ИСО ТК164/ПК4 по вдресу электронной почты: .

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

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

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

I



( 1

cheattaricn    |--


J


(DBR) свлЬМхи*(


^ ua't»i»juerU(W»)jx_ewK>Leet


L


I


>


J


сЬш»_ЗДп1впа<ап


ijs^afanabt


fwrt»»8{i?q JT po !

” J oafnil^jienhairf^jniial |

Рисунок 0.1 — EXPRESS-G диаграмма схемы claaaificatlon.achema

армия!


птш*


| «*K^o(j4jTiartbara


]j    [" »»1Лл1аицимв|Ц11пИ1г 1

р    т

£


■IRBrOMMOLPCtafAlBBt


tkwr^iud


лягав


BHBtJWunuEtWKbM


ляш


<k —catJiwuH»-»crw«.u>i4ifiH ~Ъ>—\

и 7^z::zzzmz-rz-r—jz**i


OOrS*Fwrl


UnMKM


►_тяг*м*Ч>


«U*


■U

rr

1


L—тз—o—-p—a—в—1

*»wnrd8g?1 J    [ d*bra!

f nunc*    '*-


iiuiMunn


Gl£


I ЩМЦМ

fcjPPO^WmtWIjKftXTHUWPfttf


-Cfr iUPg«UWOWIWJWftWl»m Ф»


И^п ,1—


■LfPOrt_n»MUrwjNMnM»tt


Г-


fdao^bi

! —£


u


<фмп!фЗ]


autraot


рлзрг_кмЫ


a


цяМ


LC


MM


urifcn

ZГ"

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


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

Таблица ДА.1

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

Степень

соответствия

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

ИСО/МЭК 8824-1:2002

ют

ГОСТ Р ИСО/МЭК 8624-1—2001 «Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации»

ИСО 10303-1:1994

ют

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

ИСО 10303-11:1994

ют

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

ИСО 10303-41:2003

в

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

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

ЮТ — идентичные стандарты.

УДК 656.072:681.3:006.354    ОКС 25.040.40    П87    ОКСТУ 4002

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

Редактор в.Н. Копы сое Технический редактор Н.С. Гришамом Корректор 6.Е. Нестерова Компьютерная оерстка И.А . Напебконои

Сдано о набор 16.09 2012. Подписано о печать 05.10.2012. Формат 00 * 84^. Гарнитура Ариел. Уел. печ. я. 2.79. Уч-иад. л. 2.45. Тираж 94 аса. Зак. 373.

ФГУП кСТАНДАРТИНФОРМ». 123995 Москва. Гранатный пор.. 4. info@goslmlo т Набрано во ФГУП «СТЛНДЛРТИНФОРМ» на ПЭ6М.

Отпечатано в филиале ФГУП «СТАНДАРТИНФОРМ* — тип. «Московский печатник». 105082 Москва. Лялин пар., б.