Другие подтипы класса class_of_individual, неявно смоделированные, могут быть определены как экземпляры класса class_of_class_of_individual и использованы для идентификации необходимого класса class_of_individual (см. 5.2.7.4 и рисунок 183). Некоторые важные типы класса class_of_individual моделируются явно, как представлено на рисунке 153.
![]() Class_of_class_of_whole - класс класса целого; class_of_class_of_individual - класс класса индивида; class_of_class_of_composition - класс класса состава; class_of_class_of_part - класс класса части; class_of_property - класс свойства; class_of_status - класс статуса; shape_dimension - шейповая размерность; class_of_class_of_information_representation - класс класса отображения информации
Сущность arithmetic_number есть класс class_of_class, как показано на рисунке 154 (см. 5.2.5.1 и рисунок 179). В настоящем стандарте целые числа отличаются от вещественных чисел. Однако и те и другие являются одномерными числами.
![]() Class_of_class - класс класса; arithmetic_number - арифметическое число; integer_number - целое число; real_number - вещественное число; multidimensional_number - многомерное число
Примечание. Подразумевается, что числа необходимо соотносить с классом class_of_information_representation.
Пример 1 - На рисунке 155 показано, что имеется класс "x", который является вещественным числом 12,7, представленным на языке EXPRESS.
![]() Class_of_identification - класс идентификации; EXPRESS_real - вещественный тип EXPRESS; real_number - вещественное число; pattern - шаблон; represented - представленный
Сущность multidimensional_number позволяет использовать упорядоченные пары, тройные значения и другие сущности arithmetic_number (см. 5.2.5.7, рисунки 180 и 181).
Пример 2 - На рисунке 156 три координаты [1,2; 2,3; -6,8] есть многомерное число. Порядок, заданный номером элемента, является значимым.
![]() Real_number - вещественное число; multidimensional_number - многомерное число; elements - элементы
4.8.5.2. Class of number (класс числа)
Класс class_of_number есть класс class_of_class, который включает как дискретные, так и непрерывные множества чисел (см. 5.2.5.3, рисунки 179 и 181). Модель представлена на рисунке 157.
![]() Class_of_class - класс класса; enumerated_set_of_class - перечислимое множество класса; class_of_number - класс числа; enumerated_number_set - перечислимое числовое множество; number_space - числовое пространство; number_range - числовой диапазон; multidimensional_number_space - многомерное числовое пространство
Сущность enumerated_number_set разблокирует непрерывное множество чисел либо вещественных, либо целых, либо совокупности целых и вещественных чисел, которые нужно определять (см. 5.2.5.4).
Пример - На рисунке 158 целые числа 45, 59, 73 являются членами сущности enumerated_number_set, которая не заключает в себе никакого порядка.
![]() Enumerated_number_set - перечислимое числовое множество; integer_number - целое число
4.8.5.2.2. Number range (диапазон чисел)
Сущность number_range есть ограниченные одноразмерные сущности number_space (см. 5.2.5.9). Верхняя и нижняя границы диапазона являются частными членами сущности number_range. Модель представлена на рисунке 159.
![]() Class_of_number - класс числа; relationship - взаимоотношение; enumerated_number_set - перечислимое числовое множество; classification - классификация; number_space - числовое пространство; lower_bound_of_number_space - нижняя граница числового пространства; classified - классифицированный; classifier - классификатор; arithmetic_number - арифметическое число; upper_bound_of_number_space - верхняя граница числового пространства
Пример - На рисунке 160 вещественные числа в диапазоне от 5,2 до 9,3 являются диапазоном чисел с нижней границей 5,2 и верхней границей 9,3.
![]() Lower_bound_of_number_range - нижняя граница числового диапазона; real_number - вещественное число; upper_bound_of_number_range - верхняя граница числового диапазона; number_range - числовой диапазон; classified - классифицированный; classifier - классификатор
Сущность multidimensional_number_space есть континуум сущностей multidimensional_number (см. 5.2.5.8, рисунки 180 и 181).
Пример 1 - На рисунке 161 "R1" (континуум всех вещественных чисел) есть числовое пространство, "R3" (трехмерное вещественное числовое пространство) есть многомерное числовое пространство "R1" с элементами 1, 2 и 3.
![]() Number_space - числовое пространство; multidimensional_number_space - многомерное числовое пространство; elements - элементы
Пример 2 - На рисунке 162 "комплексное число" есть многомерное числовое пространство. Комплексное число, представленное как 7,1 + 9,3, является многомерным числом с вещественной частью 7,1 и воображаемой частью 9,3. Элементы "комплексного числа" определяются сущностью role_and_domain "вещественной части" и "воображаемой части". Эти части являются комбинациями вещественных или воображаемых значений вещественного числа сущности role_and_domain. Классификация [7,1; 9,3] по "комплексному числу" устанавливает роли двух чисел.
![]() Role_and_domain - роль и домен; multidimensional_number_space - многомерное числовое пространство; multidimensional_number - многомерное число; imaginary part - воображаемая часть; real part - вещественная часть; complex number - комплексное число; real_number - вещественное число
Сущность functional_mapping в виде карты распределения является типом сущности relationship, устанавливающим соответствие ввода результату (см. 5.2.15.3 и рисунок 191). Такое отображение может быть выполнено одно к одному или многие к одному. Последнее известно как изоморфное отображение. Множества и классы взаимоотношений функционального отображения в виде карты распределения образуют функции.
Модель элементов для сущности functional_mapping представлена на рисунке 163.
Сущность functional_mapping не ограничивается числами.
Пример 2 - На рисунке 165 показана сущность functional_mapping разности давлений: давления по входящему потоку a и давления по нисходящему потоку b через фильтр. Давление c есть разность давлений a и b в том случае, когда a - ссылка, а b - дифферанд. Класс class_of_functional_mapping "разности" связывает класс class_of_multidimensional_object, состоящего из двух сущностей role_and_domain, и аргументы ввода с разностью выходных значений сущности role_and_domain. Отображение не является изоморфным, так как давление c может быть результатом многих комбинаций a и b.
![]() Thing - сущность; possible_individual - возможный индивид; abstract_object - абстрактный объект; input - ввод; result - результат; functional_mapping - функциональное отображение; relationship - взаимоотношение; class - класс; domain - домен; codomain - область значений; class_of_relationship - класс взаимоотношения; class_of_functional_mapping - класс функционального отображения
Пример 1 - На рисунке 164 представлены данные для функции "x2" в том случае, когда "x" является любым вещественным числом.
![]() Class_of_functional_mapping - класс функционального отображения; number_range - числовой диапазон; number_space - числовое пространство; domain - домен; codomain - область значений; functional_mapping - функциональное отображение; real_number - вещественное число; input - ввод; result - результат
![]() Role_and_domain - роль и домен; class_of_multidimensional_object - класс многомерного объекта; reference - ссылка; differand - дифферанд; class_of_functional_mapping - класс функционального отображения; elements - элементы; difference inputs - входные значения разности; domain - домен; codomain - область значений; difference output - выходное значение разности; functional_mapping - функциональное отображение; multidimensional_property - многомерное свойство; difference - разность; property_space - пространство свойства; input - ввод; result - результат; pressure - давление; stream - поток; down stream - исходящий поток; upstream - входящий поток; property - свойство
Некоторые классы функционального отображения моделируются как явные подтипы сущности functional_mapping (см. рисунки 166 и 191). Три подтипа участвуют в операциях с множествами: пересечение, объединение и разность (см. 5.2.25). Описание сущности property_quantification и класса эквивалентной шкалы приводится в 4.8.4.3.2.
![]() Result - результат; functional_mapping - функциональное отображение; thing - сущность; input - ввод; intersection_of_set_of_class - пересечение множества класса; (RT) result - (RT) результат; (RT) input - (RT) ввод; union_of_set_of_class - объединение множества класса; enumerated_set_of_class - перечислимое множество класса; class - класс; difference_of_set_of_class - разность множества класса; property_quantification - квантификация свойства; arithmetic_number - арифметическое число; property - свойство
в виде карты
Пример 3 - На рисунке 167 представлены три диаграммы Венна, определяющие класс I, являющийся пересечением классов A, B и C класс U, являющийся объединением классов A, B и C и класс D, являющийся разностью классов A, B и C. Представление модели типами функционального отображения показано на рисунке 168.
![]() ![]() Class - класс; intersection_of_set_of_class - пересечение множества класса; enumerated_set_of_class - перечислимое множество класса; result - результат; input - ввод; union_of_set_of_class - объединение множества класса; difference_of_set_of_class - разность множества класса
классов A, B, C
Многие типы взаимоотношений явно не моделируются. Чтобы разрешить представление таких взаимоотношений, определяется другое взаимоотношение типа логических объектов (см. 5.2.11.1 и рисунок 187). Соответствующая модель проиллюстрирована рисунком 169.
![]() Thing - сущность; possible_individual - возможный индивид; abstract_object - абстрактный объект; end_1 - окончание 1; end_2 - окончание 2; other_relationship - другое взаимоотношение; relationship - взаимоотношение; class - класс; class_of_abstract_object - класс абстрактного объекта; class_of_relationship - класс взаимоотношения
Любые две сущности могут быть вовлечены в сущность other_relationship. Они различаются по ролям сущностей end_1 и end_2. Другое взаимоотношение исключает взаимоотношения, которые являются членами других явных подтипов сущности relationship. Значимость или смысл другого взаимоотношения можно задать путем его классификации с одним или более классами class_of_relationship (см. 5.2.12 и рисунок 188).
Пример - На рисунке 170 показана упорядоченная пара индивидов, состоящих из человека в определенный период времени и автомобиля в тот же самый период времени, который является сущностью other_relationship, классифицированной как взаимоотношение собственности. Однако нет индикации того, является ли человек собственником автомобиля или автомобиль владеет человеком.
![]() Class_of_relationship - класс взаимоотношения; other_relationship - другое взаимоотношение; possible_individual - возможный индивид; ownership - владение; end_1 - окончание 1; end_2 - окончание 2; me, today - я, сегодня; car, today - автомобиль, сегодня
Типы сущности other_relationship можно классифицировать, используя класс class_of_relationship_with_signature (см. 5.2.13.2 и рисунок 189). Эти типы снимают запрет на значимость или смысл взаимоотношений членов, роли участников взаимоотношений членов и ограничения на домен или типы участников взаимоотношений членов, которые нужно задавать.
Модель для класса class_of_relationship_with_signature представлена на рисунке 171. Классы сущности role_and_domain используются, чтобы ограничивать два окончания взаимоотношений членов.
Пример 1 - Роли "собственник" и "принадлежащий", не представленные в предыдущем примере, могут быть определены путем классифицирования сущности other_relationship в качестве класса class_of_relationship_with_signature для собственности с ролями "собственник" и "принадлежащий". Данные представлены на рисунке 172. "Собственник" и "принадлежащий" являются членами сущности role (роль), так как они не ограничиваются доменом. Также обе сущности possible_individual являются членами соответствующих ролей.
![]() Class - класс; role_and_domain - роль и домен; class_of_abstract_object - класс абстрактного объекта; class_of_end_1 - класс окончания 1; class_of_end_2 - класс окончания 2; class_of_relationship_with_signature - класс взаимоотношения с сигнатурой; class_of_relationship - класс взаимоотношения
![]() Class_of_relationship_with_signature - класс взаимоотношения с сигнатурой; role - роль; ownership - владение; class_of_end_1 - класс окончания 1; class_of_end_2 - класс окончания 2; owner - собственник; owned - принадлежащий; possible_individual - возможный индивид; other_relationship - другое взаимоотношение; end_1 - окончание 1; end_2 - окончание 2; me, today - я, сегодня; the car, today - автомобиль, сегодня
Пример 2 - На рисунке 173 представлен класс взаимоотношения "вставка индивида", смоделированный с использованием класса class_of_relationship_with_signature. Класс class_of_end_1 ссылается на сущность role_and_domain "вставленный и индивид", а класс class_of_end_2 ссылается на сущность role_and_domain "хост и индивид". Сущность other_relationship, связывающая сущности physical_object #1234 и AC6756, является членом класса class_of_relationship "вставка индивида".
Класс class_of_relationship "вставка в трубопровод канала ввода термопары" представлен как специализация "вставка индивида". Эта специализация ограничивает домен класса class_of_end_2 до "трубопровод", а домен класса class_of_end_1 - до "канал для ввода термопар" вместо какого-либо индивида.
![]() Class_of_inanimate_physical_object - класс неодушевленного физического объекта; role_and_domain - роль и домен; class_of_relationship_with_signature - класс взаимоотношения с сигнатурой; role - роль; insertion of individual - вставка индивида; thermowell - термопара; class_of_end_2 - класс окончания 2; pipeline - трубопровод; class_of_end_1 - класс окончания 1; host & individual - хост и индивид; inserted & individual - вставленный и индивид; host - хост; inserted - вставленный; host & pipeline - хост и трубопровод; pipe thermowell insertion - вставка термопары в трубопровод; inserted & thermowell - вставленный и термопара; physical_object - физический объект; other_relationship - другое взаимоотношение; end_2 - окончание 2; end_1 - окончание 1
Сущность physical_object #1234 является членом сущности role_and_domain "хост и трубопровод", которая представляет собой комбинацию сущности role "хост" и сущности domain "трубопровод". "Хост и трубопровод" есть подмножество (специализация) сущности role_and_domain "хост и индивид". Сущность physical_object #AC6756 есть член роли и домена "вставленный и канал для ввода термопары", являющийся специализацией сущности role "вставленная" и сущности domain "канал для ввода термопары".
Ограничения количества элементов множества можно также применять к членам класса class_of_relationship_with_signature.
Пример - На рисунке 174 показано использование количества элементов с классом class_of_relationship_with_signature, чтобы определять класс class_of_inanimate_physical_object "6 болтов M8", в котором каждый член - 6 болтов. Класс class_of_relationship_with_signature "сборка 6 болтов M8" имеет такое количество элементов, что каждые "6 болтов M8" всегда связываются точно шестью взаимоотношениями с разными болтами M8. Класс class_of_relationship_with_signature "сборка 6 болтов M8" есть специализация более общего класса class_of_relationship "сборка индивида". На рисунке также представлено одно из этих взаимоотношений для набора из шести болтов и единичного болта.
![]() Class_of_relationship_with_signature - класс взаимоотношения с сигнатурой; role_and_domain - роль и домен; assembly of individual - сборка индивида; class_of_end_2 - класс окончания 2; class_of_end_1 - класс окончания 1; whole & individual - целое и индивид; part & individual - часть и индивид; 6 M8 bolt assembly - сборка 6 болтов M8; part & M8 bolt - часть и болт M8; end_1_cardinality - количество элементов на окончании 1; physical_object - физический объект; 6 of M8 bolts - 6 болтов M8; min = 6 - мин. = 6; max = 6 - макс. = 6; min = 0 - мин. = 0; end_2_cardinality - количество элементов на окончании 2; max = 1 - макс. = 1; other_relationship - другое взаимоотношение; cardinality - количество элементов (отношений); 6 of M8 bolts - 6 болтов M8; end_2 - окончание 2; end_1 - окончание 1
4.10.4. Asymmetric other relationship classes (асимметричные классы других взаимоотношений)
Класс class_of_relationship_with_signature может быть объединен с классом class_of_relationship_with_related_end_1 или классом class_of_relationship_with_related_end_2, чтобы распознавать асимметричные неявные классы class_of_relationship (см. 5.2.12.2, 5.2.12.4, 5.2.13.2 и рисунок 188). Элементы модели представлены на рисунке 175.
Пример - На рисунке 176 показано применение класса class_of_relationship_with_signature с целью определения класса class_of_relationship "изготовление". Изготовление связывает производителя и продукт. Второй класс class_of_relationship_with_signature, являющийся также классом class_of_relationship_with_related_end_1, используется, чтобы определить специализацию взаимоотношения "изготовление" для случая, когда изготовление осуществляется компанией Bloggs & Co. Другое взаимоотношение, связывающее индивиды #1234 и Bloggs & Co, есть член класса class_of_relationship "изготовление компанией Bloggs & Co".
![]() Class - класс; role_and_domain - роль и домен; class_of_abstract_object - класс абстрактного объекта; class_of_end_1 - класс окончания 1; class_of_end_2 - класс окончания 2; class_of_relationship - класс взаимоотношения; class_of_relationship_with_signature - класс взаимоотношения с сигнатурой; class_of_relationship_with_related_end_2 - класс взаимоотношения с родственным окончанием 2; related - родственный; thing - сущность; class_of_relationship_with_related_end_1 - класс взаимоотношения с родственным окончанием 1
с сигнатурой
![]() Class_of_individual - класс индивида; class_of_relationship_with_signature - класс взаимоотношения с сигнатурой; role - роль; class_of_relationship_with_related_end_1 - класс взаимоотношения с родственным окончанием 1; fabrication - изготовление; physical object - физический объект; manufactured - изготовленный; class_of_end_2 - класс окончания 2; class_of_end_1 - класс окончания 1; product - продукт; role_and_domain - роль и домен; fabrication by Bloggs - изготовление компанией Bloggs; manufacturer - производитель; Bloggs made products - продукция компании Bloggs; other_relationship - другое взаимоотношение; related - родственный; Bloggs & Co - компания Bloggs & Co; end_1 - окончание 1; end_2 - окончание 2
Настоящий раздел задает схему, поддерживающую интеграцию жизненного цикла. Он делится на ряд подразделов. Это деление на подразделы является представительским только по сути. Предметные области, изложенные в каждом подразделе, не являются самостоятельными или разделимыми схемами.
Примечания. 1. Распечатка полной схемы на языке EXPRESS, заданной в настоящем стандарте с комментариями или другим объяснительным текстом, доступна в Интернете. См. Приложение B.
2. Данная схема не использует все средства языка EXPRESS. Приложение C предоставляет список неиспользуемых средств.
Следующая спецификация на языке EXPRESS представляет сущность lifecycle_integration_schema.
Спецификация на языке EXPRESS:
*)
SCHEMA lifecycle_integration_schema;
(*
Настоящий подраздел содержит определение сущности типа данных логических объектов, которая является типом данных корневой логической сущности lifecycle_integration_schema.
Примечание. На рисунке 177 представлена диаграмма типа(ов) данных логического объекта, определенного(ых) в настоящем подразделе (см. также 4.6.1).
5.2.1.1. Abstract object (абстрактный объект)
Сущность abstract_object есть сущность вне пространства и времени.
Спецификация на языке EXPRESS:
*)
ENTITY abstract_object
ABSTRACT SUPERTYPE
SUBTYPE OF(thing);
END_ENTITY;
(*
![]() Id - идентификатор; string - строка; record_created - запись создана; representation_of_Gregorian_date_and_UTC_time - представление даты по григорианскому календарю и всемирному координированному времени; record_creator - создатель записи; possible_individual - возможный индивид; thing - сущность; record_copy_created - создана копия записи; record_logically_deleted - запись логически удалена; why_deleted - причина удаления; class_of_information_representation - класс отображения информации; abstract_object - абстрактный объект; class - класс; relationship - взаимоотношение; multidimensional_object - многомерный объект
интеграции жизненного цикла
Сущность - все, что есть, о чем можно подумать или что можно воспринять, включая материальные и нематериальные объекты, идеи и действия.
Каждая сущность является либо сущностью possible_individual, либо сущностью abstract_object.
Примечания. 1. Каждая сущность является опознаваемой в пределах системы. Идентификаторы системы, созданные другими системами и принятые как часть обмена данными, могут храниться в запоминающем устройстве для будущей идентификации, ссылаясь на исходящую организацию или систему.
2. Каждый пример, предоставленный для объявленных типов данных другого логического объекта, является также примером сущности.
Спецификация на языке EXPRESS:
*)
ENTITY thing
ABSTRACT SUPERTYPE OF (ONEOF(possible_individual,
abstract_object));
id : STRING;
record_copy_created : OPTIONAL
representation_of_Gregorian_date_and_UTC_time;
record_created : OPTIONAL
representation_of_Gregorian_date_and_UTC_time;
record_creator : OPTIONAL possible_individual;
record_logically_deleted
: OPTIONAL
representation_of_Gregorian_date_and_UTC_time;
why_deleted : OPTIONAL class_of_information_representation;
UNIQUE
UR1 :id;
END_ENTITY;
(*
Определения атрибутов:
id: идентификатор сущности для целей управления записями в рамках системы;
record_copy_created: дата и время, когда эта копия записи была создана в текущей системе. Этот атрибут должен иметь значение только тогда, когда текущая система не является порождающей системой;
record_created: дата и время, когда эта запись была создана в первый раз в своей порождающей системе;
record_creator: субъект, организация или система, в первый раз создавшая эту запись в порождающей системе;
record_logically_deleted: дата и время логического удаления этой записи;
why_deleted: причина, почему определенная запись была логически удалена.
Примечание. Логическое удаление означает, что пока запись все еще является доступной в качестве материала исторической регистрации, она не считается общезначимым высказыванием.
Формальный повод:
UR 1: идентификатор id и сущность должны быть единственными в своем роде в пределах системы.
Настоящий подраздел содержит объявления типов данных логических объектов, которые отображают классы.
Примечание. На рисунке 178 представлена диаграмма типа(ов) данных логического объекта, определенного(ых) в настоящем подразделе (см. также 4.6.3 и 4.8).
![]() Classifier - классификатор; classified - классифицированный; classification - классификация; thing - сущность; upper_bound_of_property_range - верхняя граница диапазона свойства; lower_bound_of_property_range - нижняя граница диапазона свойства; class - класс; upper_bound_of_number_range - верхняя граница диапазона чисел; lower_bound_of_number_range - нижняя граница диапазона чисел; subclass - подкласс; superclass - суперкласс; specialization - специализация; role_and_domain - роль и домен; boundary_of_number_space - граница числового пространства; cardinality - количество элементов (отношений); boundary_of_property_space - граница пространства свойства; class_of_individual - класс индивида; specialization_of_individual_dimension_from_property - специализация единичной размерности по свойству; class_of_abstract_object - класс абстрактного объекта; specialization_by_domain - специализация по домену; class_of_class - класс класса; specialization_by_role - специализация по роли; class_of_relationship - класс взаимоотношения; class_of_multidimensional_object - класс многомерного объекта
интеграции жизненного цикла
5.2.2.1. Класс (class)
Класс есть сущность понимания природы вещей, делящая их на члены класса и на другие сущности, которые не соответствуют одному и более критериям. Идентичность класса однозначно определяется ее членами. Нет двух классов одного и того же членства. Однако различие должно быть сделано между классом, имеющим члены, и теми классами, члены которых познаются таким образом, что в рамках информационной системы записанные члены могут изменяться со временем, даже если истинное членство не изменяется.
Примечание 1. Членство класса изменяется в результате пространственно-временной парадигмы, которая лежит в основе настоящей схемы. В другой парадигме может быть заявлено, что автомобиль красный в одно время и зеленый - в другое, указывая, что класс красных вещей и класс зеленых вещей изменил члены. Однако, используя пространственно-временную парадигму, временная часть автомобиля была красной (заявление 1), а другая временная часть автомобиля - зеленой (заявление 2). Таким образом, члены классов красного и зеленого являются неизменными. Тот же самый принцип применяется к будущим временным частям как к прошлым временным частям, только с большей вероятностью, что их членство неизвестно.
Класс может быть членом другого класса или самого себя.
Примечание 2. Теория множеств, применяемая к классам в этой модели, является не вполне обоснованной [3] (см. D.2.4). Это позволяет делать заявления, подобные следующему: класс есть член класса, что не похоже на традиционные теории множества, например теорию множества Zermelo-Fraenkel, которую можно найти в текстах стандартов [4].
Существует нулевой класс, не имеющий членов.
Примечание 3. Известные члены класса идентифицируются благодаря сущности classification.
Примеры
1. "Центробежный насос" есть класс.
2. "Тип механического оборудования" есть класс.
3. "Температура" есть класс.
4. "Коммерческий реактор синтеза" есть класс.
5. "Стоградусная шкала" есть класс.
Примечание 4. Хотя имеется только один класс, не имеющий членов, может существовать другой класс, который не имеет членов в реальном мире, но который имеет члены в других возможных мирах.
Спецификация на языке EXPRESS:
*)
ENTITY class
SUPERTYPE OF (role_and_domain ANDOR cardinality ANDOR
ONEOF(class_of_individual,
class_of_abstract_object))
SUBTYPE OF(abstract_object);
END_ENTITY;
(*
5.2.2.2 Class of abstract object (класс абстрактного объекта)
Класс class_of_abstract_object есть класс, члены которого классифицируют члены сущности abstract_object.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_abstract_object
ABSTRACT SUPERTYPE
SUBTYPE OF(class);
END_ENTITY;
(*
Сущность classification - взаимоотношение, указывающее, что классифицированная сущность является членом класса классификатора. Классификация не является транзитивной.
Примечание. Подтип сущности relationship является транзитивным, когда A имеет отношение к B, а B имеет отношение к C, тогда A обязательно будет иметь отношение к C. Сущности specialization и composition являются примерами транзитивных подтипов взаимоотношения. Однако так как классификация не является транзитивной, это не означает, что A не может быть также связана с C. Но это не следует из связи A с B и B с C.
Примеры
1. Сущность relationship, указывающая, что "Лондон" есть член класса "город-столица", является сущностью classification.
2. Сущность relationship, которая указывает, что "насос" - член класса "тип оборудования", является его сущностью classification.
Спецификация на языке EXPRESS:
*)
ENTITY classification
SUBTYPE OF(relationship);
classified :thing;
classifier :class;
END_ENTITY;
(*
Определения атрибутов:
classified: сущность, являющаяся членом класса классификатора;
classifier: класс, член которого - классифицированная сущность.
Сущность specialization есть взаимоотношение, указывающее, что все члены подкласса являются членами суперкласса. Специализация является транзитивной.
Примечание. Если A есть специализация B и B есть специализация C, тогда A обязательно является специализацией C.
Пример - "Центробежный насос" - сущность specialization насоса.
Спецификация на языке EXPRESS:
*)
ENTITY specialization
SUPERTYPE OF (ONEOF(
boundary_of_number_space,
boundary_of_property_space,
specialization_by_domain,
specialization_by_role,
specialization_of_individual_dimension_from_property)
)
SUBTYPE OF(relationship);
subclass :class;
superclass :class;
END_ENTITY;
(*
Определения атрибутов:
subclass: класс, который является специализацией класса суперкласса;
superclass: класс, который является обобщением класса подкласса.
Этот подкласс содержит объявления типов данных логических объектов, которые представляют классы класса.
Примечание. На рисунке 179 представлена диаграмма типа(ов) данных логического объекта, определенного(ых) в этом подразделе.
5.2.3.1. Class of class (класс класса)
Класс class_of_class есть класс, чьи члены являются экземплярами класса.
Примечание. Если необходимо классифицировать класс class_of_class, можно использовать другой класс класса. Это возможно потому, что класс класса есть класс.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class
SUPERTYPE OF (ONEOF(
arithmetic_number,
class_of_class_of_individual,
class_of_class_of_relationship,
class_of_number,
class_of_property_space,
class_of_shape_dimension)
ANDOR enumerated_set_of_class)
SUBTYPE OF(class_of_abstract_object);
END_ENTITY;
(*
![]() Class_of_superclass - класс суперкласса; class_of_specialization - класс специализации; class_of_subclass - класс подкласса; class_of_class - класс класса; class_of_classifier - класс классификатора; class_of_classification - класс классификации; class_of_classified - класс классифицированный; class - класс; enumerated_set_of_class - перечислимое множество класса; arithmetic_number - арифметическое число; class_of_class_of_individual - класс класса индивида; class_of_class_of_relationship - класс класса взаимоотношения; class_of_number - класс числа; class_of_property_space - класс пространства свойства; class_of_shape_dimension - класс шейповой размерности
интеграции жизненного цикла
5.2.3.2. Class of classification (класс классификации)
Класс class_of_classification есть класс class_of_relationship, члены которого являются членами сущности classification. Класс классификации указывает, что член класса class_of_classified_class идентифицируется одним или более членами класса class_of_classifier.
Пример - Связь между классом "центробежный насос" и классом class_of_property RPM, указывающим, что "центробежный насос" есть член по меньшей мере одного класса RPM, может быть примером класса class_of_classification.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_classification
SUBTYPE OF(class_of_relationship);
class_of_classified :class;
class_of_classifier :class_of_class;
END_ENTITY;
(*
Определения атрибутов:
class_of_classified: класс, который представляет собой класс class_of_classified в классе class_of_classification;
class_of_classifier: класс class_of_class, который является классом class_of_classifier в классе class_of_classification.
5.2.3.3. Class of property space (класс пространства свойства)
Класс class_of_property_space есть класс class_of_class, чьи члены являются членами сущности property_space.
Примеры
1. Кривые свойства, области свойства и объемы свойства разной размерности и степени свободы являются членами класса class_of_property_space.
2. "Кривая рабочей характеристики насоса" есть пример класса class_of_property_space.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_property_space
SUBTYPE OF(class_of_class);
END_ENTITY;
(*
5.2.3.4. Class of specialization (класс специализации)
Класс class_of_specialization есть класс class_of_relationship, члены которого являются экземплярами сущности specialization. Он указывает, что член класса class_of_subclass есть подкласс члена класса class_of_superclass.
Пример - Класс class_of_specialization, указывающий на то, что члены класса "семейство болтов ASME", например болты 3 дюйма, 2 дюйма, являются специализацией сущности enumerated_property_set "набор болтов по длине", например 3 дюйма или 2 дюйма.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_specialization
SUBTYPE OF(class_of_relationship);
class_of_subclass :class_of_class;
class_of_superclass :class_of_class;
END_ENTITY;
(*
Определения атрибутов:
class_of_subclass: класс class_of_class, члены которого являются подклассом в членах класса class_of_specialization;
class_of_superclass: класс класса, члены которого являются суперклассом в членах class_of_specialization.
Настоящий подраздел содержит объявления типов данных логических объектов, которые представляют многомерные объекты.
Примечание. На рисунке 180 представлена диаграмма типа(ов) данных логического объекта, определенного(ых) в настоящем подразделе (см. также 4.6.5, 4.8.4.3.6 и 4.8.5.2.3).
5.2.4.1. Class of multidimensional object (класс многомерного объекта)
Класс class_of_multidimensional_object есть класс, члены которого являются экземплярами сущности multidimensional_object. Роль, которую играет каждая позиция в классифицированном многомерном объекте, задается в той же самой позиции в атрибутах сущностей role. Постоянные значения, которые применяются к любой позиции в ролях, задаются в той же самой позиции атрибута сущностей parameter. Количество элементов для атрибута сущностей role и cardinality задается в одной и той же позиции.
Пример - Определение ввода в функцию y = a + bx для преобразования градусов Цельсия в градусы Фаренгейта с ролями [a; b; x], определяющими сущность multidimensional_object и список параметров [32; 1,8] со списком сущности parameter_position [1; 2], является примером класса class_of_multidimensional_object.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_multidimensional_object
SUBTYPE OF(class_of_abstract_object);
cardinalities : OPTIONAL LIST [1:?] OF cardinality;
optional_element : LIST [1:?] OF BOOLEAN;
parameters : OPTIONAL LIST [1:?] OF thing;
parameter_position : OPTIONAL LIST [1:?] OF INTEGER;
roles : LIST [1:?] OF role_and_domain;
END_ENTITY;
(*
Определения атрибутов:
cardinalities: количество элементов, которое применяется к ролям. Если количество элементов не задается, ограничивающих условий нет. Если количество элементов задается, то оно должно быть задано для всех ролей;
optional_element: указывает, что элемент в этой позиции списка в многомерном объекте, член класса многомерного объекта, является необязательным (или обязательным). Значение TRUE означает, что элемент является необязательным, а значение FALSE означает, что он является обязательным;
paramaters: список параметров, ассоциированных с ролями;
parameter_position: список позиций, относящихся к ролям для списка параметров;
roles: роли, ассоциированные с классифицированным многомерным объектом.
![]() ![]() Elements L[1:?] - элементы L[1:?]; thing - сущность; multidimensional_object - многомерный объект; position L[1:?] - позиция L[1:?]; integer - целочисленный тип; multidimensional_number - многомерное число; multidimensional_number_space - многомерное числовое пространство; multidimensional_property - многомерное свойство; multidimensional_property_space - пространство многомерного свойства; multidimensional_scale - многомерная шкала; roles L[1:?] - роли L[1:?]; role_and_domain - роль и домен; parameters L[1:?] - параметры L[1:?]; class_of_multidimensional_object - класс многомерного объекта; parameter_position L[1:?] - позиция параметра L[1:?]; cardinalities L[1:?] - количество элементов (отношений) L[1:?]; cardinality - количество элементов (отношений); optional_element L[1:?] - выборочный элемент L[1:?]; Boolean - Булево выражение
интеграции жизненного цикла
5.2.4.2. Multidimensional object (многомерный объект)
Сущность multidimensional_object есть абстрактный объект, являющийся упорядоченным списком сущностей. Значимость многомерного объекта устанавливается через его членство в классе class_of_multidimensional_object, указывающем роль каждого из его элементов.
Примечание. Сущность multidimensional_object [A, B, C] отличается от [B, C, A].
Пример - [32; 1,8; 20] есть сущность multidimensional_object, которая может быть задана, чтобы стать параметром ввода для функции y = a + bx для преобразования 20 градусов Цельсия в градусы по Фаренгейту.
Спецификация на языке EXPRESS:
*)
ENTITY multidimensional_object
SUPERTYPE OF (ONEOF(multidimensional_property_space,
multidimensional_number,
multidimensional_property,
multidimensional_number_space,
multidimensional scale))
SUBTYPE OF(abstract_object);
elements : LIST [1:?] OF thing;
position : OPTIONAL LIST [1:?] OF INTEGER;
END_ENTITY;
(*
Определения атрибутов:
elements: перечень сущностей, составляющих сущность multidimensional_object. Роль каждой сущности устанавливается путем классифицирования класса class_of_multidimensional_object;
position: позиция элемента относительно списка ролей в классифицируемом классе многомерного объекта. Данные элементы должны быть перечислены в порядке возрастания. Этот атрибут требуется при исчезновении некоторых элементов. Тип данных списка на языке EXPRESS не допускает отсутствия элементов в списке. Данный атрибут предоставляет отображение информации.
5.2.5. Numbers (числа)
Этот подраздел содержит объявления типов данных логических объектов, которые представляют числа.
Примечание. На рисунке 181 представлена диаграмма типа(ов) данных логического объекта, определенного(ых) в этом подразделе (см. также 4.8.5).
Сущность arithmetic_number есть класс, чьи члены имеют одинаковый знак и счет или модуль. Арифметическое число - само число, а не какое-либо его представление.
Примечание. Сущность integer_number не является подтипом сущности real_number. Члены целого числа не являются частью континуума, отличного от членов вещественного числа, но являются изоморфными по отношению к его подмножеству.
Примеры
1. Числа 2 и 2,0 могут быть представлены экземплярами сущности arithmetic_number.
2. Пятнадцать, само число, а не английское слово "fifteen", является арифметической сущностью arithmetic_number. Оно могло быть представлено целым числом на языке EXPRESS (EXPRESS_integer) или могло быть отображено как XV, или в двоичном коде или в шестнадцатеричном представлении.
![]() Class_of_number - класс числа; enumerated_number_set - перечислимое числовое множество; (RT) subclass - (RT) подкласс; number_space - числовое пространство; boundary_of_number_space - граница числового пространства; (RT) superclass - (RT) суперкласс; lower_bound_of_number_range - нижняя граница диапазона чисел; (RT) classifier - (RT) классификатор; (RT) classified - (RT) классифицированный; arithmetic_number - арифметическое число; number_range - числовой диапазон; upper_bound_of_number_range - верхняя граница диапазона чисел; integer_number - целое число; real_number - вещественное число; multidimensional_number_space - многомерное числовое пространство; multidimensional_number - многомерное число
интеграции жизненного цикла
Спецификация на языке EXPRESS:
*)
ENTITY arithmetic_number
SUPERTYPE OF (ONEOF(real_number, integer_number,
multidimensional_number))
SUBTYPE OF(class_of_class);
END_ENTITY;
(*
5.2.5.2. Boundary of number space (граница числового пространства)
Сущность boundary_of_number_space есть сущность specialization, указывающая на то, что сущность number_space является границей другого числового пространства.
Спецификация на языке EXPRESS:
*)
ENTITY boundary_of_number_space
SUBTYPE OF(specialization);
SELF\specialization.subclass: number_space;
SELF\specialization.superclass : number_space;
END_ENTITY;
(*
Класс class_of_number есть класс class_of_class, члены которого являются членами сущности arithmetic_number.
Пример - Класс простых чисел может быть представлен экземпляром класса class_of_number.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_number
SUPERTYPE OF (ONEOF(number_space, enumerated_number_set))
SUBTYPE OF(class_of_class);
END_ENTITY;
(*
Сущность enumerated_number_set есть класс class_of_number и сущность enumerated_set_of_class.
Спецификация на языке EXPRESS:
*)
ENTITY enumerated_number_set
SUBTYPE OF(class_of_number, enumerated_set_of_class);
END_ENTITY;
(*
5.2.5.5. Integer number (целое число)
Сущность integer_number есть сущность arithmetic_number, являющаяся целым числом.
Пример - 1, 2 и 10 являются представлениями сущности integer_numbers.
Спецификация на языке EXPRESS:
*)
ENTITY integer_number
SUBTYPE OF(arithmetic_number);
END_ENTITY;
(*
5.2.5.6. Lower bound of number range (нижняя граница диапазона чисел)
Сущность lower_bound_of_number_range есть взаимоотношение, указывающее, что сущность arithmetic_number является наименьшим значением сущности number_range.
Пример - 3,1 есть нижняя граница диапазона [3,1 - 5,3].
Спецификация на языке EXPRESS:
*)
ENTITY lower_bound_of_number_range
SUBTYPE OF(classification);
SELF\classification.classified : arithmetic_number;
SELF\classification.classifier : number_range;
END_ENTITY;
(*
Определения атрибутов:
classified: классифицированная сущность arithmetic_number, являющаяся нижней границей сущности number_range;
classifier: сущность number_range, которая в качестве классификатора ограничивается сущностью arithmetic_number.
Сущность multidimensional_number есть сущность arithmetic_number, являющаяся также сущностью multidimensional_object.
Пример - [3,2; 5,4; 55,6] есть сущность multidimensional_number.
Спецификация на языке EXPRESS:
*)
ENTITY multidimensional_number
SUBTYPE OF(arithmetic_number, multidimensional_object);
END_ENTITY;
(*
Сущность multidimensional_number_space есть сущность number_space и сущность multidimensional_object.
Пример - R3, пространство, определенное как все тройные вещественные числа (например, 1,0; 2,1; 5,4), есть сущность multidimensional_number_space.
Спецификация на языке EXPRESS:
*)
ENTITY multidimensional_number_space
SUBTYPE OF(number_space, multidimensional_object);
END_ENTITY;
(*
Сущность number_range есть одномерная сущность number_space.
Спецификация на языке EXPRESS:
*)
ENTITY number_range
SUBTYPE OF(number_space);
END_ENTITY;
(*
Сущность number_space есть класс class_of_number, то есть континуум.
Пример - Целые числа от 1 до 5 и вещественные числа от 0,000 до 1,000 являются примерами сущности number_space.
Спецификация на языке EXPRESS:
*)
ENTITY number_space
SUPERTYPE OF (ONEOF(number_range, multidimensional_number_space))
SUBTYPE OF(class_of_number);
END_ENTITY;
(*
5.2.5.11. Real number (вещественное число)
Сущность real_number есть сущность arithmetic_number, являющаяся действительным числом.
Пример - 3,2146 есть представление сущности real_number.
Спецификация на языке EXPRESS:
*)
ENTITY real_number
SUBTYPE OF(arithmetic_number);
END_ENTITY;
(*
5.2.5.12. Upper_bound_of_number_range (верхняя граница диапазона чисел)
Сущность upper_bound_of_number_range есть сущность relationship, указывающая, что сущность arithmetic_number является самым большим значением сущности number_range.
Пример - 5,3 есть верхняя граница диапазона [3,1 - 5,3].
Спецификация на языке EXPRESS:
*)
ENTITY upper_bound_of_number_range
SUBTYPE OF(classification);
SELF\classification.classified : arithmetic_number;
SELF\classification.classifier : number_range;
END_ENTITY;
(*
Определения атрибутов:
classified: сущность arithmetic_number, которая в качестве классифицированного числа ограничивается сущностью upper_bound_of_number_range;
classifier: сущность number_range, которая в качестве классификатора ограничивается сущностью upper_bound_of_number_range.
Этот подраздел содержит объявления типов данных логических объектов, которые представляют возможные индивиды.
Примечание. На рисунке 182 представлена диаграмма типа(ов) данных логического объекта, определенного(ых) в этом подразделе (см. также 4.6.2 и 4.7).
Сущность actual_individual есть сущность possible_individual, являющаяся частью пространственно-временного континуума, в котором мы живем.
Примечание. Вещи, которые мы планируем, только считаются частью некой воображаемой вселенной до тех пор, пока они не происходят.
Примеры
1. Эйфелева башня является сущностью actual_individual.
2. Компьютер, используемый для редактирования настоящего стандарта, является сущностью actual_individual.
3. Вымышленная личность Шерлок Холмс - возможный индивид, не является сущностью actual_individual.
4. Земля в 2300 г. (допуская, что она все еще будет существовать) является сущностью actual_individual.
Спецификация на языке EXPRESS:
*)
ENTITY actual_individual
SUBTYPE OF(possible_individual);
END_ENTITY;
(*
![]() Whole - целое; possible_individual - возможный индивид; composition_of_individual - состав индивида; part - часть; event - событие; whole_life_individual - индивид всей жизни; participation - участие; period_in_time - период времени; temporal_whole_part - временная часть целого; actual_individual - реальный индивид; activity - действие; temporal_bounding - временное ограничение; physical_object - физический объект; arrangement_of_individual - расположение индивида; arranged_individual - упорядоченный индивид; (RT) whole - (RT) целое; functional_physical_object - функциональный физический объект; assembly_of_individual - сборка индивида; materialized_physical_object - материализованный физический объект; feature_whole_part - признак части целого; stream - поток; spatial_location - пространственное расположение
интеграции жизненного цикла
Сущность arranged_individual есть сущность possible_individual, имеющая части, которые играют разные роли в отношении целого. Качество сущности arranged_individual отличается от качества его частей.
Примеры
1. Сосуд с серийным номером V-1234 - сущность arranged_individual.
2. Компания Blogss & Co - сущность arranged_individual.
3. Портативный компьютер, состоящий из основной части со сменным CD-ROM, дисководом гибкого диска и кабелями подачи питания, - сущность arranged_individual.
Спецификация на языке EXPRESS:
*)
ENTITY arranged_individual
SUBTYPE OF(possible_individual);
END_ENTITY;
(*
Сущность arrangement_of_individual есть состав индивида, указывающий, что часть является частью сущности arranged_individual. Временной экстент части есть часть целого. Расположение индивида может быть сущностью assembly_of_individ.
Примечания. 1. Терм "упорядоченный" подразумевает, что части играют частные роли в отношении целого.
2. Природа отношений к другим частям целого не задается отношением расположения. На это могли бы указывать взаимоотношения, подобные сущностям connection_of_individual и relative_location.
Примеры
1. Взаимоотношение, указывающее, что определенный самолет летит как часть строя, может быть представлено экземпляром сущности arrangement_of_individual.
2. Взаимоотношение, указывающее, что частный бункер на товарном складе есть часть расположения склада, может быть представлено экземпляром сущности arrangement_of_individual.
Спецификация на языке EXPRESS:
*)
ENTITY arrangement_of_individual
SUPERTYPE OF (ONEOF(assembly_of_individual, feature_whole_part))
SUBTYPE OF(composition_of_individual);
SELF\composition_of_individual.whole : arranged_individual;
END_ENTITY;
(*
Определения атрибутов:
whole: сущность arranged_individual есть целое в сущности arrangement_of_individual.
Сущность assembly_of_individual есть сущность arrangement_of_individual, указывающая, что часть прямо или косвенно соединяется с другими частями целого. Части и целые объекты являются супермолекулярными объектами.
Примечание. Состав молекул и меньших частиц представляется через экземпляры класса class_of_arrangement_of_individual.
Пример - Отношение, указывающее, что временная часть рабочего колеса есть часть насоса в сборе, является экземпляром сущности assembly_of_individual.
Спецификация на языке EXPRESS:
*)
ENTITY assembly_of_individual
SUBTYPE OF(arrangement_of_individual);
END_ENTITY;
(*
Сущность composition_of_individual есть сущность relationship, указывающая, что часть сущности possible_individual является частью целого возможного индивида.
Примечание. Простой состав означает, например, что упорядочение частей необязательно или не подразумевается. Расположение частей определено сущностью arrangement_of_individual, которая, будучи подтипом, подразумевает также простой состав.
Пример - Песчинка, будучи частью кучи песка, является примером сущности composition_of_individual.
Спецификация на языке EXPRESS:
*)
ENTITY composition_of_individual
SUPERTYPE OF (ONEOF(arrangement_of_individual, temporal_whole_part,
participation, temporal_bounding))
SUBTYPE OF(relationship);
part :possible_individual;
whole :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
part: сущность possible_individual, являющаяся частью целого возможного индивида;
whole: возможный индивид, являющийся целым в сущности composition_of_individual.
Сущность feature_whole_part есть сущность arrangement_of_individual, указывающая, что часть является неотделимой, непрерывной частью целого.
Примечание. Это понятие включает целое, которое не может быть разобрано без разрушения и вновь собрано, например литой впускной фланец насоса.
Пример - Отношение, указывающее, что лицевая поверхность фланца является частью фланца, может быть представлено экземпляром сущности feature_whole_part.
Спецификация на языке EXPRESS:
*)
ENTITY feature_whole_part
SUBTYPE OF(arrangement_of_individual);
END_ENTITY;
(*
Сущность functional_physical_object есть сущность physical_object, имеющая скорее функциональную, чем материальную непрерывность в качестве базиса для идентичности. Смежные временные части сущности functional_physical_object не нуждаются в общем веществе или энергии при условии, что вещество или энергия каждой временной части выполняет ту же самую функцию.
Пример - Система теплообменника тэг E-4507, являющаяся частью системы передачи дистиллята, может служить примером экземпляра сущности functional_physical_object, что является отличием от ES/1234 - номера производства кожухотрубного теплообменника, установленного как E-4507, когда установка была первый раз смонтирована и позднее удалена как изношенная, чтобы заменить ее новым теплообменником с другим серийным номером. ES/1234 - номер производства кожухотрубного теплообменника и его замена с другим номером может быть представлена экземплярами сущности materialized_physical_object. Когда ES/1234 устанавливается как E-4507, то имеется временная часть ES/1234, которая также является временной частью E-4507.
Спецификация на языке EXPRESS:
*)
ENTITY functional_physical_object
SUBTYPE OF(physical_object);
END_ENTITY;
(*
Сущность materialized_physical_object есть сущность physical_object, имеющая непрерывность вещества и (или) энергии в качестве базиса для идентичности. Непрерывность вещества или энергии требует, чтобы вещество или энергия были общими со смежными временными частями сущности materialized_physical_object. Замена некоторых компонентов не создает новую идентичность.
Пример - Кожухотрубный теплообменник с производственным серийным номером ES/1234 может быть представлен в качестве экземпляра сущности materialized_physical_object.
Спецификация на языке EXPRESS:
*)
ENTITY materialized_physical_object
SUBTYPE OF(physical_object);
END_ENTITY;
(*
Сущность period_in_time есть сущность possible_individual, являющаяся всем пространством для части времени - временной части вселенной.
Примеры
1. "Июль 2000 г." есть экземпляр сущности period_in_time.
2. "Период всеобщего координированного времени с 06:00 21.11.00 до 11:53 21.11.00" является экземпляром сущности period_in_time, соответствующим ИСО 8601.
Спецификация на языке EXPRESS:
*)
ENTITY period_in_time
SUBTYPE OF(possible_individual);
END_ENTITY;
(*
Сущность physical_object есть сущность possible_individual, являющаяся распределением вещества, энергии или того и другого.
Примеры
1. "Кусок металла" является сущностью physical_object.
2. "Дерево" является сущностью physical_object.
3. "Вещь, идентифицированная тегом P101", является сущностью physical_object.
4. "Луч света" является сущностью physical_object.
5. "Резервуар, который сооружается и демонтируется на участке строительства", является как сущностью materialized_physical_object, так и сущностью functional_physical_object.
Спецификация на языке EXPRESS:
*)
ENTITY physical_object
SUBTYPE OF(possible_individual);
END_ENTITY;
(*
5.2.6.11. Possible individual (возможный индивид)
Сущность possible_individual - сущность, существующая в пространстве и времени. Это понятие включает следующее:
- сущности в том случае, если пространственно-временные размеры являются исключительно малыми;
- то, что является либо всем пространством в любое время, либо всем временем в любом пространстве;
- целостность всего пространственно-временного;
- реально существующие или существовавшие сущности;
- сущности, которые являются вымыслом или гипотезой либо возможно существовали в прошлом, существуют в настоящем или будут существовать в будущем;
- временные части (заявления) других индивидов;
- сущности, имеющие особую позицию, но нулевое протяжение в одном или больше размерах, например точки, линии и поверхности.
В этом контексте существование базируется на сути воображаемого индивида в рамках некоторой последовательной логики, включая действительные, гипотетические, запланированные, ожидаемые или требуемые индивиды.
Пример - "Насос с серийным номером ABC 123", "электростанция "Баттерси", "сэр Джозеф Витворт", "Шекспир" и "судно "Энтерпрайз" являются экземплярами сущности possible_individual.
Спецификация на языке EXPRESS:
*)
ENTITY possible_individual
SUBTYPE OF(thing);
END_ENTITY;
(*
Сущность spatial_location есть сущность physical_object, имеющая непрерывность относительного положения.
Пример - "Географические данные", "лицензионный блок", "зона строительства", "страна", "воздушный коридор", "зона морского судоходства", "зона управления риском", "четырехмерные точки", "линии", "плоскости", "твердые тела".
Спецификация на языке EXPRESS:
*)
ENTITY spatial_location
SUBTYPE OF(physical_object);
END_ENTITY;
(*
Сущность stream есть сущность physical_object, являющаяся материей или энергией, которые перемещаются по некоторому пути, если путь является базисом идентичности и может быть ограничен. Сущность stream состоит из временных частей тех объектов, которые находятся в потоке до момента выхода из него.
Примеры
1. "Течение" - это четырехмерная ограниченная сущность stream, когда путь пересекает поверхность.
2. "Сырая нефть, текущая в трубопроводе между установкой по сырой перегонке нефти и добывающей платформой", является сущностью stream.
Спецификация на языке EXPRESS:
*)
ENTITY stream
SUBTYPE OF(physical_object);
END_ENTITY;
(*
Сущность temporal_whole_part есть сущность composition_of_individual, указывающая, что сущность possible_individual является частью другой сущности possible_individual. Пространственная протяженность временной части есть сущность temporal_whole_part за период существования временной части.
Взаимоотношения, которые, применяясь к целой сущности possible_individual, также применяются к временным частям сущности possible_individual, за исключением случаев, когда взаимоотношения относятся к сущности temporal_whole_part. Например, если объединяется сущность possible_individual, то объединяются все ее временные части, но существование сущности whole_life_individual не наследуется его временными частями.
Примечание. Так как сущность temporal_whole_part является транзитивной, иерархия временных частей предполагает установление на самом верху сущности whole_life_individual.
Примеры
1. Отношение, указывающее, что период эксплуатации насоса является временной частью насоса, которая может быть представлена экземпляром сущности temporal_whole_part.
2. Взаимоотношение, указывающее, что период времени, известный как март 1999 г., является частью I квартала 1999 г., и может быть представлен экземпляром сущности temporal_whole_part.
Спецификация на языке EXPRESS:
*)
ENTITY temporal_whole_part
SUBTYPE OF(composition_of_individual);
END_ENTITY;
(*
Сущность whole_life_individual есть сущность possible_individual, которая является членом класса class_of_individual и не является временной частью любой другой сущности possible_individual, которая является также членом одного и того же класса индивида. Сущность whole_life_individual содержит свое прошлое и будущее.
Примеры
1. "Пластмассовый стаканчик" (заключенный в границы моментами его создания и разрушения) может быть представлен экземпляром сущности whole_life_individual. "Стаканчик, пока еще стоящий на столе", является временной частью этой сущности.
2. "Вселенная" во все времена является сущностью whole_life_individual.
Спецификация на языке EXPRESS:
*)
ENTITY whole_life_individual
SUBTYPE OF(possible_individual);
END_ENTITY;
(*
Настоящий подраздел содержит объявления типов данных логических объектов, которые представляют классы индивида.
Примечание. На рисунке 183 представлена диаграмма типа(ов) данных логического объекта, определенного(ых) в этом подразделе (см. также 4.8.4 и 4.8.4.10).
Класс class_of_arrangement_of_individual есть класс состава индивида, члены которого являются экземплярами расположения индивида.
Пример - Тот факт, что вода состоит из молекул
![]() Class_of_whole - класс целого; class_of_composition_of_individual - класс состава индивида; class_of_individual - класс индивида; class_of_part - класс части; class_of_arranged_individual - класс упорядоченного индивида; class_of_participation - класс участия; individual_dimension - единичная размерность; class_of_temporal_whole_part - класс временной части целого; property - свойство; class_of_arrangement_of_individual - класс расположения индивида; (RT) class_of_whole - (RT) класс целого; status - статус; class_of_assembly_of_individual - класс сборки индивида; class_of_period_in_time - класс периода времени; class_of_feature_whole_part - класс признака части целого; class_of_event - класс события; namespace - пространство имен; class_of_point_in_time - класс момента времени; class_of_class_of_part - класс класса части; class_of_class_of_individual - класс класса индивида; class_of_class_of_composition - класс класса состава; class_of_class_of_whole - класс класса целого; participating_role_and_domain - участвующие роль и домен; class_of_property - класс свойства; class_of_status - класс статуса; shape_dimension - шейповая размерность; class_of_class_of_information_representation - класс класса отображения информации
интеграции жизненного цикла
Спецификация на языке EXPRESS:
*)
ENTITY class_of_arrangement_of_individual
SUPERTYPE OF (ONEOF(class_of_feature_whole_part,
class_of_assembly_of_individual, namespace))
SUBTYPE OF(class_of_composition_of_individual);
SELF\class_of_composition_of_individual.class_of_whole :
class_of_arranged_individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_whole: класс class_of_arranged_individual, являющийся классом class_of_whole в классе class_of_arrangement_of_individual.
Класс class_of_assembly_of_individual есть класс расположения индивида, члены которого являются экземплярами сущности assembly_of_individual.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_assembly_of_individual
SUBTYPE OF(class_of_arrangement_of_individual);
END_ENTITY;
(*
5.2.7.3. Class of class of composition (класс класса состава)
Класс class_of_class_of_composition есть класс class_of_relationship, члены которого являются экземплярами класса class_of_composition. Он указывает, что член члена класса class_of_class_of_part является частью члена экземпляра класса class_of_class_of_whole.
Пример - Описание токсичности есть класс class_of_class_of_part карты данных материала в том случае, когда замечание "имеет канцерогенные компоненты" есть класс части на карте данных безопасности материала "Mogas", а копия #5 этой карты содержит фразу "имеет канцерогенные компоненты" как часть.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class_of_composition
SUBTYPE OF(class_of_class_of_relationship);
class_of_class_of_part :class_of_class_of_individual;
class_of_class_of_whole :class_of_class_of_individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_class_of_part: класс class_of_class_of_individual (класс класса индивида), являющийся классом class_of_class_of_part в классе class_of_class_of_composition;
class_of_class_of_whole: класс class_of_class_of_individual, являющийся классом class_of_class_of_whole в классе class_of_class_of_composition.
Класс class_of_class_of_individual есть класс class_of_class, члены которого являются экземплярами класса class_of_individual.
Пример - "Первосортный продукт" является классом class_of_class_of_individual, который в качестве члена содержит класс class_of_individual "Mogas".
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class_of_individual
SUPERTYPE OF (ONEOF(class_of_class_of_information_representation,
class_of_property, class_of_status,
shape_dimension))
SUBTYPE OF(class_of_class);
END_ENTITY;
(*
Класс class_of_composition_of_individual это класс class_of_relationship, члены которого являются членами сущности composition_of_individual.
Пример - "Куча песка, состоящая из песчинок", является примером класса class_of_composition_of_individual.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_composition_of_individual
SUPERTYPE OF (ONEOF(class_of_arrangement_of_individual,
class_of_temporal_whole_part,
class_of_participation))
SUBTYPE OF(class_of_relationship);
class_of_part :class_of_individual;
class of whole :class of individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_part: класс class_of_individual, являющийся классом class_of_part в классе class_of_composition_of_individual;
class_of_whole: класс class_of_individual, являющийся классом class_of_whole в классе class_of_composition_of_individual.
5.2.7.6. Class of event (класс события)
Класс class_of_event есть класс class_of_individual, члены которого являются членами сущности event.
Пример - "Непрерывное" и "мгновенное" являются экземплярами класса class_of_event. Непрерывным событием является, например, ограничение потока в трубопроводе.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_event
SUBTYPE OF(class_of_individual);
END_ENTITY;
(*
5.2.7.7. Class of feature whole part (класс признака части целого)
Класс class_of_feature_whole_part есть класс class_of_arrangement_of_individual, члены которого являются экземплярами сущности feature_whole_part.
Пример - "Карман термопары" имеет "стержни", "столы" имеют "верхние части" - это примеры класса class_of_feature_whole_part.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_feature_whole_part
SUBTYPE OF(class_of_arrangement_of_individual);
END_ENTITY;
(*
5.2.7.8. Class of individual (класс индивида)
Класс class_of_individual есть класс, члены которого являются экземплярами сущности possible_individual.
Пример - Класс, известный как "инженер", члены которого люди, имеющие квалификацию или знающие технологические принципы и практические способы их воплощения, может представлять экземпляр class_of_individual.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_individual
SUPERTYPE OF (ONEOF(
class_of_event,
class_of_arranged_individual,
class_of_period_in_time,
individual_dimension,
property,
status
)
ANDOR participating_role_and_domain)
SUBTYPE OF(class);
END_ENTITY;
(*
Класс class_of_period_in_time есть класс class_of_individual, члены которого являются экземплярами сущности period_in_time.
Пример - "Понедельник" и "июль" - примеры class_of_period_in_time.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_period_in_time
SUBTYPE OF(class_of_individual);
END_ENTITY;
(*
Класс class_of_point_in_time есть класс class_of_event, члены которого являются членами сущности point_in_time.
Пример - "Полночь" есть класс class_of_point_in_time.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_point_in_time
SUBTYPE OF(class_of_event);
END_ENTITY;
(*
Класс class_of_status есть класс class_of_class_of_individual, члены которого являются сущностью status.
Пример - Примером класса class_of_status является "одобрение", имеющее следующие члены: "нет оценки", "одобрено", "отклонено".
Спецификация на языке EXPRESS:
*)
ENTITY class_of_status
SUBTYPE OF(class_of_class_of_individual);
END_ENTITY;
(*
Класс class_of_temporal_whole_part есть класс class_of_composition_of_individual, члены которого являются членами сущности temporal_whole_part.
Пример - Класс, указывающий, что установки по перегонке сырой нефти могут иметь максимальный режим выдачи нафты (тяжелого бензина), может быть представлен в качестве экземпляра класса class_of_temporal_whole_part.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_temporal_whole_part
SUBTYPE OF(class_of_composition_of_individual);
END_ENTITY;
(*
Сущность status есть класс class_of_individual, являющийся характеристикой или качеством с дискретным описанием.
Пример - Классы "открытый", "окрашенный", "одобренный", "старый", "новый", "изношенный", "рискованный", "безопасный", "опасный", "счастливый", "печальный" и "ржавый" могут быть представлены экземплярами сущности status.
Примечание. Степень открытости или окрашенности определяется как экземпляр сущности property, а не сущности status.
Спецификация на языке EXPRESS:
*)
ENTITY status
SUBTYPE OF(class_of_individual);
END_ENTITY;
(*
В настоящем подразделе содержатся объявления типов данных логических объектов, которые представляют классы упорядоченного индивида.
Примечание. На рисунке 184 представлена диаграмма типа(ов) данных логического объекта, определенного(ых) в настоящем подразделе (см. также 4.7.9 и 4.8.4.1).
5.2.8.1. Class of arranged individual (класс упорядоченного индивида)
Класс class_of_arranged_individual есть класс class_of_individual, члены которого характеризуются расположением компонентов.
Пример - "Робот-полицейский" есть класс class_of_arranged_individual, который имеет части, являющиеся частями некоторого класса class_of_inanimate_physical_object и частями - членами некоторого класса class_of_organism.
Примечания. 1. Ограничение EXPRESS ONE OF на некоторые подтипы не препятствует частной сущности possible_individual быть, например, членом сущности arranged_individual, относящейся к классу биологического вещества, и членом частного класса class_of_composite_material.
2. Спецификации и описания полезных объектов часто являются пересечениями нескольких классов расположения, допуская возможность ограничения аспектов как формы, так и материала. В настоящем стандарте такие пересечения являются членами класса class_of_arranged_individual, класса class_of_feature, класса class_of_inanimate_physical_object, класса class_of_organization, класса class_of_activity, класса class_of_organism или класса class_of_information_object.
![]() Class_of_arranged_individual - класс упорядоченного индивида; class_of_biological_matter - класс биологического вещества; class_of_inanimate_physical_object - класс неодушевленного физического объекта; class_of_functional_object - класс функционального объекта; class_of_composite_material - класс композиционного материала; class_of_person - класс субъекта; class_of_organism - класс организма; phase - фаза; class_of_particulate_material - класс зернистого материала; class_of_feature - класс признака; class_of_compound - класс структурного состава; class_of_organization - класс организации; crystalline_structure - кристаллическая структура; class_of_molecule - класс молекул; class_of_activity - класс действия; class_of_atom - класс атома; class_of_sub_atomic_particle - класс субатомной частицы; class_of_information_object - класс информационного объекта; class_of_information_presentation - класс представления информации; class_of_information_representation - класс отображения информации
интеграции жизненного цикла
Спецификация на языке EXPRESS:
*)
ENTITY class_of_arranged_individual
SUPERTYPE OF (ONEOF(
class_of_atom,
class_of_biological_matter,
class_of_composite_material,
class_of_compound,
class_of_functional_object,
class_of_information_presentation,
class_of_information_representation,
class_of_molecule,
class_of_particulate_material,
class_of_sub_atomic_particle,
crystalline_structure,
phase)
ANDOR class_of_organization
ANDOR class_of_activity
ANDOR class_of_information_object
ANDOR class_of_feature
ANDOR ONEOF(class_of_organism,
class_of_inanimate_physical_object))
SUBTYPE OF(class_of_individual);
END_ENTITY;
(*
5.2.8.2. Class of atom (класс атома)
Класс class_of_atom есть класс упорядоченного индивида, члены которого являются атомами.
Пример - Все вводы в Периодическую таблицу элементов могут быть представлены экземплярами класса атома.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_atom
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.3. Class of biological matter (класс биологического вещества)
Класс class_of_biological_matter есть класс class_of_arranged_individual, члены которого являются частными типами клетки или скопления клеток.
Пример - Классы, известные как "кровь", "ферменты" и "плазма", могут быть представлены как экземпляры класса class_of_biological_matter.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_biological_matter
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.4. Class of composite material (класс композиционного материала)
Класс class_of_composite_material есть класс class_of_arranged_individual, члены которого имеют общее расположение отделяемых компаундов.
Примеры
1. Слоистые материалы, например "фанера", "стекловолокно" или "углеродное волокно", могут быть представлены в качестве экземпляров класса class_of_composite_material.
2. "Дерево", "мускул" и "кожа" могут быть представлены в качестве экземпляров класса class_of_composite_material.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_composite_material
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.5. Class of compound (класс компаунда)
Класс class_of_compound есть класс class_of_arranged_individual, члены которого состоят из молекул одинаковых или разных типов, связанных вместе молекулярными силами. Это относится как к смесям, так и к сплавам.
Пример - "Вода", "серная кислота", "песок", "известняк" и "сталь" могут быть представлены в качестве экземпляров класса class_of_compound.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_compound
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.6. Class of feature (класс признака)
Класс class_of_feature есть класс class_of_arranged_individual, члены которого являются непрерывными, неотделяемыми частями некоторого возможного индивида и имеют неопределенную границу.
Пример - Классы, известные как "гора", "канавка", "обод", "сопло", "носовая часть" и "выступающая лицевая поверхность", могут быть представлены в качестве экземпляров класса class_of_feature.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_feature
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.7. Class of functional object (класс функционального объекта)
Класс class_of_functional_object есть класс class_of_arranged_individual, указывающий функцию или цель объекта.
Пример - "Насос", "клапан" и "автомобиль" являются примерами класса class_of_functional_object. "Особые модели насоса", "клапана" и "автомобиля" являются экземплярами класса class_of_inanimate_physical_object и специализациями экземпляров класса class_of_functional_object.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_functional_object
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.8. Class of inanimate physical object (класс неодушевленного физического объекта)
Класс class_of_inanimate_physical_object есть класс упорядоченного индивида, члены которого неживые объекты.
Пример - Класс, известный как "нефть", может быть представлен в качестве экземпляра класса class_of_inanimate_physical_object.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_inanimate_physical_object
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
Класс class_of_information_object есть класс class_of_arranged_individual, члены которого являются членами нулевого или больше чем нулевого класса class_of_information_presentation.
Примечание. Обычно сущность physical_object (подобный документу на бумажном носителе) характеризуется как класс class_of_information_object.
Пример - "Газета" есть класс class_of_information_object.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_information_object
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
Класс class_of_information_presentation есть класс class_of_arranged_individual, различающий стили для представления информации.
Пример - "Буквенные стили", "жирный шрифт", "курсив", "Times News Roman" и "16 pt" являются экземплярами класса class_of_information_presentation.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_information_presentation
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.11. Class of molecule (класс молекулы)
Класс class_of_molecule есть класс class_of_arranged_individual, члены которого являются молекулами.
Пример -
и "ДНК" могут быть представлены экземплярами класса class_of_molecule.Спецификация на языке EXPRESS:
*)
ENTITY class_of_molecule
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.12. Class of organism (класс организма)
Класс class_of_organism есть класс class_of_arranged_individual, члены которого являются живыми организмами.
Пример - "Человек", "овца", "земляной червяк" и "бактерии" являются экземплярами класса class_of_organism.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_organism
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.13. Class of organization (класс организации)
Класс class_of_organization есть класс class_of_arranged_individual, члены которого являются экземплярами сущности physical_object, организуемыми с определенной целью.
Пример - "Компания", "правительство" или "группа проектирования" могут быть представлены в качестве экземпляров класса class_of_organization.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_organization
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.14. Class of particulate material (класс сыпучего материала)
Класс class_of_particulate_material есть класс class_of_arranged_individual, члены которого являются упорядоченными величинами объектов супермолекулярного размера одних и тех же или разных типов.
Пример - "Куча песка", "смесь песка и цемента", "мешок болтов", "каталитический наполнитель для реактора" являются примерами класса class_of_particulate_material.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_particulate_material
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.15. Class of person (класс субъекта)
Класс class_of_person есть класс class_of_organism, члены которого - люди.
Пример - "Инженер", "менеджер завода", "студент", "мужчина", "женщина", "пожилой человек", "взрослый человек", "девочка" или "мальчик" могут быть представлены в качестве экземпляров класса class_of_person. "Инженер", "менеджер завода", "студент" являются также экземплярами класса class_of_functional_object.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_person
SUBTYPE OF(class_of_organism);
END_ENTITY;
(*
5.2.8.16. Class of sub atomic particle (класс субатомной частицы)
Класс class_of_sub_atomic_particle есть класс class_of_arranged_individual, члены которого являются частицами, составляющими атомы.
Пример - "Протон", "электрон", "мезон", "нейтрон", "позитрон", "мюон", "кварк" и "нейтрино" могут быть представлены в качестве экземпляров класса class_of_sub_atomic_particle.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_sub_atomic_particle
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.17. Crystalline structure (кристаллическая структура)
Сущность crystalline_structure есть класс class_of_arranged_individual, то есть форма, в которую под действием природного сродства периодически объединяются многие простые элементы и их компаунды. Она имеет определенную природную структуру с внешней формой твердого вещества, окруженного симметрично расположенными плоскими поверхностями, и разнообразие видов, начиная с куба и заканчивая более сложными геометрическими телами.
Пример - "Ферритные", "мартенситные" и "аустенитные структуры" являются примерами сущности crystalline_structure.
Спецификация на языке EXPRESS:
*)
ENTITY crystalline_structure
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.8.18. Phasa (фаза)
Сущность phasa есть класс class_of_arranged_individual на основе природы граничного поведения материала в результате его атомного и молекулярного соединения.
Пример - Классы, известные как "жидкость" и "твердое вещество", могут быть представлены в качестве экземпляров фазы.
Спецификация на языке EXPRESS:
*)
ENTITY phase
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.9. Activities and events (действия и события)
Настоящий подраздел содержит объявления типов данных логических объектов, отображающих действия и события.
Примечание. На рисунке 185 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в настоящем подразделе (см. также 4.7.10 и 4.7.17).
Сущность activity есть сущность possible_individual, осуществляющая изменение, мотивированное сущностью event, которая отмечает начало и окончание сущности possible_individual.
Действие состоит из временных частей тех членов возможного индивида, которые участвуют в этом действии. Участие временных частей будет классифицироваться сущностью participating_role_and_domain, которая указывает роль временной части в определенном действии.
Пример - "Перекачивание флюида механическим насосом" может быть представлено экземпляром действия.
Спецификация на языке EXPRESS:
*)
ENTITY activity
SUBTYPE OF(possible_individual);
END_ENTITY;
(*
![]() (RT) part - (RT) часть; event - событие; caused - вызванный; temporal_bounding - временное ограничение; beginning - начало; point_in_time - момент времени; ending - окончание; cause of event - причина события; causer - виновник; involver - вовлекающий; involved - вовлеченный; involvement_by_reference - вовлечение по ссылке; thing - сущность; activity - действие; (RT) whole - (RT) целое; participation - участие; recognizing - распознающий; recognized - распознанный; recognition - распознавание
интеграции жизненного цикла
5.2.9.2. Beginning (начало)
Сущность beginning есть сущность temporal_bounding, которая отмечает временной старт сущности possible_individual.
Примеры
1. Отношение, указывающее, что сущность point_in_time 00.00 часов 1 июля 1999 UTC, есть начало сущности period_in_time, известной как всеобщее координированное время - июль 1999 г., может быть представлено в качестве экземпляра сущности beginning.
2. Отношение, указывающее, что сущность event "завершить погрузку", отмечает старт сущности possible_individual "бездействующая загрузочная установка", может быть представлено в качестве экземпляра сущности beginning.
Спецификация на языке EXPRESS:
*)
ENTITY beginning
SUBTYPE OF(temporal_bounding);
END_ENTITY;
(*
Сущность cause_of_event есть сущность relationship, указывающая, что возникновение сущности event связано с совершением действия.
Пример - Отношение, указывающее, что деятельность по загрузке танкера, вызванная событием, которое характеризуется как "резервуар наполнен жидкостью до предельного уровня", может быть представлено в качестве экземпляра сущности cause_of_event.
Спецификация на языке EXPRESS:
*)
ENTITY cause_of_event
SUBTYPE OF(relationship);
caused :event;
causer :activity;
END_ENTITY;
(*
Определения атрибутов:
caused: сущность event, которая вызывается по причине события;
causer: сущность activity, которая является причиной события.
5.2.9.4. Ending (окончание)
Сущность ending есть сущность temporal_bounding, которая отмечает окончание сущности possible_individual.
Примеры
1. Отношение, указывающее, что момент времени, известный как 00.00 часов 1 июля 1999 GMT, являющийся окончанием периода времени, известного как среднее время по Гринвичу июнь 1999 г., может быть представлено в качестве экземпляра сущности ending.
2. Отношение, указывающее, что событие "завершить погрузку", отмечает окончание возможного индивида "первый период работы загружающей установки" (временная часть загружающей установки), является примером сущности ending.
Спецификация на языке EXPRESS:
*)
ENTITY ending
SUBTYPE OF(temporal_bounding);
END_ENTITY;
(*
Сущность event есть сущность possible_individual с нулевой протяженностью во времени. Событие есть временная граница одной или более сущностей possible_individual, хотя знания о них могут отсутствовать.
Пример - Подсоединение электропитания к насосу есть событие, которое отмечает начало временной части этого насоса.
Спецификация на языке EXPRESS:
*)
ENTITY event
SUBTYPE OF(possible_individual);
END_ENTITY;
(*
Сущность involvement_by_reference есть взаимоотношение, указывающее, что на сущность ссылаются при совершении действия.
Примечание. Этот логический тип служит для вовлечений, которые указывают на непрямое участие сущности possible_individual, например вовлечение класса, исторической или будущей временной части возможного индивида.
Пример - Беседа, в ходе которой ссылаются на факты из истории Римской империи, есть действие, имеющее отношение к Римской империи путем вовлечения по ссылке.
Спецификация на языке EXPRESS:
*)
ENTITY involvement_by_reference
SUBTYPE OF(relationship);
involved :thing;
involver :activity;
END_ENTITY;
(*
Определения атрибутов:
involved: сущность, которая вовлекается в действие, указанное ссылкой;
involver: действие, в которое вовлекается сущность, указанная ссылкой.
Сущность participation есть сущность composition_of_individual, указывающая, что сущность possible_individual участвует в действии.
Примечание. Сущность possible_individual, являющаяся частью сущности participation, может быть временной частью сущности whole_life_individual, которая классифицируется сущностью role_and_domain.
Пример - Взаимоотношение между временной частью P1234 осуществляемой разгрузки теплохода "Murex" 2 декабря 2002 г. и действием "разгрузка теплохода" является сущностью participation.
Спецификация на языке EXPRESS:
*)
ENTITY participation
SUBTYPE OF(composition_of_individual);
SELF\composition_of_individual.whole : activity;
END_ENTITY;
(*
Определения атрибутов:
whole: сущность activity, являющаяся целой частью сущности participation.
Сущность point_in_time есть сущность event, являющаяся целым пространственным расширением с нулевой протяженностью во времени.
Примечание. При использовании настоящего стандарта сущность point_in_time следует отображать представлением даты григорианского календаря и всеобщего координированного времени.
Пример - "Время, известное как UTC 1999-05-13T16:31:23,56", есть сущность point_in_time.
Спецификация на языке EXPRESS:
*)
ENTITY point_in_time
SUBTYPE OF(event);
END_ENTITY;
(*
Сущность recognition есть сущность relationship, указывающая, что сущность распознается через сущность activity.
Спецификация на языке EXPRESS:
*)
ENTITY recognition
SUBTYPE OF(relationship);
recognized :thing;
recognizing :activity;
END_ENTITY;
(*
Определения атрибутов:
recognized: сущность, распознаваемая сущностью activity;
recognizing: сущность activity, результатом которой является сущность recognition.
5.2.9.10. Temporal bonding (временное ограничение)
Сущность temporal_bonding есть сущность assembly_of_individual, указывающая, что частичное событие является временной границей сущности possible_individual.
Спецификация на языке EXPRESS:
*)
ENTITY temporal_bounding
ABSTRACT SUPERTYPE OF (ONEOF(ending, beginning))
SUBTYPE OF(composition_of_individual);
SELF\composition_of_individual.part: event;
END_ENTITY;
(*
Определения атрибутов:
part: сущность event, являющаяся частью сущности temporal_bounding.
Настоящий подраздел содержит объявления типов данных логических объектов, представляющих классы действия.
Примечание. На рисунке 186 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в настоящем подразделе (см. также 4.8.4.9).
5.2.10.1. Class of activity (класс действия)
Класс class_of_activity есть класс уполномоченного индивида, члены которого являются экземплярами сущности activity.
Пример - "Сверление", "дистилляция" и "процесс одобрения" могут быть представлены в качестве экземпляров класса class_of_activity.
Примечание. Поведение - термин для описания класса class_of_activity в том случае, когда имеются предварительные условия и класс class_of_activity является откликом на эти условия (например, реакция на прикосновение к горячей поверхности), или если возникновение действия характеризуется некоторым свойством или функцией (например, поток флюида характеризуется вязкостью этого флюида).
Спецификация на языке EXPRESS:
*)
ENTITY class_of_activity
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
5.2.10.2. Class of cause of beginning of class of individual (класс причины начала класса индивида)
Класс class_of_cause_of_beginning_of_class_of_individual есть класс class_of_relationship, указывающий, что член класса class_of_activity вызывает начало члена класса class_of_individual.
Пример - Производство автомобиля - начало жизненного цикла автомобиля.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_cause_of_beginning_of_class_of_individual
SUBTYPE OF(class_of_relationship);
class_of_begun :class_of_individual;
class_of_causer :class_of_activity;
END_ENTITY;
(*
![]() Class_of_cause_of_ending_of_class_of_individual - класс причины окончания класса индивида; class_of_causer - класс виновника; class_of_ended - класс оконченного; class_of_individual - класс индивида; class_of_cause_of_beginning_of_class_of_individual - класс причины начала класса индивида; class_of_begun - класс начатого; class_of_involvement_by_reference - класс вовлечения по ссылке; class_of_involver - класс вовлекающего; class_of_involved - класс вовлеченного; class_of_activity - класс действия; role_and_domain - роль и домен; participating_role_and_domain - участвующие роль и домен; (RT) class_of_whole - (RT) класс целого; (RT) class_of_part - (RT) класс части; class_of_participation - класс участия; class_of_recognizing - класс распознающего; class_of_recognized - класс распознанного; class_of_recognition - класс распознавания; class - класс
интеграции жизненного цикла
Определения атрибутов:
class_of_begun: класс class_of_individual, член которого характеризуется членом класса class_of_activity;
class_of_causer: класс class_of_activity, члены которого вынуждают член класса class_of_individual осуществлять начало чего-либо.
5.2.10.3. Class of cause of ending of class of individual (класс причины окончания класса индивида)
Класс class_of_cause_of_ending_of_class_of_individual есть класс class_of_relationship, указывающий, что член класса class_of_activity вызывает окончание члена класса class_of_individual.
Пример - Утилизация автомобиля вызывает окончание срока службы (жизненного цикла) автомобиля.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_cause_of_ending_of_class_of_individual
SUBTYPE OF(class_of_relationship);
class_of_causer :class_of_activity;
class_of_ended :class_of_individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_causer: класс class_of_activity, член которого вызывает завершение жизненного цикла члена класса class_of_individual;
class_of_ended: класс class_of_individual, член которого заканчивается членом класса class_of_activity.
5.2.10.4. Class of involvement by reference (класс вовлечения по ссылке)
Класс class_of_involvement_by_reference есть класс class_of_relationship, члены которого являются экземплярами сущности involvement_by_reference.
Пример - "Обсуждение исторических событий" является примером класса class_of_involvement_by_reference.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_involvement_by_reference
SUBTYPE OF(class_of_relationship);
class_of_involved :role_and_domain;
class_of_involver :class_of_activity;
END_ENTITY;
(*
Определения атрибутов:
class_of_involved: сущность role_and_domain, содержащая класс class_of_involvement_by_reference;
class_of_involver: класс class_of_activity, содержащий класс class_of_involvement_by_reference.
Класс class_of_participation есть класс class_of_composition_of_individual, указывающий на сущность participating_role_and_domain члена класса class_of_activity.
Пример - "Дирижер музыкального спектакля" - пример класса class_of_participation.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_participation
SUBTYPE OF(class_of_composition_of_individual);
SELF\class_of_composition_of_individual.class_of_part :
participating_role_and_domain;
SELF\class_of_composition_of_individual.class_of_whole :
class_of_activity;
END_ENTITY;
(*
Определения атрибутов:
class_of_part: сущность participating_role_and_domain, содержащая класс class_of_participation;
class_of_whole: класс class_of_activity, содержащий класс class_of_participation.
Класс class_of_recognition есть класс class_of_relationship, указывающий, что член класса class_of_activity может способствовать признанию члена класса.
Пример - Результатом измерительного действия может стать признание классификации возможного индивида по свойству.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_recognition
SUBTYPE OF(class_of_relationship);
class_of_recognized :class;
class of recognizing :class of activity;
END_ENTITY;
(*
Определения атрибутов:
class_of_recognized: класс, члены которого распознаются членами класса class_of_activity;
class_of_recognizing: класс class_of_activity, члены которого выполняют распознавание класса.
Настоящий подраздел содержит объявления типов данных логических объектов, которые представляют взаимоотношения.
Примечание. На рисунке 187 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в настоящем подразделе (см. также 4.6.4 и 4.10.1).
Сущность other_relationship есть сущность relationship, не являющаяся членом других явных подтипов взаимоотношения. Смысл другого взаимоотношения задается сущностью classification по экземпляру класса class_of_relationship_with_signature.
Пример - Взаимоотношение, указывающее, что автомобиль производства фирмы Ford может быть представлен экземпляром сущности other_relationship.
Роль и домен, которые классифицируют атрибуты сущностей end_1 и end_2, соответствуют атрибутам класса class_of_end_1 и класса class_of_end_2 соответственно, для класса class_of_relationship_with_signature, классифицирующего сущность other_relationship. В том случае, когда класс взаимоотношения с сигнатурой также является классом взаимоотношения с родственным окончанием 1 или классом взаимоотношения с родственным окончанием 2, окончание 1 и окончание 2 другого взаимоотношения должны получить значение, заданное родственным атрибутом.
Спецификация на языке EXPRESS:
*)
ENTITY other_relationship
SUBTYPE OF(relationship);
end_1 :thing;
end_2 :thing;
END_ENTITY;
(*
Определения атрибутов:
end_1: первый из двух экземпляров сущности, являющейся родственной;
end_2: второй из двух экземпляров сущности, являющейся родственной.
5.2.11.2. Relationship (взаимоотношение)
Сущность relationship есть сущность abstract_object, указывающая на действие по отношению к другому объекту.
Примечание. Поддерживаются только классы взаимоотношения в двоичном коде. Более сложные объекты могут быть поддержаны с использованием сущности multidimensional_object или класса class_of_multidimensional_object.
![]() Thing - сущность; end_1 - окончание 1; end_2 - окончание 2; relationship - взаимоотношение; other_relationship - другое взаимоотношение; approval - одобрение; cause_of_event - причина события; involvement_by_reference - вовлечение по ссылке; classification - классификация; lifecycle_stage - стадия жизненного цикла; class_of_relationship_with_signature - класс взаимоотношения с сигнатурой; possible_role_and_domain - возможные роль и домен; comparison_of_property - сравнение свойства; recognition - распознавание; composition_of_individual - состав индивида; relative_location - относительное местоположение; connection_of_individual - соединение индивида; representation_of_thing - отображение сущности; functional_mapping - функциональное отображение; responsibility_for_representation - ответственность за отображение; indirect_property - косвенное свойство; specialization - специализация; individual_used_in_connection - индивид, использованный в соединении; temporal_sequence - временная последовательность; intended_role_and_domain - предназначенные роль и домен; usage_of_representation - применение отображения
интеграции жизненного цикла
Спецификация на языке EXPRESS:
*)
ENTITY relationship
ABSTRACT SUPERTYPE OF (ONEOF(
approval,
cause_of_event,
class_of_relationship_with_signature,
classification,
comparison_of_property,
composition_of_individual,
connection_of_individual,
functional_mapping,
indirect_property,
individual_used_in_connection,
intended_role_and_domain,
involvement_by_reference,
lifecycle_stage,
other_relationship,
possible_role_and_domain,
recognition,
relative_location,
representation_of_thing,
responsibility_for_representation,
specialization,
temporal_sequence,
usage_of_representation))
SUBTYPE OF(abstract_object);
END_ENTITY;
(*
Настоящий подраздел содержит объявления типов данных логических объектов, представляющих классы взаимоотношений.
Примечание. На рисунке 188 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в настоящем подразделе (см. также 4.8.3.3).
5.2.12.1. Class of assertion (класс формального утверждения)
Класс class_of_assertion есть класс class_of_relationship, предоставляющий описание утвердительной природы отношений между членами.
Пример - "Утверждающее", "отклоняющее" или "вероятностное" могут быть представлены в качестве экземпляров класса class_of_assertion.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_assertion
SUBTYPE OF(class_of_relationship);
END_ENTITY;
(*
![]() End_2_cardinality - количество элементов на окончании 2; related - родственный; class_of_relationship_with_related_end_1 - класс взаимоотношения с родственным окончанием 1; cardinality - количество элементов (отношений); thing - сущность; end_1_cardinality - количество элементов на окончании 1; class_of_relationship - класс взаимоотношения; class_of_relationship_with_related_end_2 - класс взаимоотношения с родственным окончанием 2; class_of_approval - класс одобрения; class_of_lifecycle_stage - класс стадии жизненного цикла; class_of_approval_by_status - класс одобрения по статусу; class_of_possible_role_and_domain - класс возможных роли и домена; class_of_assertion - класс формального утверждения; class_of_recognition - класс распознавания; class_of_cause_of_beginning_of_class_of_individual - класс причины начала класса индивида; class_of_relationship_with_signature - класс взаимоотношения с сигнатурой; class_of_cause_of_ending_of_class_of_individual - класс причины окончания класса индивида; class_of_relative_location - класс относительного местоположения; class_of_classification - класс классификации; class_of_representation_of_thing - класс отображения сущности; class_of_composition_of_individual - класс состава индивида; class_of_representation_translation - класс перевода отображения; class_of_connection_of_individual - класс соединения индивида; class_of_responsibility_for_representation - класс ответственности за отображение; class_of_functional_mapping - класс функционального отображения; class_of_specialization - класс специализации; class_of_indirect_property - класс косвенного свойства; class_of_temporal_sequence - класс временной последовательности; class_of_individual_used_in_connection - класс индивида, использованного в соединении; class_of_usage_of_representation - класс применения отображения; class_of_intended_role_and_domain - класс предназначенных роли и домена; dimension_of_individual - размерность индивида; class_of_involvement_by_reference - класс вовлечения по ссылке; property_for_shape_dimension - свойство для шейповой размерности
интеграции жизненного цикла
Класс class_of_relationship есть класс class_of_abstract_object, члены которого являются членами сущности relationship.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_relationship
SUPERTYPE OF (ONEOF(
class_of_approval,
class_of_approval_by_status,
class_of_cause_of_beginning_of_class_of_individual,
class_of_cause_of_ending_of_class_of_individual,
class_of_classification,
class_of_composition_of_individual,
class_of_connection_of_individual,
class_of_functional_mapping,
class_of_indirect_property,
class_of_individual_used_in_connection,
class_of_intended_role_and_domain,
class_of_involvement_by_reference,
class_of_lifecycle_stage,
class_of_assertion,
class_of_possible_role_and_domain,
class_of_recognition,
class_of_relationship_with_signature,
class_of_relative_location,
class_of_representation_of_thing,
class_of_representation_translation,
class_of_responsibility_for_representation,
class_of_specialization,
class_of_temporal_sequence,
class_of_usage_of_representation,
dimension_of_individual,
property_for_shape_dimension
)
ANDOR
ONEOF(class_of_relationship_with_related_end_1,
class_of_relationship_with_related_end_2))
SUBTYPE OF(class_of_abstract_object);
end_1_cardinality :OPTIONAL cardinality;
end_2_cardinality :OPTIONAL cardinality;
END_ENTITY;
(*
Определения атрибутов:
end_1_cardinality: максимальное и минимальное количество элементов для первого атрибута класса class_of_relationship.
Если количество элементов не задается, ограничения не существует;
end_2_cardinality: максимальное и минимальное количество элементов для второго атрибута класса взаимоотношения.
Если количество элементов не задается, ограничения не существует.
5.2.12.3. Class of relationship with related end 1 (класс взаимоотношения с родственным окончанием 1)
Класс class_of_relationship_with_related_end_1 есть класс class_of_relationship, когда конкретная сущность является скорее родственной по отношению к классу взаимоотношения, чем членом класса. Родственная сущность определяет роль и домен, указанные классом class_of_end_1.
Пример - Продукция компании Bloggs & Co есть класс class_of_relationship, указывающий на компанию Bloggs & Co как на родственную сущность.
Спецификация на языке EXPRESS:
EXPRESS specification:
*)
ENTITY class_of_relationship_with_related_end_1
SUBTYPE OF(class_of_relationship);
related :thing;
END_ENTITY;
(*
Определения атрибутов:
related: конкретная сущность, являющаяся родственной, а не каким-либо членом класса, на который она может ссылаться.
5.2.12.4. Class of relationship with related end 2 (класс взаимоотношения с родственным окончанием 2)
Класс class_of_relationship_with_related_end_2 есть класс class_of_relationship, когда конкретная сущность является скорее родственной к классу взаимоотношения, чем к членам класса. Родственная сущность определяет роль и домен, указанные классом окончания 2.
Пример - Навыки сварки, которыми обладает Джон Доэ, являются примером класса class_of_relationship_with_related_end_2 в том случае, когда Джон Доэ является родственной (связанной) сущностью.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_relationship_with_related_end_2
SUBTYPE OF(class_of_relationship);
related :thing;
END_ENTITY;
(*
Определения атрибутов:
related: конкретная сущность, являющаяся родственной (связанной), а не каким-либо членом класса, на который она может ссылаться.
5.2.13. Roles and domains (роли и домены)
Настоящий подраздел содержит объявления типов данных логических объектов, которые представляют роли и домены.
Примечание. На рисунке 189 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. также 4.8.4.8).
![]() Class_of_end_1 - класс окончания 1; class_of_relationship_with_signature - класс взаимоотношения с сигнатурой; class_of_end_2 - класс окончания 2; class_of_class_of_relationship_with_signature - класс класса взаимоотношения с сигнатурой; role_and_domain - роль и домен; (RT) subclass - (RT) подкласс; specialization_by_domain - специализация по домену; specialization_by_role - специализация по роли; (RT) superclass - (RT) суперкласс; role - роль; participating_role_and_domain - участвующие роль и домен; minimum_cardinality - минимальное количество отношений; integer - целочисленный тип; cardinality - количество элементов (отношений); maximum_cardinality - максимальное количество отношений
интеграции жизненного цикла
Сущность cardinality есть класс, являющийся максимальным и (или) минимальным числом раз, когда сущность может играть частную роль в классе class_of_relationship или в классе class_of_multidimensional_object.
Пример - Минимум 1 и максимум 1 означает, что имеется только одно взаимоотношение или один многомерный объект этого типа для каждого объекта.
Спецификация на языке EXPRESS:
*)
ENTITY cardinality
SUBTYPE OF(class);
maximum_cardinality :OPTIONAL INTEGER;
minimum_cardinality :OPTIONAL INTEGER;
END_ENTITY;
(*
Определения атрибутов:
maximum_cardinality: максимальное число раз, когда член домена может участвовать в заданной роли.
Если сущность maximum_cardinality не задается - нет максимального ограничения;
Примечание 1. Общими значениями для maximum_cardinality являются "один" и "много". "Много" есть результат специфицирования отсутствия значения.
minimum_cardinality: минимальное число раз, когда член класса домена может участвовать в заданной роли.
Если сущность minimum_cardinality не задается, то должно быть принято нулевое значение.
Примечание 2. Общими значениями для сущности maximum_cardinality являются "ноль" и "один".
Класс class_of_relationship_with_signature есть класс class_of_relationship, который может иметь сущность role_and_domain, заданную для каждого окончания.
Примечание. Класс class_of_relationship_with_signature является аналоговым для простого атрибута на языке EXPRESS и его инверсии. Более сложные объекты могут быть смоделированы с многомерным объектом и классом многомерного объекта.
Пример - "Женатый (замужняя)" - класс class_of_relationship, если класс class_of_end_1 является сущностью role_and_domain "муж", а класс class_of_end_2 является сущностью role_and_domain "жена".
Спецификация на языке EXPRESS:
*)
ENTITY class_of_relationship_with_signature
SUBTYPE OF(class_of_relationship, relationship);
class_of_end_1 :OPTIONAL role_and_domain;
class_of_end_2 :OPTIONAL role_and_domain;
END_ENTITY;
(*
Определения атрибутов:
class_of_end_1: спецификация атрибута end_1 членов класса class_of_relationship;
class_of_end_2: спецификация атрибута end_2 членов класса class_of_relationship.
Сущность participating_role_and_domain есть сущность role_and_domain, являющиеся классом class_of_individual, который указывает участвующую роль в сущности activity.
Пример - "Исполнитель" и "работник, обслуживающий насос", являются примерами сущности participating_role_and_domain.
Спецификация на языке EXPRESS:
*)
ENTITY participating role and domain
SUBTYPE OF(role_and_domain, class_of_individual);
END_ENTITY;
(*
Сущность role есть сущность role_and_domain, указывающая, каким образом некая сущность должна поступать с сущностями activity, relationship или multidimensional_object.
Примеры
1. "Работник по найму" - роль, указывающая, каким образом временная часть субъекта должна взаимодействовать с отношением занятости.
2. "Работник, обслуживающий насос" - роль, указывающая, каким образом временная часть насоса должна выполнять действие перекачивания.
Спецификация на языке EXPRESS:
*)
ENTITY role
SUBTYPE OF(role_and_domain);
END_ENTITY;
(*
Сущность role_and_domain есть класс, задающий роль и домен для конца класса class_of_relationship или класса class_of_multidimensional_object.
Примечание. Сущность role_and_domain является аналоговой для специфицирования EXPRESS-атрибута или его инверсии.
Пример - "Муж" и "мужчина" и "жена" и "женщина" являются примерами сущности role_and_domain.
Спецификация на языке EXPRESS:
*)
ENTITY role_and_domain
SUBTYPE OF(class);
END_ENTITY;
(*
Сущность specialization_by_domain есть сущность specialization, указывающая, что член сущности role_and_domain является специализацией класса домена.
Пример - "Производственная компания" есть специализация домена "компания".
Спецификация на языке EXPRESS:
*)
ENTITY specialization_by_domain
SUBTYPE OF(specialization);
SELF\specialization.subclass: role_and_domain;
END_ENTITY;
(*
Определения атрибутов:
subclass: сущность role_and_domain, являющаяся подклассом класса.
Сущность specialization_by_role есть сущность specialization, указывающая, что сущность role_and_domain являются сущностью role, предписанной суперклассом.
Пример - "Производственная компания" есть специализация по роли "производитель".
Спецификация на языке EXPRESS:
*)
ENTITY specialization_by_role
SUBTYPE OF(specialization);
SELF\specialization.subclass: role_and_domain;
SELF\specialization.superclass : role;
END_ENTITY;
(*
Определения атрибутов:
subclass: сущность role_and_domain, являющаяся подклассом сущности specialization_by_role;
superclass: сущность role, являющаяся суперклассом сущности specialization_by_role.
5.2.14. Classes of class of relationship (классы класса взаимоотношения)
Настоящий подраздел содержит объявления типов данных логических объектов, которые представляют класс взаимоотношения.
Примечание. На рисунке 190 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе.
5.2.14.1. Class_of_class_of_relationship (класс класса взаимоотношения)
Класс class_of_class_of_relationship есть класс class_of_class, члены которого являются экземплярами класса class_of_relationship.
![]() Class_of_class_of_relationship - класс класса взаимоотношения; class_of_class_of_relationship_with_signature - класс класса взаимоотношения с сигнатурой; class_of_namespace - класс пространства имени; class_of_class_of_composition - класс класса состава; class_of_class_of_representation - класс класса отображения; class_of_class_of_representation_translation - класс класса перевода отображения; class_of_class_of_responsibility_for_representation - класс класса ответственности за отображение; class_of_class_of_usage_of_representation - класс класса применения отображения; class_of_dimension_for_shape - класс размера для формы; property_space_for_class_of_shape_dimension - пространство свойства для класса шейповой размерности; dimension_of_shape - размерность формы; class_of_scale - класс шкалы
интеграции жизненного цикла
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class_of_relationship
SUPERTYPE OF (ONEOF(
class_of_class_of_composition,
class_of_class_of_relationship_with_signature,
class_of_class_of_representation,
class_of_class_of_representation_translation,
class_of_class_of_responsibility_for_representation,
class_of_class_of_usage_of_representation,
class_of_dimension_for_shape,
class_of_namespace,
class_of_scale,
dimension_of_shape,
property_space_for_class_of_shape_dimension
))
SUBTYPE OF(class_of_class);
END_ENTITY;
(*
5.4.14.2. Class of class of relationship with signature (класс класса взаимоотношения с сигнатурой)
Класс class_of_class_of_relationship_with_signature есть класс class_of_class_of_relationship и класс class_of_relationship_with_signature. Назначение класса class_of_class_of_relationship_with_signature заключается в том, чтобы предоставить возможность другим типам классов взаимоотношения (в настоящем стандарте явно не определенным) быть определенными в качестве ссылочных данных.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class_of_relationship_with_signature
SUBTYPE OF(class_of_class_of_relationship,
class_of_relationship_with_signature);
END_ENTITY;
(*
5.2.14.3. Class of scale (класс шкалы)
Класс class_of_scale есть класс class_of_class_of_relationship, члены которого являются экземплярами сущности scale.
Пример - Единица измерения в системе СИ является примером класса class_of_scale.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_scale
SUBTYPE OF(class_of_class_of_relationship);
END_ENTITY;
(*
Этот подраздел содержит объявления типов данных логических объектов, представляющих функции.
Примечание. На рисунке 191 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. также 4.9).
![]() ![]() Functional_mapping - функциональное отображение; input - ввод; result - результат; thing - сущность; intersection_of_set_of_class - пересечение множества класса; union_of_set_of_class - объединение множества класса; difference_of_set_of_class - разность множества класса; property_quantification - квантификация свойства; class_of_functional_mapping - класс функционального отображения; domain - домен; codomain - область значений; class - класс; class_of_isomorphic_functional_mapping - класс изоморфного функционального отображения; scale - шкала; class_of_scale_conversion - класс преобразования шкалы
интеграции жизненного цикла
5.2.15.1. Class of functional mapping (класс функционального отображения)
Класс class_of_functional_mapping есть класс class_of_relationship, являющийся отображением в виде карты распределения многих к одному. Класс class_of_functional_mapping является функцией.
Примечания. 1. Этот тип логических объектов мог бы называться функцией, но это есть резервное слово на языке EXPRESS.
2. Значимость функции в отображении многого сводится к тому, что всегда получается один и тот же ответ. Так, например, 5 минус 3 всегда равно 2. Функция "минус" относительно двух других аргументов может также равняться 2.
3. Когда имеются несколько аргументов к функции, они отображаются в сущности multidimensional_object.
Пример - "Минус" есть пример класса class_of_functional_mapping.
Спецификация на языке EXPRESS:
*)
ENTITY class of functional mapping
SUBTYPE OF(class_of_relationship);
codomain :class;
domain :class;
END_ENTITY;
(*
Определения атрибутов:
codomain: результат приложения функции к домену;
domain: совокупность сущностей, к которым прилагается определенная функция.
5.2.15.2. Class of isomorphic functional mapping (класс изоморфного функционального отображения)
Класс class_of_isomorphic_functional_mapping есть класс class_of_functional_mapping, который является изоморфным.
Пример - Функция натурального логарифма есть класс class_of_isomorphic_functional_mapping.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_isomorphic_functional_mapping
SUPERTYPE OF (ONEOF(scale, class_of_scale_conversion))
SUBTYPE OF(class_of_functional_mapping);
END_ENTITY;
(*
Сущность functional_mapping есть сущность relationship, указывающая, что ввод представляет результат, установленный классифицирующим классом class_of_functional_mapping.
Пример - Отображение в виде [5; 3] к 2, сгруппированное функцией "минус", является примером сущности functional_mapping.
Спецификация на языке EXPRESS:
*)
ENTITY functional_mapping
SUBTYPE OF(relationship);
input :thing;
result :thing;
END_ENTITY;
(*
Определения атрибутов:
input: ввод для отображения;
result: результат приложения функции к вводу.
5.2.16. Representation of things (отображение сущностей)
Этот подраздел содержит объявления типов данных логических объектов, представляющих взаимоотношения сущностей.
Примечание. На рисунке 192 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. также 4.8.4.2).
Сущность definition есть сущность representation_of_thing, указывающая, что класс определяется признаком сущности possible_individual.
Пример - Взаимоотношение между копией предшествующего предложения и заголовком перед ним является сущностью definition.
Спецификация на языке EXPRESS:
*)
ENTITY definition
SUBTYPE OF(representation_of_thing);
SELF\representation_of_thing.represented : class;
END_ENTITY;
(*
Определения атрибутов:
represented: класс (class), сформулированный сущностью definition.
Сущность description есть сущность representation_of_thing, указывающая, что сущность possible_individual предоставляет описание этой сущности.
Пример - Копия схемы трубопровода и инструментального оснащения для установки 1 перегонки сырой нефти на нефтеперерабатывающем заводе X имеет описание взаимоотношения с определенным заводом.
Спецификация на языке EXPRESS:
*)
ENTITY description
SUBTYPE OF(representation_of_thing);
END_ENTITY;
(*
![]() Represented - отображенный; thing - сущность; sign - знак; possible_individual - возможный индивид; representation_of_thing - отображение сущности; used - использованный; usage_of_representation - применение отображения; user - пользователь; controlled - управляемый; responsibility_for_representation - ответственность за отображение; controller - управляющий; identification - идентификация; description - описание; (RT) represented - (RT) отображенный; definition - определение; class - класс
интеграции жизненного цикла
Сущность identification есть сущность representation_of_thing, указывающая, что сущность possible_individual является идентификатором идентифицированной сущности.
Примеры
1. Взаимоотношение между текстом P101 печатной копии таблицы данных насоса и приемлемым функциональным физическим объектом является примером идентификации.
2. Взаимоотношение между именным тегом и наемным рабочим, который носит этот тег, является примером идентификации.
Спецификация на языке EXPRESS:
*)
ENTITY identification
SUBTYPE OF(representation_of_thing);
END_ENTITY;
(*
Сущность representation_of_thing есть сущность relationship, указывающая, что сущность possible_individual является признаком сущности.
Пример - Взаимоотношение между техническим паспортом с серийным номером и другими данными и конкретным сосудом, работающим под давлением, то есть сущностью materialized_physical_object, - пример сущности representation_of_thing, которая является идентификацией.
Примечание. Вообще, это класс class_of_representation_of_thing, который более характеризуется заинтересованностью, чем представлением сущности.
Спецификация на языке EXPRESS:
*)
ENTITY representation_of_thing
SUBTYPE OF (relationship);
represented :thing;
sign :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
represented: сущность, которая является сущностью representation_of_thing;
sign: сущность possible_individual, являющаяся знаком в отображении сущности.
Сущность responsibility_for_representation есть сущность relationship, указывающая, что контроллер - сущность possible_individual, руководит управляемой сущностью representation_of_thing.
Пример - Ответственность за разработку настоящего стандарта возложена на ИСО.
Спецификация на языке EXPRESS:
*)
ENTITY responsibility_for_representation
SUBTYPE OF(relationship);
controlled :representation_of_thing;
controller :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
controlled: сущность representation_of_thing, управляемая в пределах сущности responsibility_for_representation;
controller: сущность possible_individual, являющаяся контроллером сущности responsibility_for_representation.
Сущность usage_of_representation есть взаимоотношение, указывающее, что сущность representation_of_thing применяется сущностью possible_individual. Применение не предполагает ответственности.
Пример - Знак P101 используется компанией XYZ, чтобы представлять конкретный насос в проекте.
Спецификация на языке EXPRESS:
*)
ENTITY usage_of_representation
SUBTYPE OF(relationship);
used :representation_of_thing;
user :possible individual;
END_ENTITY;
(*
Определения атрибутов:
used: сущность representation_of_thing, применяемая одним и тем же пользователем или группой пользователей;
user: сущность possible_individual, являющаяся пользователем или группой пользователей отображения сущности.
5.2.17. Classes of representation (классы представления)
Этот подраздел содержит объявления типов данных логических объектов, определяющих классы представления.
Примечание. На рисунке 193 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. также 4.8.4.2).
Класс class_of_definition есть класс class_of_representation_of_thing, указывающий, что образец является определением отображенного класса.
Пример - Связь между образцом "нечто, что перемещает жидкость", и классом, которому присвоено имя "pump" на английском языке, может быть представлена в качестве примера класса class_of_definition.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_definition
SUBTYPE OF(class_of_representation_of_thing);
SELF\class_of_representation_of_thing.represented : class;
END_ENTITY;
(*
![]() Class_of_first - класс первого; class_of_information_representation - класс отображения информации; class_of_representation_translation - класс перевода отображения; class_of_second - класс второго; class_of_EXPRESS_information_representation - класс отображения информации на языке EXPRESS; representation_of_Gregorian_date_and_UTC_time - представление григорианской даты и всемирного координированного времени; pattern - шаблон; class_of_used - класс используемого; class_of_usage_of_representation - класс применения отображения; user - пользователь; possible_individual - возможный индивид; class_of_representation_of_thing - класс отображения сущности; represented - отображенный; thing - сущность; class_of_controlled - класс управляемого; class_of_responsibility_for_representation - класс ответственности за отображение; controller - управляющий; class_of_identification - класс идентификации; (RT) represented - (RT) отображенный; class_of_definition - класс определения; class - класс; class_of_description - класс описания
интеграции жизненного цикла
Определения атрибутов:
represented: класс, который определяется членами ссылочного класса class_of_information_representation.
Класс class_of_description есть класс class_of_representation_of_thing, указывающий, что образец является описанием отображенной сущности.
Пример - Связь между образцом "старый трюмный насос" и конкретным насосом может быть представлена в качестве примера класса class_of_description.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_description
SUBTYPE OF(class_of_representation_of_thing);
END_ENTITY;
(*
Класс class_identification есть класс class_of_representation_of_thing, указывающий, что образец используется для ссылки на отображенную сущность.
Пример - Связь между образцом AC-1234 и конкретным насосом, указывающая, что члены AC-1234 используются для ссылки на этот насос, может быть представлена в качестве примера класса class_of_identification.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_identification
SUBTYPE OF(class_of_representation_of_thing);
END_ENTITY;
(*
5.2.17.4. Class of information representation (класс отображения информации)
Класс class_of_information_representation есть класс class_of_arranged_individual, определяющий образец, который отображает информацию.
Пример - Тексты, сформированные с применением образца символа "s", соединенного с "u" и "n", являются членами класса class_of_information_representation "sun".
Спецификация на языке EXPRESS:
*)
ENTITY class_of_information_representation
SUPERTYPE OF (ONEOF(class_of_EXPRESS_information_representation,
representation_of_Gregorian_date_and_UTC_time))
SUBTYPE OF(class_of_arranged_individual);
END_ENTITY;
(*
Класс class_of_representation_of_thing есть класс class_of_relationship, указывающий, что все члены класса class_of_information_representation представляют сущность.
Пример - Класс class_of_relationship, указывающий, что случаи применения образца, отмеченного названием "London", характеризуют понятие "столица Соединенного Королевства", является примером класса class_of_information_representation.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_representation_of_thing
SUBTYPE OF(class_of_relationship);
pattern :class_of_information_representation;
represented :thing;
END_ENTITY;
(*
Определения атрибутов:
pattern: класс class_of_information_representation, чьи члены определяют сущность, на которую ссылаются;
represented: сущность, определяемая членами класса class_of_information_representation, на которые имеется ссылка.
5.2.17.6. Class of representation translation (класс перевода отображения)
Класс class_of_representation_translation есть класс class_of_relationship, указывающий перевод двух экземпляров класса class_of_information_representation.
Пример - Связь, указывающая, что отображения F и 15 являются эквивалентными (понятие пятнадцати в шестнадцатеричном и восьмеричном форматах соответственно), может быть представлена в качестве примера класса class_of_information_representation.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_representation_translation
SUBTYPE OF(class_of_relationship);
class_of_first :class_of_information_representation;
class of second :class_of_information_representation;
END_ENTITY;
(*
Определения атрибутов:
class_of_first: первый экземпляр класса class_of_information_representation в переводе;
class_of_second: второй экземпляр класса class_of_information_representation в переводе.
Класс class_of_responsibility_for_representation есть класс class_of_relationship, члены которого указывают, что сущность possible_individual (как правило, организация) полагает, что члены-образцы могут быть использованы в качестве отображенной сущности.
Пример - Связь между идентификацией насоса #1234 и корпорацией XYZ, указывающая, что корпорация XYZ контролирует эту идентификацию, может быть представлена в качестве примера класса class_of_responsibility_for_representation.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_responsibility_for_representation
SUBTYPE OF(class_of_relationship);
class_of_controlled :class_of_representation_of_thing;
controller :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_controlled: класс class_of_representation_of_thing, который контролируется эталонной сущностью possible_individual;
controller: сущность possible_individual, контролирующая справочный класс class_of_representation_of_thing.
Класс class_of_usage_of_representation есть класс class_of_relationship, члены которого указывают, что сущность possible_individual (обычно организация) читает или иным образом применяет члены образца как представление отображенной сущности.
Пример - Связь между идентификацией насоса #1234 и подрядчиком ABC Ltd, который указывает, что ABC Ltd использует эту идентификацию, может быть представлена классом class_of_usage_of_representation.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_usage_of_representation
SUBTYPE OF(class_of_relationship);
class_of_used :class_of_representation_of_thing;
user :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_used: класс class_of_representation_of_thing, который используется эталонной (смысловой) сущностью possible_individual;
user: сущность possible_individual, использующая эталонный (смысловой) класс class_of_representation_of_thing.
5.2.18. EXPRESS and UTC representations (отображения EXPRESS и UTC)
Этот подраздел содержит объявления типов данных логических объектов, которые представляют отображения EXPRESS и UTC (всеобщее координированное время).
Примечание. На рисунке 194 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе.
![]() Content - содержание; EXPRESS_string - строковый тип EXPRESS; string - строка; EXPRESS_integer - целочисленный тип EXPRESS; integer - целочисленный тип; class_of_EXPRESS_information_representation - класс отображения информации на языке EXPRESS; EXPRESS_real - вещественный тип EXPRESS; real - вещественное значение; EXPRESS_logical - логический тип EXPRESS; logical - логическое выражение; EXPRESS_Boolean - Булев тип EXPRESS; Boolean - Булево выражение; EXPRESS_binary - двоичный тип EXPRESS; binary - двоичное значение; year - год; month - месяц; day - день; representation_of_Gregorian_date_and_UTC_time - представление григорианской даты и всемирного координированного времени; hour - час; minute - минута; second - секунда
интеграции жизненного цикла
5.2.18.1. EXPRESS Boolean (Булев тип EXPRESS)
Сущность EXPRESS_Boolean есть класс class_of_EXPRESS_information_representation, отображающий Булево значение, как определено в ИСО 10303-11:1994, 8.1.5.
Примечание. Правило UNIQUE (однозначно определяемое) устанавливает, что любое значение фиксируется только один раз.
Спецификация на языке EXPRESS:
*)
ENTITY EXPRESS_Boolean
SUBTYPE OF(class_of_EXPRESS_information_representation);
content :BOOLEAN;
UNIQUE
rule_1 :content;
END_ENTITY;
(*
Определения атрибутов:
content: значение EXPRESS_Boolean.
Формальный предлог:
rule_1: содержание должно быть единственным в своем роде в пределах системы.
5.2.18.2. EXPRESS binary (двоичный тип EXPRESS)
Сущность EXPRESS_binary есть класс class_of_EXPRESS_information_representation, отображающий двоичное значение, как определено в ИСО 10303-11:1994, 8.1.7.
Примечание. Правило UNIQUE (однозначно определяемое) устанавливает фиксирование любого значения только один раз.
Спецификация на языке EXPRESS:
*)
ENTITY EXPRESS_binary
SUBTYPE OF(class_of_EXPRESS_information_representation);
content :BINARY;
UNIQUE
rule_1 :content;
END_ENTITY;
(*
Определения атрибутов:
content: значение EXPRESS_binary.
Формальный предлог:
rule_1: содержание должно быть единственным в своем роде в пределах системы.
5.2.18.3. EXPRESS integer (целочисленный тип EXPRESS)
Сущность EXPRESS_integer есть класс class_of_EXPRESS_information_representation, отображающий целое число, как определено в ИСО 10303-11:1994, 8.1.3.
Примечание. Правило UNIQUE (однозначно определяемое) устанавливает фиксирование любого значения только один раз.
Спецификация на языке EXPRESS:
*)
ENTITY EXPRESS_integer
SUBTYPE OF(class_of_EXPRESS_information_representation);
content :INTEGER;
UNIQUE
rule_1 :content;
END_ENTITY;
(*
Определения атрибутов:
content: значение EXPRESS_integer.
Формальный предлог:
rule_1: содержание должно быть единственным в своем роде в пределах системы.
5.2.18.4. EXPRESS logical (логический тип EXPRESS)
Сущность EXPRESS_logical есть класс class_of_EXPRESS_information_representation, отображающий логическое число, как определено в ИСО 10303-11:1994, 8.1.4.
Примечание. Правило UNIQUE (однозначно определяемое) устанавливает фиксирование любого значения только один раз.
Спецификация на языке EXPRESS:
*)
ENTITY EXPRESS_logical
SUBTYPE OF(class_of_EXPRESS_information_representation);
content :LOGICAL;
UNIQUE
rule_1 :content;
END_ENTITY;
(*
Определения атрибутов:
content: значение EXPRESS_logical.
Формальный предлог:
rule_1: содержание должно быть единственным в своем роде в пределах системы.
5.2.18.5. EXPRESS real (вещественный тип EXPRESS)
Сущность EXPRESS_real есть класс class_of_EXPRESS_information_representation, отображающий вещественное число, как определено в ИСО 10303-11:1994, 8.1.2.
Примечание. Правило UNIQUE (однозначно определяемое) обеспечивает фиксирование любого значения только один раз.
Спецификация на языке EXPRESS:
*)
ENTITY EXPRESS_real
SUBTYPE OF(class_of_EXPRESS_information_representation);
content :REAL;
UNIQUE
rule_1 :content;
END_ENTITY;
(*
Определения атрибутов:
content: значение EXPRESS_real
Формальный предлог:
rule_1: содержание должно быть единственным в своем роде в пределах системы.
5.2.18.6. EXPRESS string (строка на языке EXPRESS)
Сущность EXPRESS_string есть класс class_of_EXPRESS_information_representation отображения информации на языке EXPRESS, который отображает строку, как определено в ИСО 10303-11:1994, 8.1.6.
Примечание. Правило UNIQUE (однозначно определяемое) устанавливает фиксирование любого значения только один раз.
Спецификация на языке EXPRESS:
*)
ENTITY EXPRESS_string
SUBTYPE OF(class_of_EXPRESS_information_representation);
content :STRING;
UNIQUE
rule_1 :content;
END_ENTITY;
(*
Определения атрибутов:
content: значение EXPRESS_string.
Формальный предлог:
rule_1: содержание должно быть единственным в своем роде в пределах системы.
5.2.18.7. Class of EXPRESS information representation (класс отображения информации на языке EXPRESS)
Класс class_of_EXPRESS_information_representation есть класс class_of_information_representation, который определяется ИСО 10303-11.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_EXPRESS_information_representation
ABSTRACT SUPERTYPE OF (ONEOF(EXPRESS_string, EXPRESS_integer,
EXPRESS_real, EXPRESS_logical, EXPRESS_Boolean,
EXPRESS_binary))
SUBTYPE OF(class_of_information_representation);
END_ENTITY;
(*
5.2.18.8. Representation_of_Gregorian_date_and_UTC_time (представление григорианской даты и всеобщего координированного времени)
Сущность representation_of_Gregorian_date_and_UTC_time есть класс class_of_information_representation, члены которого являются отображением времени с применением UTC-системы идентификации времени, как определено в ИСО 8601:2000, вместе с григорианской системой представления дат.
Все время должно быть представлено с использованием UTC-системы. Даты должны следовать григорианскому календарю.
Примечания. 1. Всеобщее координированное время (UTC) есть базис для дискретного времени во всем мире и следует точно международному атомному времени (TAI), за исключением целого числа секунд (32). Эти високосные секунды используются на основе рекомендации Международной службы контроля вращения Земли (IERS) (/template/go.php?url=https://hpiers.obspm.fr) для гарантии, что Солнце находится в зените в 12:00:00 UTC по Гринвичу в течение 0,9 секунды. Таким образом, UTC является современным преемником среднего времени по Гринвичу (GMT), которое использовалось, когда единицей времени был солнечный средний день. Международное атомное время рассчитывается по BIPM из показаний более чем 200 атомных часов, находящихся в институтах метрологии и обсерваториях более чем 30 стран по всему миру. TAI сообщается каждый месяц в BIMP Circular T (ftp://62.161.69.5/pub/tai/publication). Оно рассчитывается так, что TAI не теряет и не получает в отношении воображаемых совершенных часов более чем около 1/10 микросекунды в год.
2. ИСО 8601 допускает два представления для полночного часа - 00:00 и 24:00, однако настоящий стандарт ограничивает представление до 00:00.
Пример - Значение секунды до 61, не включая 61, допускает скачок на 2 секунды. Среднее солнечное время устанавливается по вращению Земли. Високосные секунды добавляются или вычитаются по требованию, как правило, в середине или в конце года. Этим обеспечивается то, что дискретное время не отличается от неоднородного среднего солнечного времени более, чем на одну секунду, несмотря на изменения в скорости вращения Земли.
Спецификация на языке EXPRESS:
*)
ENTITY representation_of_Gregorian_date_and_UTC_time
SUBTYPE OF(class_of_information_representation);
year :INTEGER;
month :OPTIONAL INTEGER;
day :OPTIONAL INTEGER;
hour :OPTIONAL INTEGER;
minute :OPTIONAL INTEGER;
second :OPTIONAL REAL;
WHERE
valid_month : {1 <= month <= 12};
valid_day : {1 <= day <= 31};
valid_hour : {0 <= hour <= 23};
valid_minute : {0 <= minute <= 59};
valid_second : {0.0 <= second < 61.0};
END_ENTITY;
(*
Определения атрибутов:
year (год): год определяется по григорианскому календарю. Год должен быть полностью и явно задан с использованием стольких цифр, сколько необходимо, чтобы однозначно переводить столетие и год в пределах столетия. Члены усеченного года не должны применяться;
month (месяц): позиция заданного месяца в году, как определено в ИСО 6601:2000, 5.2.1;
day (день): значение дня, как определено в ИСО 6601:2000, 5.2.1;
hour (час): элемент часа заданного времени на часах со шкалой 24 часа;
minute (минута): элемент минуты заданного времени;
second (секунда): элемент секунды заданного времени.
Формальные предлоги:
valid_month: месяц должен быть между 1 до 12 включительно;
valid_day: день должен быть между 1 и 31 включительно;
valid_hour: час должен быть между 0 и 23 включительно;
valid_minute: минута должна быть между 0 и 59 включительно;
valid_second: секунда должна быть от 0,0 и до 61,0, не включая 61,0.
Этот подраздел содержит объявления типов данных логических объектов, которые представляют классы класса представления.
Примечание. На рисунке 195 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе.
![]() Class_of_first - класс первого; class_of_class_of_representation_translation - класс класса перевода отображения; class_of_second - класс второго; possible_individual - возможный индивид; class_of_class_of_information_representation - класс класса отображения информации; user - пользователь; class_of_class_of_used - класс класса использованного; class_of_class_of_usage_of_representation - класс класса применения отображения; class_of_pattern - класс шаблона; language - язык; class_of_represented - класс отображенного; class_of_class_of_representation - класс класса отображения; class - класс; representation_form - форма отображения; class_of_class_of_controlled - класс класса управляемого; class_of_class_of_responsibility_for_representation - класс класса ответственности за отображение; document_definition - определение документа; controller - управляющий; class_of_class_of_identification - класс класса идентификации; class_of_class_of_definition - класс класса определения; class_of_class_of_description - класс класса описания
интеграции жизненного цикла
5.2.19.1. Class of class of definition (класс класса определения)
Класс class_of_class_of_definition есть класс class_of_class_of_representation, члены которого являются членами класса class_of_definition.
Пример - "Норматив" является классом class_of_class_of_definition.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class_of_definition
SUBTYPE OF(class_of_class_of_representation);
END_ENTITY;
(*
5.2.19.2. Class of class of description (класс класса описания)
Класс class_of_class_of_description есть класс class_of_class_of_representation, члены которого являются членами класса class_of_description.
Пример - "Описание услуги" является классом class_of_class_of_description.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class_of_description
SUBTYPE OF(class_of_class_of_representation);
END_ENTITY;
(*
5.2.19.3. Class of class of identification (класс класса идентификации)
Класс class_of_class_of_identification есть класс class_of_class_of_representation, члены которого являются членами класса class_of_identification.
Пример - Связь между классом "семейство изготовленных частей" и формой представления "ИСО 13584 "Базовая семантическая единица", указывающая, что семейство частей возможно идентифицировать благодаря применению ИСО 13584, может быть представлена в качестве примера класса class_of_class_of_identification.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class_of_identification
SUBTYPE OF (class_of_class_of_representation);
END_ENTITY;
(*
5.2.19.4. Класс класса отображения информации (class_of_class_of_information_representation)
Класс class_of_class_of_information_representation есть класс class_of_class_of_individual, который формирует классы отображения информации.
Пример - "Восьмеричное целое число" есть класс class_of_class_of_representation, все члены которого являются классами представления информации, соответствующими восьмеричным форматированным целым числам.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class_of_information_representation
SUPERTYPE OF (ONEOF(representation_form, language,
document_definition))
SUBTYPE OF(class_of_class_of_individual);
END_ENTITY;
(*
5.2.19.5. Class of class of representation (класс класса отображения)
Класс class_of_class_of_representation есть класс class_of_class_of_relationship, члены которого являются экземплярами класса class_of_representation_of_thing.
Пример - Связь, указывающая, что члены класса "документ" могут быть представлены образцами класса "XML", - пример класса class_of_class_of_representation.
Спецификация на языке EXPRESS:
*)
ENTITY class of class of representation
SUBTYPE OF(class_of_class_of_relationship);
class_of_pattern :class_of_class_of_information_representation;
class_of_represented :class;
END_ENTITY;
(*
Определения атрибутов:
class_of_pattern: класс class_of_class_of_information_representation, члены которого могут отображать члены ссылочного класса;
class_of_represented: класс, члены которого могут быть представлены членами ссылочного класса class_of_class_of_information_representation.
5.2.19.6. Class of class of representation translation (класс класса перевода отображения)
Класс class_of_class_of_representation_translation есть класс class_of_class_of_relationship, члены которого являются членами класса class_of_representation_translation.
Пример - Класс "ASCII", члены которого включают все классы перевода между членами двоичного кода ASCII и классами представления текста в коде "ASCII", есть класс class_of_class_of_representation_translation.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class_of_representation_translation
SUBTYPE OF(class_of_class_of_relationship);
class_of_first : class_of_class_of_information_representation;
class_of_second : class_of_class_of_information_representation;
END_ENTITY;
(*
Определения атрибутов:
class_of_first: первый класс class_of_class_of_information_representation, для которого определяется перевод;
class_of_second: второй класс class_of_class_of_information_representation, для которого определяется перевод.
5.2.19.7. Class of class of responsibility for representation (класс класса ответственности за отображение)
Класс class_of_class_of_responsibility_for_representation есть класс class_of_class_of_relationship, члены которого являются членами класса class_of_class_of_responsibility_for_representation, связывающего контроллер с набором отображений.
Пример - Связь между водосливом, насосами водослива и их серийными номерами указывает, что идентификация насосов и их серийных номеров определяется водосливом.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class_of_responsibility_for_representation
SUBTYPE OF(class_of_class_of_relationship);
class_of_class_of_controlled: class_of_class_of_representation;
controller :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_class_of_controlled: класс class_of_class_of_representation, который контролируется ссылочной сущностью possible_individual;
controller: сущность possible_individual, контролирующая ссылочный класс class_of_class_of_representation.
Класс class_of_class_of_usage_of_representation есть класс class_of_class_of_relationship, члены которого являются членами класса class_of_usage_of_representation, связывающего пользователя с набором отображений.
Пример - Связь между компанией пользователя и идентификацией, установленной между насосами водослива и серийными номерами, указывающими, что компания пользователя использует идентификаторы водослива, может быть представлена в качестве примера класса class_of_class_of_usage_of_representation.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class_of_usage_of_representation
SUBTYPE OF (class_of_class_of_relationship);
class_of_class_of_used :class_of_class_of_representation;
user :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_class_of_used: класс class_of_class_of_representation, который используется ссылочной сущностью possible_individual;
user: сущность possible_individual, использующая класс class_of_class_of_representation.
Сущность document_definition есть класс class_of_class_of_information_representation, определяющий содержание и (или) структуру документов.
Пример - "Таблица данных о безопасности материалов корпорации XYZ" является сущностью document_definition.
Спецификация на языке EXPRESS:
*)
ENTITY document_definition
SUBTYPE OF(class_of_class_of_information_representation);
END_ENTITY;
(*
Сущность language есть класс class_of_class_of_information_representation, все члены которого являются отображением информации, подготовленной на определенном языке.
Пример - Английский, французский, C++ и Java могут быть представлены в качестве экземпляров языка.
Спецификация на языке EXPRESS:
*)
ENTITY language
SUBTYPE OF(class_of_class_of_information_representation);
END_ENTITY;
(*
Сущность representation_form есть класс class_of_class_of_information, различающий форму отображения.
Пример - "Шестнадцатеричный текст", "рукописный шрифт", "символ", "рисунок", "диаграмма", "семафор", "код Морзе", "музыкальные знаки", "формат файла MIDI и XML" могут быть представлены в качестве экземпляров сущности representation_form.
Спецификация на языке EXPRESS:
*)
ENTITY representation_form
SUBTYPE OF(class_of_class_of_information_representation);
END_ENTITY;
(*
Этот подраздел содержит объявления типов данных логических объектов, которые представляют пространства (присваиваемых) имен.
Примечание. На рисунке 196 есть диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. 4.8.4.2.5).
![]() Class_of_information_representation - класс отображения информации; (RT) class_of_part - (RT) класс части; (RT) class_of_whole - (RT) класс целого; namespace - пространство имен; left_namespace - левое пространство имени; right_namespace - правое пространство имени; class_of_class_of_information_representation - класс класса отображения информации; class_of_part - класс части; class_of_namespace - класс пространства имени; class_of_class_of_whole - класс класса целого; class_of_left_namespace - класс левого пространства имени; class_of_right_namespace - класс правого пространства имени
интеграции жизненного цикла
Класс class_of_left_namespace есть класс class_of_namespace, указывающий, что класс class_of_part является сущностью left_namespace для членов класса class_of_class_of_whole.
Пример - WC1: есть сущность left_namespace для идентификаторов места покупателей для Водной компании 1.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_left_namespace
SUBTYPE OF(class_of_namespace);
END_ENTITY;
(*
Класс class_of_namespace есть класс class_of_class_of_relationship, указывающий, что класс class_of_information_representation является классом class_of_part, применяемым по отношению к каждому члену класса class_of_class_of_information_representation, который в свою очередь является классом class_of_class_of_whole.
Пример - WC1: используется в качестве пространства имени для набора идентификаторов Водной компании.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_namespace
SUPERTYPE OF (ONEOF(class_of_left_namespace,
class_of_right_namespace))
SUBTYPE OF (class_of_class_of_relationship);
class_of_class_of_whole :
class_of_class_of_information_representation;
class_of_part :class_of_information_representation;
END_ENTITY;
(*
Определения атрибутов:
class_of_class_of_whole: класс class_of_class_of_information_representation, члены которого содержат пространство имени;
class_of_part: класс class_of_information_representation, являющийся пространством имени.
Класс class_of_right_namespace есть класс class_of_namespace, если класс class_of_part является пространством имен для членов класса class_of_class_of_whole.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_right_namespace
SUBTYPE OF(class_of_namespace);
END_ENTITY;
(*
5.2.20.4. Left namespace (левое пространство имени)
Сущность left_namespace есть сущность namespace, если класс class_of_part является левой частью класса class_of_whole.
Пример - В случае если WC1: является пространством имени в WC1:1234, то оно является сущностью left_namespace.
Спецификация на языке EXPRESS:
*)
ENTITY left_namespace
SUBTYPE OF(namespace);
END_ENTITY;
(*
5.2.20.5. Namespace (пространство имени)
Сущность namespace есть класс class_of_arrangement_of_individual, если класс class_of_whole и класс class_of_part являются членами класса class_of_information_representation и часть является самой значимой частью целого, то есть пространством имени.
Пример - Строка STRING WC1: является пространством имени в идентификаторе WC1:1234.
Спецификация на языке EXPRESS:
*)
ENTITY namespace
ABSTRACT SUPERTYPE OF (ONEOF(right_namespace, left_namespace))
SUBTYPE OF(class_of_arrangement_of_individual);
SELF\class_of_composition_of_individual.class_of_part :
class_of_information_representation;
SELF\class_of_arrangement_of_individual.class_of_whole :
class_of_information_representation;
END_ENTITY;
(*
Определения атрибутов:
class_of_part: класс class_of_information_representation, который является пространством имени;
class_of_whole: класс class_of_information_representation), содержащий класс class_of_part в качестве пространства имени.
5.2.20.6. Right namespace (правое пространство имени)
Сущность right_namespace есть сущность namespace, указывающая, что класс class_of_part является самой удаленной правой частью класса class_of_whole.
Пример - Если ZH есть пространство имени 5367ZH, то это указывает на сущность right_namespace во взаимоотношениях между ними.
Спецификация на языке EXPRESS:
*)
ENTITY right_namespace
SUBTYPE OF(namespace);
END_ENTITY;
(*
Этот подраздел содержит объявления типов данных логических объектов, которые представляют соединения.
Примечание. На рисунке 197 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. 4.7.3).
![]() ![]() Side_1 - сторона 1; possible_individual - возможный индивид; side_2 - сторона 2; connection_of_individual - соединение индивида; connection - соединение; individual_used_in_connection - индивид, использованный в соединении; usage - использование; direct_connection - прямое соединение; indirect_connection - косвенное соединение; class_of_side_1 - класс стороны 1; class_of_individual - класс индивида; class_of_side_2 - класс стороны 2; class_of_connection_of_individual - класс соединения индивида; class_of_connection - класс соединения; class_of_usage - класс использования; class_of_individual_used_in_connection - класс индивида, использованного в соединении; class_of_direct_connection - класс прямого соединения; class_of_indirect_connection - класс косвенного соединения
интеграции жизненного цикла
5.2.21.1. Class of connection of individual (класс соединения индивида)
Класс class_of_connection_of_individual есть класс class_of_relatioship, члены которого являются членами сущности connection_of_individual. Она указывает, что член класса class_of_side_1 class_of_individual может быть подсоединен к члену класса class_of_side_2 class_of_individual.
Примечания. 1. Класс class_of_side_1 и класс class_of_side_2 указывает класс class_of_individual, являющиеся сущностями side_1 и side_2 соответственно в сущности connection_of_individual, которая в свою очередь является членом класса class_of_connection_of_individual.
2. "Гибкое", "жесткое" и "сварное" не могут быть представлены как экземпляры класса class_of_connection_of_individual. Это классы материалов, соединенных или использованных в определенном соединении.
Пример - "Электрическое соединение между проводами" есть класс class_of_connection_of_individual.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_connection_of_individual
ABSTRACT SUPERTYPE OF (ONEOF(class_of_direct_connection,
class_of_indirect_connection))
SUBTYPE OF(class_of_relationship);
class_of_side_1 :class_of_individual;
class_of_side_2 :class_of_individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_side_1: класс class_of_individual, члены которого определяют роль сущности side_1 в членах класса class_of_connection_of_individual;
class_of_side_2: класс class_of_individual, члены которого определяют роль сущности side_2 в членах класса соединения индивида.
5.2.21.2. Class of direct connection (класс прямого соединения)
Класс class_of_direct_connection есть класс class_of_connection_of_individual, члены которого являются членами сущности direct_connection.
Пример - "Трехштырьковая электрическая вилка в соответствующей розетке" есть пример класса class_of_direct_connection.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_indirect_connection
SUBTYPE OF(class_of_connection_of_individual);
END_ENTITY;
(*
5.2.21.3. Class of indirect connection (класс косвенного соединения)
Класс class_of_indirect_connection есть класс class_of_connection_of_individual, члены которого являются членами сущности indirect_connection.
Пример - "Трубка для спуска жидкости, косвенно подсоединенная к спусковой воронке", является примером класса class_of_indirect_connection.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_indirect_connection
SUBTYPE OF(class_of_connection_of_individual);
END_ENTITY;
(*
5.2.21.4. Class of individual used in connection (класс индивида, использованного в соединении)
Класс class_of_individual_used_in_connection есть класс class_of_relationship, члены которого являются членами сущности individual_used_in_connection. Он указывает, что член класса class_of_individual используется в классе class_of_connection_of_individual.
Пример - Связь между классом class_of_connection_of_individual, указывающим, что балки типа B12 соединяются с трубными подвесками, и классом индивида "болт диаметром 20 мм", указывающим, что четыре болта диаметром 20 мм используются в соединении трубной подвески с балкой типа B12, может быть представлена в качестве примера класса class_of_individual_involved_in_connection.
Спецификация на языке EXPRESS:
*)
ENTITY class of individual used in connection
SUBTYPE OF(class_of_relationship);
class_of_connection :class_of_connection_of_individual;
class_of_usage :class_of_individual;
END_ENTFTY;
(*
Определения атрибутов:
class_of_connection: класс class_of_connection_of_individual, члены которого являются соединениями в членах класса class_of_individual_involved_in_connection;
class_of_usage: класс индивида, члены которого используются в членах класса class_of_individual_involved_in_connection.
5.2.21.5. Connection of individual (соединение индивида)
Сущность connection_of_individual есть сущность relationship, указывающая, что вещество, энергия или то и другое могут быть переданы между членами сущности possible_individual, которые соединяются прямо или косвенно. Упорядочение двух связанных экземпляров возможного индивида не имеет значения. Имена сущностей side_1 и side_2 служат только для того, чтобы различать атрибуты.
Спецификация на языке EXPRESS:
*)
ENTITY connection_of_individual
SUPERTYPE OF (ONEOF(direct_connection, indirect_connection))
SUBTYPE OF(relationship);
side_1 :possible_individual;
side_2 :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
side_1: первая сущность possible_individual, которая вовлекается в сущность connection_of_individual;
side_2: вторая сущность possible_individual, которая вовлекается в сущность connection_of_individual.
5.2.21.6. Direct connection (прямое соединение)
Сущность direct_connection есть сущность connection_of_individual, указывающая, что сущности side_1 и side_2 являются напрямую соединенными через общую пространственную границу.
Пример - Отношение, которое указывает, что вилка, заканчивающаяся серийным кабелем электросвязи, соединяется с розеткой на блоке компьютерной аппаратуры, может быть представлено в качестве примера сущности direct_connection.
Спецификация на языке EXPRESS:
*)
ENTITY direct_connection
SUBTYPE OF(connection_of_individual);
END_ENTITY;
(*
5.2.21.7. Indirect connection (косвенное соединение)
Сущность indirect_connection есть сущность connection_of_individual, указывающая, что сущности side_1 и side_2 соединяются через другие индивиды.
Пример - Отношение, указывающее, что имеется железнодорожное сообщение между Лондоном и Парижем, может быть представлено в качестве примера сущности indirect_connection.
Спецификация на языке EXPRESS:
*)
ENTITY indirect_connection
SUBTYPE OF(connection_of_individual);
END_ENTITY;
(*
5.2.21.8. Individual used in connection (индивид, использованный в соединении)
Сущность individual_used_in_connection есть сущность relationship, указывающая, что сущность possible_individual используется в сущности connection_of_individual.
Пример - Взаимоотношение между фланцевым соединением концов двух труб и временной частью болтов, гаек, набора шайб и прокладок, что указывает на участие болта и набора прокладок в соединении, может быть представлено в качестве примера сущности individual_used_in_connection.
Спецификация на языке EXPRESS:
*)
ENTITY individual_used_in_connection
SUBTYPE OF(relationship);
connection :connection_of_individual;
usage :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
connection: сущность connection_of_individual, в которой участвует ссылочная сущность possible_individual;
usage: сущность possible_individual, участвующая в ссылочном соединении индивида.
5.2.22. Relative locations and sequences (относительные местоположения и последовательности)
Этот подраздел содержит объявления типов данных логических объектов, которые представляют относительные местоположения и последовательности.
Примечание. На рисунке 198 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. также 4.7.4).
5.2.22.1. Class of containment of individual (класс ограничения распространения индивида)
Класс class_of_containment_of_individual есть класс class_of_relative_location, члены которого являются экземплярами ограничения сущности containment_of_individual. Он указывает, что член класса class_of_locator class_of_individual может ограничивать член класса class_of_located class_of_individual.
Пример - "Антифриз, который может содержаться в пластмассовой бутылке с завинчивающейся крышкой емкостью 1500 мл" является class_of_containment_of_individual.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_containment_of_individual
SUBTYPE OF(class_of_relative_location);
END_ENTITY;
(*
5.2.22.2. Class of relative location (класс относительного местоположения)
Класс class_of_relative_location есть класс class_of_relationship, члены которого являются экземплярами сущности relative_location.
Пример - "Около", "выше" или "ниже" являются примерами класса class_of_relative_location.
![]() ![]() Locator - устройство обнаружения; located - обнаруженный; relative_location - относительное местоположение; possible_individual - возможный индивид; containment_of_individual - ограничение распространения индивида; class_of_locator - класс устройства обнаружения; class_of_located - класс обнаруженный; class_of_relative_location - класс относительного местоположения; class_of_individual - класс индивида; class_of_containment_of_individual - класс ограничения распространения индивида; successor - преемник; predecessor - предшественник; temporal_sequence - временная последовательность; class_of_successor - класс преемника; class_of_predecessor - класс предшественника; class_of_temporal_sequence - класс временной последовательности
интеграции жизненного цикла
Спецификация на языке EXPRESS:
*)
ENTITY class_of_relative_location
SUBTYPE OF(class_of_relationship);
class_of_located :class_of_individual;
class_of_locator :class_of_individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_located: класс class_of_individual, члены которого являются членами класса устройства обнаружения класса class_of_individual;
class_of_locator: класс class_of_individual, члены которого действуют как устройство обнаружения для членов класса обнаруженного класса class_of_individual.
Класс class_of_temporal_sequence есть класс class_of_relationship, если последовательность имеет временный характер.
Примеры
1. Связь, указывающая, что члены класса "июль" следуют за членами класса "июнь", может быть представлена в качестве экземпляра класса class_of_temporal_sequence.
2. Связь, указывающая, что действия по опорожнению цистерны предваряют действия очистки, может быть представлена в качестве экземпляра класса class_of_sequence.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_temporal_sequence
SUBTYPE OF(class_of_relationship);
class_of_predecessor :class_of_individual;
class_of_successor :class_of_individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_predecessor: класс class_of_individual, члены которого являются предшественниками среди членов класса class_of_sequence;
class_of_successor: класс class_of_individual, члены которого являются преемниками среди членов класса class_of_sequence.
5.2.22.4. Containment of individual (ограничение распространения индивида)
Сущность containment_of_individual есть сущность relative_location, если обнаруженная сущность possible_individual ограничивается устройством обнаружения возможного индивида, но не является частью данного индивида.
Пример - "Содержимое сосуда, находящееся внутри него", может быть представлено в качестве экземпляра сущности containment_of_individual.
Примечание. Ограничение распространения отличается от состава; в составе целое состоит из всех его частей вместе с ограничением распространения, а то, что ограничивается, не является частью целого.
Спецификация на языке EXPRESS:
*)
ENTITY containment_of_individual
SUBTYPE OF(relative_location);
END_ENTITY;
(*
5.2.22.5. Relative location (относительное местоположение)
Сущность relative_location есть сущность relationship, указывающая, что позиция одной сущности possible_individual является относительной к позиции другого.
Примечание. Сущность classification сущности relative_location указывает на ее характер, например выше, ниже, около.
Спецификация на языке EXPRESS:
*)
ENTITY relative_location
SUBTYPE OF(relationship);
located :possible_individual;
locator :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
located: сущность possible_individual, которую можно обнаружить;
locator: сущность possible_individual, являющаяся ссылочным местоположением для обнаруженного возможного индивида.
Сущность temporal_sequence есть сущность relationship, указывающая, что одна сущность possible_individual предшествует другой с точки зрения времени.
Примеры
1. Взаимоотношение, указывающее, что возможный индивид, который является фазой строительства завода, предшествует возможному индивиду, являющемуся фазой ввода завода в эксплуатацию, может быть представлено в качестве экземпляра сущности temporal_sequence.
2. Взаимоотношение, указывающее, что период времени, известный как промышленная революция, предшествует периоду времени, известному как информационная революция, может быть представлено в качестве экземпляра сущности temporal_sequence.
Спецификация на языке EXPRESS:
*)
ENTITY temporal_sequence
SUBTYPE OF(relationship);
predecessor :possible_individual;
successor :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
predecessor: сущность possible_individual, являющаяся предшественницей в последовательности;
successor: сущность possible_individual, являющаяся преемницей в последовательности.
5.2.23. Lifecycle stages and approval (стадии жизненного цикла и одобрения)
Этот подраздел содержит объявления типов данных логических объектов, которые представляют стадии жизненного цикла и одобрения.
Примечание. На рисунке 199 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. 4.7.7 и 4.7.18).
![]() ![]() Interested - заинтересованный; interest - интерес; lifecycle_stage - стадия жизненного цикла; possible individual - возможный индивид; class_of_lifecycle_stage - класс стадии жизненного цикла; approved - одобренный; approver - одобряющий; relationship - взаимоотношение; approval - одобрение; class_of_approved - класс одобренного; class_of_approver - класс одобряющего; class_of_approval - класс одобрения; class_of_relationship - класс взаимоотношения; class_of_individual - класс индивида; class_of_approval_by_status - класс одобрения по статусу
интеграции жизненного цикла
Сущность approval есть сущность relationship, указывающая, что взаимоотношение одобрено сущностью possible_individual, которая является одобряющей сущностью.
Примечание. Следует соблюдать осторожность в отношении того, что одобряется. Высказывание может не иметь отношения к насосу, который одобряется, а относиться к определенному действию или члену некоторого класса class_of_activity.
Пример - Примером одобрения является сущность вовлечения по ссылке проекта завода, которая связана со строительной деятельностью, одобряемой менеджером строительного участка.
Спецификация на языке EXPRESS:
*)
ENTITY approval
SUBTYPE OF(relationship);
approved :relationship;
approver :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
approved: сущность relationship, являющаяся одобряемой;
approver: сущность possible_individual, являющаяся одобряющей.
Класс class_of_approval есть класс class_of_relationship, члены которого являются членами сущности approval, указывающей, что члены класса class_of_individual являются одобряющими для членов класса, который одобрен.
Пример - То, что менеджеры строительной площадки одобряют технические условия проекта строительства (класс вовлечения по ссылке) является примером класса class_of_approval.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_approval
SUBTYPE OF(class_of_relationship);
class_of_approved :class_of_relationship;
class_of_approver :class_of_individual;
END_ENTITY;
(*
Определения атрибутов:
class_of_approved: класс class_of_relationship, члены которого одобряются членами класса class_of_approver (класс одобряющего);
class_of_approver: класс class_of_individual, члены которого являются одобряющими одобренного класса class_of_relationship.
Класс class_of_approval_by_status есть класс class_of_relationship, указывающий статус одобрения, который является независимым от того, что и кем одобряется.
Пример - "Одобренный", "одобренный с комментариями", "не санкционировано с комментариями" могут быть представлены в качестве экземпляров класса class_of_approval_by_status.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_approval_by_status
SUBTYPE OF(class_of_relationship);
END_ENTITY;
(*
Класс class_of_lifecycle_stage есть класс class_of_relationship, члены которого являются членами сущности lifecycle_stage.
Пример - "Запланированный", "требуемый", "ожидаемый" и "предложенный" могут быть представлены в качестве экземпляров класса class_of_lifecycle_stage.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_lifecycle_stage
SUBTYPE OF(class_of_relationship);
END_ENTITY;
(*
Сущность lifecycle_stage есть сущность relationship, указывающая на интерес, который сущность possible_individual проявляет к другому возможному индивиду.
Пример - Отношение, которое связывает возможное строительство с временной частью корпорации XYZ, может быть представлено экземпляром сущности lifecycle_stage. Характер этой сущности (например, "плановый") может быть выражен путем классифицирования с приемлемым классом class_of_lifecycle_stage.
Спецификация на языке EXPRESS:
*)
ENTITY lifecycle_stage
SUBTYPE OF(relationship);
interest :possible_individual;
interested :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
interest: сущность possible_individual, вызывающая интерес ссылочного возможного индивида;
interested: сущность possible_individual, которая заинтересована в ссылочном возможном индивиде.
Этот подраздел содержит объявления типов данных логических объектов, которые представляют возможные и предназначенные роли.
Примечание. На рисунке 200 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. 4.8.4.8.1).
![]() ![]() Player - игрок; played - исполненный; intended_role_and_domain - предназначенные роль и домен; possible_individual - возможный индивид; role_and_domain - роль и домен; class_of_intended_role_and_domain - класс предназначенных роли и домена; class_of_player - класс игрока; class_of_individual - класс индивида; possible_role_and_domain - возможные роль и домен; class_of_possible_role_and_domain - класс возможных роли и домена
интеграции жизненного цикла
Класс class_of_intended_role_and_domain есть класс class_of_relationship, указывающий, что член класса class_of_individual намеревается действовать в качестве сущности role_and_domain.
Пример - Насосы действуют в качестве роли и домена исполнителя в некоторой деятельности по перекачиванию.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_intended_role_and_domain
SUBTYPE OF(class_of_relationship);
class_of_player :class_of_individual;
played :role_and_domain;
END_ENTITY;
(*
Определения атрибутов:
class_of_player: класс class_of_individual, члены которого могут определять роль сущности role_and_domain;
played: роль и домен, которые могут быть определены членами класса индивида.
Класс class_of_possible_role_and_domain есть класс class_of_relationship, указывающий сущность role_and_domain, которую может играть член класса class_of_individual в некотором действии.
Пример - Насосы могут играть роль якоря (хотя они не предназначены для этого).
Спецификация на языке EXPRESS:
*)
ENTITY class_of_possible_role_and_domain
SUBTYPE OF(class_of_relationship);
class_of_player :class_of_individual;
played :role_and_domain;
END_ENTITY;
(*
Определения атрибутов:
class_of_player: класс class_of_individual, члены которого могут играть роль ссылочной сущности role_and_domain;
played: роль и домен, которые могут играть члены ссылочного класса class_of_individual.
Сущность intended_role_and_domain есть сущность relationship, указывающая на сущность role_and_domain, которую некоторая временная часть сущности possible_individual определяет в отношении некоторого действия.
Пример - Некоторая сущность possible_individual, классифицированная как насос, определяет сущность role_and_domain исполнителя в некоторой деятельности по перекачиванию.
Спецификация на языке EXPRESS:
*)
ENTITY intended_role_and_domain
SUBTYPE OF(relationship);
played :role_and_domain;
player :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
played: сущность role_and_domain, которую намерена играть ссылочная сущность possible_individual;
player: сущность possible_individual, которая намеревается играть ссылочную сущность role_and_domain.
Сущность possible_role_and_domain есть сущность relationship, указывающая, что игрок - сущность possible_individual предположительно сумеет определить сущность role_and_domain.
Спецификация на языке EXPRESS:
*)
ENTITY possible_role_and_domain
SUBTYPE OF(relationship);
played :role_and_domain;
player :possible_individual;
END_ENTITY;
(*
Определения атрибутов:
played: сущность role_and_domain, которую сущность possible_individual может выполнить;
player: сущность possible_individual, которую может выполнить роль и домен.
Этот подраздел содержит объявления типов данных логических объектов, которые представляют операции с множествами.
Примечание. На рисунке 201 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. 4.8.5.2.1 и 4.9).
5.2.25.1. Difference of set of class (разность множества классов)
Сущность difference_of_set_of_class есть сущность functional_mapping, указывающая, что членство класса отличается от членства объединения классов, которые являются членами перечислимого набора классов и их пересечения.
Примечание. Если сущность enumerated_set_of_class состоит из класса и другого класса, являющегося подклассом первого класса, тогда разница между ними есть дополнение подкласса.
Пример - Различие сущностей enumerated_set_of_class [(A, B, C), (B, C, D), (C, D, E)] есть (A, B, C, D, E).
![]() (RT) input - (RT) ввод; (RT) result - (RT) результат; difference_of_set_of_class - разность множества класса; class - класс; enumerated_set_of_class - перечислимое множество класса; union_of_set_of_class - объединение множества класса; intersection_of_set_of_class - пересечение множества класса; enumerated_number_set - перечислимое числовое множество; enumerated_property_set - перечислимый набор свойств
интеграции жизненного цикла
Спецификация на языке EXPRESS:
*)
ENTITY difference_of_set_of_class
SUBTYPE OF(functional_mapping);
SELF\functional_mapping.input : enumerated_set_of_class;
SELF\functional_mapping.result : class;
END_ENTITY;
(*
Определения атрибутов:
input: сущность enumerated_set_of_class, которая является доменом разностной функции;
result: класс, который является диапазоном разностной функции.
5.2.25.2. Enumerated set of class (перечислимое множество классов)
Сущность enumerated_set_of_class есть класс class_of_class, являющийся перечислимым набором экземпляров класса. "Перечислимое" означает, что задается полное множество членов.
Пример - [пластмасса, 1,2 кг, рама] есть сущность enumerated_set_of_class. В более общем виде [(A, B, C), (B, C, D), (C, D, E)] также является сущностью enumerated_set_of_class.
Спецификация на языке EXPRESS:
*)
ENTITY enumerated set of class
SUBTYPE OF(class_of_class);
END_ENTITY;
(*
5.2.25.3. Intersection of set of class (пересечение множества классов)
Сущность intersection_of_set_of_class есть сущность functional_mapping, указывающая что класс результатов состоит из тех членов классов сущности enumerated_set_of_class, которые являются общими для каждого класса.
Пример - Пересечение перечислимого набора классов [(A, B, C), (B, C, D), C, D, E)] есть C.
Спецификация на языке EXPRESS:
*)
ENTITY intersection_of_set_of_class
SUBTYPE OF(functional_mapping);
SELF\functional_mapping.input : enumerated_set_of_class;
SELF\functional_mapping.result : class;
END_ENTITY;
(*
Определения атрибутов:
input: сущность enumerated_set_of_class, члены которой пересекаются;
result: класс, который представляет пересечение членов перечислимого набора классов.
5.2.25.4. Union of set of class (объединение наборов классов)
Сущность union_of_set_of_class есть сущность functional_mapping, указывающая, что членство класса результатов является объединением членов сущности enumerated_set_of_class.
Пример - Объединение сущности enumerated_set_of_class [(A, B, C), (B, C, D), (C, D, E)] есть (A, B, C, D, E).
Спецификация на языке EXPRESS:
*)
ENTITY union_of_set_of_class
SUBTYPE OF(functional_mapping);
SELF\functional_mapping.input : enumerated_set_of_class;
SELF\functional_mapping.result : class;
END_ENTITY;
(*
Определения атрибутов:
input: сущность enumerated_set_of_class, являющаяся доменом функции объединения;
result: класс, являющийся диапазоном функции объединения.
Этот подраздел содержит объявления типов данных логических объектов, которые представляют свойства.
Примечание. На рисунке 202 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. 4.8.4.3).
![]() ![]() Lesser_element - меньший элемент; (RT) input - (RT) ввод; property_quantification - квантификация свойства; property - свойство; comparison_of_property - сравнение свойства; greater_element - больший элемент; (RT) result - (RT) результат; shape - форма; multidimensional_property - многомерное свойство; arithmetic_number - арифметическое число; possessor - обладатель; indirect_property - косвенное свойство; possible_individual - возможный индивид; class_of_possessor - класс обладателя; property space - пространство свойства; class_of_indirect_property - класс косвенного свойства; class_of_individual - класс индивида
интеграции жизненного цикла
Класс class_of_indirect_property есть класс relationship, указывающий, что член класса class_of_individual может владеть членом класса class_of_property в качестве сущности indirect_property.
Пример - "Максимальное допустимое рабочее давление" есть класс косвенного свойства, обозначаемого посредством единиц давления, которое может сохраняться внутри сосуда, работающего под давлением.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_indirect_property
SUBTYPE OF(class_of_relationship);
class_of_possessor :class_of_individual;
property_space :property_space;
END_ENTITY;
(*
Определения атрибутов:
class_of_possessor: класс class_of_individual, экземпляры которого могут содержать элементы сущности property_space;
property_space: пространство свойства, элемент которого может содержаться в элементе класса class_of_individual.
Сущность comparison_of_property есть сущность relationship, указывающая, что величина одной сущности property больше, чем величина другой сущности property.
Пример - Температура в комнате, меньшая, чем в печи, может быть представлена экземпляром сущности comparison_of_property.
Спецификация на языке EXPRESS:
*)
ENTITY comparison_of_property
SUBTYPE OF(relationship);
greater_element :property;
lesser_element :property;
END_ENTITY;
(*
Определения атрибутов:
greater_element: сущность property, являющаяся большим элементом в сущности comparison_of_property;
lesser_element: сущность property, являющаяся меньшим элементом в сущности comparison_of_property.
Сущность indirect_property есть взаимоотношение между свойством и сущностью possible_individual. Природа косвенного свойства определяется его классификацией с помощью класса class_of_indirect_property.
Свойство является косвенным, если оно не применяется непосредственно к возможному индивиду, но выводится из некоторого процесса.
Примечание. Свойство является косвенным, потому что оно не применяется напрямую. У предмета может быть только одна температура (в некоторый момент времени), так что максимальная допустимая рабочая температура является не его температурой, а косвенным свойством, выведенным по результатам испытаний или вычислений, выполненных с целью установления его значения (в противовес текущему измерению). Именно это делает свойство косвенным.
Пример - Максимальное допустимое рабочее давление 50 бар (A) для V101 задается сущностью indirect_property между давлением 50 бар (A) и V101, классифицированным классом косвенного свойства "максимальное допустимое рабочее давление".
Спецификация на языке EXPRESS:
*)
ENTITY indirect_property
SUBTYPE OF(relationship);
possessor :possible_individual;
property :property;
END_ENTITY;
(*
Определения атрибутов:
possessor: сущность possible_individual, обладающая сущностью indirect_property;
property: сущность property, которой косвенно владеет сущность possible_individual.
5.2.26.4. Multidimensional property (многомерное свойство)
Сущность multidimensional_property есть сущность property, которая также является сущностью multidimensional_object.
Пример - "Характеристика напора потока в насосе" является сущностью multidimensional_object. Она состоит из континуума пар свойств Q, H, где Q есть расход и H есть разность динамического напора. Каждая пара свойств
.Спецификация на языке EXPRESS:
*)
ENTITY multidimensional_property
SUBTYPE OF(property, multidimensional_object);
END_ENTITY;
(*
5.2.26.5. Property (свойство)
Сущность property есть класс class_individual, который является членом континуума класса class_of_property. Свойство может быть квантифицировано путем отображения числа на шкале.
Примечания. 1. Член сущности property есть сущность possible_individual (возможный индивид), имеющая такую же степень или величину качества или характеристики, представленной свойством, как и другие члены.
2. Типы характеристик или качества, например температура или плотность, являются экземплярами класса class_of_property.
3. Не следует создавать в пределах хранилища одинаковых данных дублированные свойства (например, карту к одному и тому же числу на одной и той же шкале).
Пример - "Особая степень жары" может быть представлена как экземпляр сущности property.
Спецификация на языке EXPRESS:
*)
ENTITY property
SUBTYPE OF(class_of_individual);
END_ENTITY;
(*
Сущность property_quantification есть сущность functional_mapping, члены которой преображают сущность property в сущность arithmetic_number.
Пример - "Связь, которая преображает определенную массу в число 4,2", может быть представлена экземпляром сущности property_quantification.
Примечания. 1. Реальное представление числа основывается на связи сущности arithmetic_number с классом class_of_EXPRESS_information_representation через класс class_of_representation_of_thing.
2. Единица измерения или масштаб квантификации задается путем классифицирования сущности property_of_quantification по шкале.
Спецификация на языке EXPRESS:
*)
ENTITY property_quantification
SUBTYPE OF(functional_mapping);
SELF\functional_mapping.input : property;
SELF\functional_mapping.result : arithmetic_number;
END_ENTITY;
(*
Определения атрибутов:
input: сущность property, которая квантифицируется ссылочной сущностью arithmetic_number;
result: сущность arithmetic_number, которая квантифицирует сущность property, указанную ссылкой.
Этот подраздел содержит объявления типов данных логических объектов, которые представляют классы свойства.
Примечание. На рисунке 203 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. 4.8.4.3).
![]() Class_of_property - класс свойства; enumerated_property_set - перечислимый набор свойств; property_space - пространство свойства; (RT) subclass - (RT) подкласс; boundary_of_property_space - граница пространства свойства; (RT) superclass - (RT) суперкласс; class_of_shape - класс формы; lower_bound_of_property_range - нижняя граница диапазона свойства; (RT) classifier - (RT) классификатор; (RT) classified - (RT) классифицированный; property - свойство; property_range - диапазон свойства; upper_bound_of_property_range - верхняя граница диапазона свойства; single_property_dimension - размерность единичного свойства; multidimensional_property_space - пространство многомерного свойства
интеграции жизненного цикла
5.2.27.1. Boundary of property space (граница пространства свойства)
Сущность boundary_of_property_space есть сущность specialization, указывающая члены подкласса, которые образуют границу суперкласса.
Пример - Сущность property_space, которая соответствует кривой максимальной скорости напора потока, является сущностью boundary_of_property_space, соответствующей рабочему диапазону насоса.
Спецификация на языке EXPRESS:
*)
ENTITY boundary_of_property_space
SUBTYPE OF(specialization);
SELF\specialization.subclass: property_space;
SELF\specialization.superclass : property_space;
END_ENTITY;
(*
Определения атрибутов:
subclass: сущность property_space, члены которой формируют границу пространства свойства, на которое ссылается атрибут суперкласса;
superclass: сущность property_space, ограничивающаяся членами пространства свойства, на которое ссылается атрибут подкласса.
5.2.27.2. Class of property (класс свойства)
Класс class_of_property есть класс class_of_class_individual, члены которого являются экземплярами сущности property.
Пример - "Температура" является примером класса class_of_property.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_property
SUPERTYPE OF (ONEOF(property_space, enumerated_property_set))
SUBTYPE OF(class_of_class_of_individual);
END_ENTITY;
(*
5.2.27.3. Enumerated property set (перечислимый набор свойств)
Сущность enumerated_property_set есть класс class_of_property и сущность enumerated_set_of_class, члены которой являются перечислимым набором свойств одной и той же сущности single_property_dimension или сущности multidimensional_property_space.
Пример - "115 вольт", "240 вольт" являются примером сущности enumerated_property_set.
Спецификация на языке EXPRESS:
*)
ENTITY enumerated_property_set
SUBTYPE OF(class_of_property, enumerated_set_of_class);
END_ENTITY;
(*
5.2.27.4. Lower bound of property range (нижняя граница диапазона свойства)
Сущность lower_bound_of_property_range есть класс class_of_classification, который указывает, что сущность property является сущностью lower_bound_of_property_range.
Пример - "Минус 10 °C" есть нижний предел диапазона от минус 10 °C до плюс 20 °C.
Спецификация на языке EXPRESS:
*)
ENTITY lower_bound_of_property_range
SUBTYPE OF(classification);
SELF\classification.classified : property;
SELF\classification.classifier : property range;
END_ENTITY;
(*
Определения атрибутов:
classified: сущность property, являющаяся пределом в lower_bound_of_property_range;
classifier: сущность property_range, ограничивающаяся в качестве классификатора сущностью lower_bound_of_property_range.
Сущность multidimensional_property_space есть сущности property_space и multidimensional_object, члены которых являются свойствами, и каждое из них соответствует более чем одному значению. Каждое свойство должно состоять из элементов одинаковых размерностей.
Пример - "Кривая расхода рабочей характеристики насоса" и "дифференциальный напор" являются сущностью multidimensional_property_space.
Спецификация на языке EXPRESS:
*)
ENTITY multidimensional_property_space
SUBTYPE OF(property_space, multidimensional_object);
END_ENTITY;
(*
Сущность property_range есть сущность property_space, являющаяся непрерывным подмножеством сущности single_property_dimension.
Пример - От минус 10 °C до плюс 20 °C есть диапазон температуры свойства.
Спецификация на языке EXPRESS:
*)
ENTITY property_range
SUBTYPE OF(property_space);
END_ENTITY;
(*
Сущность property_space есть класс class_of_property, члены которого являются когерентным континуумом свойства.
Примеры
1. "Набор температурных свойств, известных как температура", есть сущность property_space.
2. Члены класса class_of_property "давление" и "расход" (показатели, которые можно отразить на характеристической кривой конкретного насоса) являются сущностью property_space.
Спецификация на языке EXPRESS:
*)
ENTITY property_space
SUBTYPE OF(class_of_property);
END_ENTITY;
(*
Сущность single_property_dimension, являющаяся единственным и полным континуумом свойств, каждое из которых устанавливает соответствие с одним числом.
Пример - "Температура", "давление", "вязкость" и "длина" - примеры сущности single_property_dimension.
Спецификация на языке EXPRESS:
*)
ENTITY single_property_dimension
SUBTYPE OF(property_space);
END_ENTITY;
(*
5.2.27.9. Upper bound of property range (верхняя граница диапазона свойства)
Сущность upper_bound_of_property_range есть класс class_of_classification, указывающий, что сущность property является сущностью upper_bound_of_property_range.
Пример - Плюс 20 °C - верхняя граница диапазона от минус 10 °C до плюс 20 °C.
Спецификация на языке EXPRESS:
*)
ENTITY upper_bound_of_property_range
SUBTYPE OF(classification);
SELF\classification.classified : property;
SELF\classification.classifier : property_range;
END_ENTITY;
(*
Определения атрибутов:
classified: сущность property, классифицированная в сущности upper_bound_of_property_range;
classifier: сущность property_range - классификатор, имеющий верхний предел, заданный в верхней границе диапазона свойства.
Этот подраздел содержит объявления типов данных логических объектов, которые представляют преобразования шкалы.
Примечание. На рисунке 204 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. также 4.8.4.3.2).
![]() (RT) domain - (RT) домен; property_space - пространство свойства; class_of_scale_conversion - класс преобразования шкалы; scale - шкала; (RT) codomain - (RT) область значений; number_space - числовое пространство; multidimensional_scale - многомерная шкала; coordinate_system - система координат
интеграции жизненного цикла
5.2.28.1. Class of scale conversion (класс преобразования шкалы)
Класс class_of_scale_conversion есть класс class_of_isomorphic_functional_mapping, определяющий изменение между двумя разными масштабами единиц измерения, использованных для квантификации свойств.
Пример - "Шкала Фаренгейта" и "шкала Цельсия" могут быть представлены экземплярами сущности scale (шкала). Преобразование между этими шкалами может быть представлено экземпляром класса class_of_scale_conversion.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_scale_conversion
SUBTYPE OF(class_of_isomorphic_functional_mapping);
SELF\class_of_functional_mapping.codomain : scale;
SELF\class_of_functional_mapping.domain : scale;
END_ENTITY;
(*
Определения атрибутов:
codomain: вторая шкала, для которой утверждается изменение;
domain: первая шкала, для которой утверждается изменение.
Сущность coordinate_system есть сущность multidimensional_scale для определения местоположения сущности possible_individual в n-мерном пространстве, в котором произвольные геометрические преобразования являются действительными.
Пример - "Система координат XYZ строительной площадки" есть пример координатной системы.
Спецификация на языке EXPRESS:
*)
ENTITY coordinate_system
SUBTYPE OF(multidimensional_scale);
END_ENTITY;
(*
5.2.28.3. Multidimensional scale (многомерная шкала)
Сущность multidimensional_scale есть сущность scale, которая также является сущностью multidimensional_object.
Пример - Шкала A (Цельсий, секунды) есть сущность multidimensional_scale, на которой можно отметить колебания температуры во времени.
Спецификация на языке EXPRESS:
*)
ENTITY multidimensional_scale
SUBTYPE OF(scale, multidimensional_object);
END_ENTITY;
(*
5.2.28.4. Scale (шкала)
Сущность scale есть класс isomorphic_functional_mapping, члены которого являются членами сущности property_quantification. Он указывает сущность number_space, приводящую сущность property_space в соответствие с рассматриваемой шкалой.
Пример - Связь, известная как шкала Цельсия между классом class_of_number [-273... бесконечность] и классом class_of_property "температура", может быть представлена в качестве экземпляра шкалы.
Спецификация на языке EXPRESS:
*)
ENTITY scale
SUBTYPE OF(class_of_isomorphic_functional_mapping);
SELF\class_of_functional_mapping.codomain: number_space;
SELF\class_of_functional_mapping.domain : property_space;
END_ENTITY;
(*
Определения атрибутов:
codomain: сущность number_space, члены которой могут квантифицировать члены ссылочной сущности property_space;
domain: класс class_of_property, члены которого могут быть квантифицированы членами ссылочной сущности number_space.
Этот подраздел содержит объявления типов данных логических объектов, которые представляют формы.
Примечание. На рисунке 205 представлена диаграмма типа(ов) данных логических объектов, определенного(ых) в этом подразделе (см. также 4.8.4.5).
5.2.29.1. Class of dimension for shape (класс размера для формы)
Класс class_of_dimension_for_shape есть класс class_of_class_of_relationship, указывающий, что члены класса class_of_shape имеют размер, который является членом класса class_of_dimension.
Пример - Предписание, что члены класса "круг" содержат члены класса "диаметр", является экземпляром класса class_of_dimension_for_shape.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_dimension_for_shape
SUBTYPE OF(class_of_class_of_relationship);
class_of_dimension :class_of_shape_dimension;
class_of_shape :class_of_shape;
END_ENTITY;
(*
Определения атрибутов:
class_of_dimension: класс class_of_shape_dimension в классе class_of_domension_for_shape;
class_of_shape: класс class_of_shape в классе class_of_domension_for_shape.
5.2.29.2. Class of shape (класс формы)
Класс class_of_shape есть сущность property_space, которая в качестве членов содержит экземпляры формы.
Пример - "Правильные геометрические формы", например "линия", "круг", "квадрат", "цилиндр", "сфера" и "конус", могут быть представлены экземплярами класса class_of_form.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_shape
SUBTYPE OF(property_space);
END_ENTITY;
(*
![]() ![]() ![]() Individual - индивид; dimension_of_individual - размерность индивида; individual_dimension - единичная размерность; possible_individual - возможный индивид; specialization_of_individual_dimension_from_property - специализация единичной размерности по свойству; (RT) superclass - (RT) суперкласс; (RT) subclass - (RT) подкласс; property - свойство; shape - форма; dimension - размерность; dimension_of_shape - размерность формы; shape_dimension - шейповая размерность; property_for_shape_dimension - свойство для шейповой размерности; class_of_shape - класс формы; class_of_dimension - класс размера; class_of_dimension_for_shape - класс размера для формы; class_of_shape_dimension - класс шейповой размерности; property_space_for_class_of_shape_dimension - пространство свойства для класса шейповой размерности; property_space - пространство свойства
интеграции жизненного цикла
Класс class_of_shape_dimension есть класс class_of_class, являющийся размером класса class_of_shape.
Пример - "Диаметр", "высота" и "ширина" (скорее общая, чем частная величина) являются примерами класса class_of_shape_dimension.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_shape_dimension
SUBTYPE OF(class_of_class);
END_ENTITY;
(*
Сущность dimension_of_individual есть класс class_of_relationship, указывающий, что каждый член множества линий, являющихся сущностью dimension_of_individual, - размер сущности possible_of_individual.
Пример - Все линии, которые проходят через центр определенного круга и заканчиваются на его окружности, являются размером (диаметром) этого круга. Частный размер указывается размером формы, группирующим размеры индивида.
Спецификация на языке EXPRESS:
*)
ENTITY dimension_of_individual
SUBTYPE OF (class_of_relationship);
individual :possible_individual;
individual_dimension :individual_dimension;
END_ENTITY;
(*
Определения атрибутов:
individual: сущность possible_individual, обладающая отдельным размером в сущности dimension_of_individual;
individual_dimension: отдельный размер для сущности possible_individual в сущности dimension_of_individual.
Сущность dimension_of_shape есть класс class_of_class_of_relationship, указывающий, что члены сущности shape_dimension являются размерами членов сущности shape.
Пример - Множества линий длиной 10 м, которые являются десятиметровыми диаметрами кругов, есть пример сущности dimension_of_shape.
Спецификация на языке EXPRESS:
*)
ENTITY dimension_of_shape
SUBTYPE OF(class_of_class_of_relationship);
dimension :shape_dimension;
shape :shape;
END_ENTITY;
(*
Определения атрибутов:
dimension: сущность shape_dimension, определенная формой;
shape: форма, обладающая сущностью shape_dimension.
Сущность individual_dimension есть класс class_of_individual, члены которого характеризуют конкретную сущность possible_individual.
Пример - Множество линий, каждая из которых является диаметром определенного круга.
Спецификация на языке EXPRESS:
*)
ENTITY individual_dimension
SUBTYPE OF(class_of_individual);
END_ENTITY;
(*
Сущность property_for_shape_dimension есть класс class_of_class_of_relationship, указывающий, что члены сущности shape_dimension являются свойством.
Спецификация на языке EXPRESS:
*)
ENTITY property_for_shape_dimension
SUBTYPE OF(class_of_relationship);
property :property;
shape_dimension :shape_dimension;
END_ENTFTY;
(*
Определения атрибутов:
property: свойство для сущности property_for_shape_dimension;
shape_dimension: сущность shape_dimension, члены которой являются специализациями определенного свойства в сущности property_for_shape_dimension.
5.2.29.8. Property space for class of shape dimension (пространство свойства для класса шейповой размерности)
Сущность property_space_for_class_of_shape_dimension есть класс class_of_class_of_relationship, указывающий пространство свойства, которое формирует класс class_of_shape_dimension.
Пример - Значение диаметра определяется его длиной.
Спецификация на языке EXPRESS:
*)
ENTITY property_space_for_class_of_shape_dimension
SUBTYPE OF(class_of_class_of_relationship);
class_of_shape_dimension :class_of_shape_dimension;
property_space :property_space;
END_ENTITY;
(*
Определения атрибутов:
class_of_shape_dimension: класс class_of_shape_dimension, члены которого имеют свойство в ссылочной сущности property_space;
property_space: сущность property_space, для которой класс class_of_shape_dimension является формой.
5.2.29.9. Shape (форма)
Сущность shape есть сущность property, зависящая от постоянных отношений позиции и пропорционального расстояния среди всех точек, составляющих очертание формы или ее внешнюю поверхность.
Примеры
1. Круг диаметром 20 мм и круги диаметром 10 - 20 мм являются примерами формы.
2. Неправильные формы, например наружное очертание модели насоса, может быть представлено экземплярами формы.
Спецификация на языке EXPRESS:
*)
ENTITY shape
SUBTYPE OF(property);
END_ENTITY;
(*
Сущность shape_dimension есть класс class_of_class_of_individual, являющийся множеством сущностей individual_dimension, определяющих аспект формы.
Пример - "Диаметр 5 м", "высота 3 м" и "ширина 10 см" являются членами сущности shape_dimension.
Спецификация на языке EXPRESS:
*)
ENTITY shape_dimension
SUBTYPE OF(class_of_class_of_individual);
END_ENTITY;
(*
5.2.29.11. Specialization of individual dimension from property (специализация единичной размерности по свойству)
Сущность specialization_of_individual_dimension_from_property есть сущность specialization, указывающая, что члены размера являются членами определенного свойства.
Пример - Диаметр 10 м есть длина 10 м.
Спецификация на языке EXPRESS:
*)
ENTITY specialization_of_individual_dimension_from_property
SUBTYPE OF(specialization);
SELF\specialization.subclass: individual_dimension;
SELF\specialization.superclass : property;
END_ENTITY;
(*
Определения атрибутов:
subclass: сущность individual_dimension, являющаяся специализацией;
superclass: сущность property, являющаяся обобщением.
(справочное)
РЕГИСТРАЦИЯ ИНФОРМАЦИОННОГО ОБЪЕКТА
A.1. Идентификация документа
Чтобы обеспечить однозначную идентификацию информационного объекта в открытой системе, идентификатор объекта
{ISO standard 15926 part (2) version (1)}
назначается для настоящего стандарта. Смысл этого значения определяется в ИСО/МЭК 8824-1, а его описание - в ИСО 15926-1.
Примечание. Это идентификатор объекта, который должен применяться к опубликованной версии (IS) настоящего стандарта.
A.2. Идентификация схемы
Чтобы обеспечить однозначную идентификацию сущности process_plant_lifecycle_scheme в открытой информационной системе, идентификатор объекта
{ISO standard 15926 part (2) version (1) object (1) lifecycle-integration-scheme(1)}
назначается к сущности lifecycle_integration_scheme (см. раздел 5).
Смысл этого значения определяется в ИСО/МЭК 8824-1, а его описание - в ИСО 15926-1.
Примечание. Это идентификатор объекта, который должен применяться к опубликованной версии (IS) данной схемы.
(справочное)
Настоящее дополнение дает ссылку на распечатку схемы EXPRESS, заданной в настоящем стандарте, без комментариев или другого пояснительного текста. Эта распечатка имеется в интерпретируемой компьютером форме в Интернете:
/template/go.php?url=https://www.tc184-sc4.orig/EXPRESS/
Если доступ к этому узлу связи затруднен, обратитесь в Центральный секретариат ИСО или непосредственно в секретариат ИСО ТК 184/ПК4 по адресу: sc4sec@tc184-sc4.org.
Примечание. Информация, предоставленная в интерпретируемой компьютером форме на URL, является информативной. Информация, которая содержится в основном тексте настоящего стандарта, является нормативной.
(справочное)
Модель данных, определенная в разделе 5, задается с использованием языка EXPRESS, определенного в ИСО 10303-11. Однако не все ключевые характеристики этого языка используются. Из настоящей спецификации модели данных исключены следующие логические структуры EXPRESS:
- типы искусственных (тестовых) данных;
- типы данных общего назначения;
- типы данных выборки;
- типы данных параметров;
- составные типы матрицы и множества с повторяющимися элементами;
- выведенные атрибуты;
- инверсные атрибуты;
- правила домена (в том случае, когда имеет место условное выражение);
- общие правила;
- алгоритмы;
- константы.
Типы логических объектов и имена атрибутов соответствуют ИСО 10303-11 с дополнительными ограничениями.
(справочное)
D.1. Введение
Настоящее дополнение объясняет некоторые принципы теории множеств, которые поддерживаются настоящим стандартом.
D.1.1. Что есть множество?
Множество - сущность, содержащая члены и определяемая своим членством (нулевое множество есть совокупность, которая не имеет членов). Если два множества содержат одинаковые члены, то они являются одним и тем же множеством. Если они содержат разные члены, то они являются разными множествами. Пока множество определяется своим членством, то может быть, что в любой момент времени не все члены множества являются известными.
D.1.2. Множества и ИСО 15926
Парадигма, использованная в пространственно-временных расширениях ИСО 15926, означает, что объекты не изменяются, так как изменение обрабатывается через сущности possible_individuals (возможный индивид) - временные части сущности whole_life_individual (индивид целой жизни), представляющие состояние чего-либо. Этим задается модель скорее точки зрения "вне времени", чем точки зрения "в текущий момент", и означает, что все вещи не изменяются.
Так, например, вместо того, чтобы иметь автомобиль, который в одно время красного цвета, а в другое - голубого (имеется в виду, что автомобиль изменил свое членство множества), вы имеете два состояния автомобиля, одно из которых "красное", а другое - "голубое". Эти членства множества не изменяются в зависимости от того, когда вы смотрите на них - в прошлом, настоящем или будущем. Даже когда вы заглядываете вперед, будущее состояние автомобиля все еще остается голубым, только, вероятно, вы не знаете об этом.
D.2. Некоторые виды теории множеств
Множество - сущность, содержащая члены и определяемая своим членством (нулевое множество есть совокупность, которая не имеет членов). Если два множества содержат одинаковые члены, то они являются одним и тем же множеством. Если они содержат разные члены, то они являются разными множествами. Пока множество определяется своим членством, то может быть, что в любой момент времени не все члены множества являются известными.
D.2.1. Одноуровневые множества
Одноуровневые множества представляют систему, если имеются множества и члены множеств, но сами множества не могут быть членами множеств. Эта ситуация является свойственной в случае с моделями Entity - Relationship (логический объект - взаимоотношение), если типы логических объектов не могут быть членами других типов логических объектов. Это проиллюстрировано на рисунке D.1.
D.2.2. Иерархические множества
В случае иерархических множеств возникает ситуация, когда множества на одном уровне могут быть членами множеств на более высоком уровне, но эти уровни не должны пересекаться. Это проиллюстрировано на рисунке D.2.
![]() В некоторых случаях даже не разрешается, чтобы конкретные члены были членами более чем одного множества.
![]() Представленный пример иерархических множеств используется в подходах к модели данных, метамодели, метаметамодели. Иерархические модели возникают естественно. Их можно найти в настоящем стандарте в типах логических объектов, подобных individual, class_of_individual и class_of_class_of_individual.
D.2.3. Обоснованные множества
Обоснованные множества есть множества теорий множеств "standard", например теория множеств Zermelo-Fraenkel или von Neumen, Bernays, Goedel (VNBG), которые могут быть найдены в стандартных текстах. Обоснованные множества могут использовать члены из любого уровня ниже своего собственного, однако не допускается создание замкнутых цепей членства (например, множество, само являющееся членом). Рисунок D.3 демонстрирует пример системы обоснованных множеств.
Эта форма теории множеств была в основном разработана в ответ на парадокс Рассела, который показал, что если бы множества сами могли быть членами, то при определенных обстоятельствах могли бы возникать парадоксы (например, множество всех множеств, не содержащихся в нем, не может существовать).
Сущность недостаточно обоснованной теории множеств заключается в том, чтобы разрешать множествам самим быть членами в том случае, если можно построить графики членства. Это проиллюстрировано на рисунке D.4.
![]() ![]() Утверждение, что множества могут быть сконструированы, позволяет оспорить парадокс Рассела, но предполагает, что хорошо обоснованные множества, подобные таким, как "class is class", "thing is class", "class is a thing", могут иметь место.
D.3. Комментарий
Следует заметить, что каждый тип множества является подмножеством последующих типов множества, а так как ИСО 15926 разрешает недостаточно обоснованные множества, то он поддерживает все другие типы множеств, также упомянутые здесь.
(справочное)
АНАЛИЗ ПРИМЕНЕНИЯ И СМЫСЛОВОГО СОДЕРЖАНИЯ АССОЦИАЦИЙ
E.1. Введение
Исторически многие модели данных использовали одномоментную характеристику мира, а это означает, что, когда имеет место изменение, история теряется, потому что она переписывается. EPISTLE (the European Process Industries STEP Technical Liaison Executive) предполагает разработку моделей данных, которые способны управлять информацией о перерабатывающем предприятии на протяжении его жизненного цикла. Это означает способность удерживать информацию о прошлом, настоящем и будущем.
Модель ядра EPISTLE (ECM) прошла через ряд версий. В ранних версиях история поддержана путем использования ассоциаций. Ассоциация - способ удержания исторической информации о взаимоотношении, которое может изменяться во времени. Взаимоотношение (логический объект "взаимоотношение") заменяется типом логических объектов, который включает атрибуты, предоставляющие начальную и исходную даты для достоверности взаимоотношения. Этот тип типа логических объектов называется ассоциацией. Данный подход излагается в [5].
Недавно способ обработки изменений в модели ядра EPISTLE изменился. Предпринимаемый подход - это управление изменением через распознавание разных состояний отдельных сущностей и их взаимоотношений, которые являются действительными в определенный период времени. Контур этого подхода представляется в [6]. Этот подход применяется в концептуальной модели в разделе 5. Доводы для такого изменения находятся за пределами области применения этого дополнения. Однако настоящее дополнение рассматривает отношение двух подходов друг к другу. В частности, мы обнаружили четыре основных шаблона того, как ассоциации переводятся в состояния и вневременные взаимоотношения, и подход для проведения анализа ассоциаций.
Примечание. Не все имена типов логических объектов, использованных в этом документе, можно найти в разделе 5 или модели ядра EPISTLE.
E.2. От мгновенных взаимоотношений к ассоциациям
На рисунке E.1 представлены два пути моделирования принадлежности физического объекта организации. Первый путь моделирует собственность как взаимоотношение между организацией и физическим объектом. Проблема возникает при изменениях права собственности. Либо изменение не разрешается, либо атрибут существующего права собственности на физический объект переписывается. Это означает, что история предыдущего права собственности теряется.
![]() Organization - организация; owner - собственник; ownership - принадлежность; start_date - дата начала; end_date - дата окончания; physical_object - физический объект; owned - принадлежащий
с использованием ассоциаций
Второй путь моделирует принадлежность как тип логических объектов ассоциации. В этом случае имеются даты начала и окончания в качестве атрибутов, а также ссылки на то, что является собственностью и собственником. Теперь, когда право собственности изменяется, конечная дата предыдущего отношения собственности получает дату окончания и создается запись нового права собственности.
E.3. От ассоциаций к взаимоотношениям между состояниями и классами
Пока использование ассоциаций кажется решением проблемы, дальнейший анализ предполагает, что некоторая информация скрывается. Для того чтобы ее найти, необходимо рассмотреть отдельные сущности как пространственно-временные расширения, а состояния - как временные части этих расширений, для которых некоторое взаимоотношение является истинным. Чтобы помочь в этом, используются пространственно-временные карты, проиллюстрированные на рисунке E.2.
![]() Space-time map - пространственно-временная карта; a particular spatio temporal extent - частное пространственно-временное расширение; 3D space - трехмерное пространство; time - время
В отношении того, какие разные виды ассоциации являются изображением в пространственно-временных термах, найдено пять разных образцов. Они иллюстрируются в следующих подразделах.
E.3.1. Образец 1: взаимоотношение между состоянием индивида и классом
На рисунке E.3 представлен образец классификации. Пример дается для случая, если состояние car 1 индивида individual state классифицируется как "красный" в период с 01.01.01 по 04.03.01.
![]() Car 1 - автомобиль 1; red - красный; individual_state - состояние индивида; class - класс; classification - классификация
Если посмотреть, что происходит в этом случае при использовании пространственно-временной карты (рисунок E.4), то видно, что состояние индивида car 1 классифицируется покраской в красный цвет (затемненный участок рисунка).
![]() 3D space - трехмерное пространство; car 1 - автомобиль 1; red - красный; time - время
для классификации индивида
Модель данных, отображающая эту пространственно-временную диаграмму, представлена на рисунке E.5.
![]() State 1 part of car 1 - состояние 1 части автомобиля 1; temporal composition - временной состав; whole - целое; part - часть; red - красный; individual_state - состояние индивида; class - класс; classifier - классификатор; classified - классифицированный; car 1 state 1 (1/1/2001 to 4/3/2001) - автомобиль 1 в состоянии 1 с 01.01.01 по 04.03.01; timeless classification - классификация, не относящаяся к определенному времени; state 1 is red - состояние 1 - красное
В данном случае состояние автомобиля моделируется более точно по сравнению с тем, когда он является частью ассоциации классификации. Его состояние показано как временная часть целого и классификация покраски в красный цвет. Взаимоотношение классификации теперь не относится к определенному времени, так как период "красного" состояния является явным в классифицируемом состоянии.
E.3.2. Образец 2: взаимоотношение между двумя состояниями индивида
На рисунке E.6 представлен случай, когда классификация отображает взаимоотношение между двумя состояниями индивидуальных предметов. Чтобы проиллюстрировать модель, предлагается следующий пример: колесо wheel 1 является частью автомобиля car 1 в период с 01.01.01 по 05.04.01.
![]() Car 1 wheel 1 - автомобиль 1 колесо 1; individual_state - состояние индивида; whole - целое; part - часть; composition - состав; wheel 1 part of car 1 from 1/1/2001 to 5/4/2001 - колесо 1, часть автомобиля 1 с 01.01.01 по 05.04.01
На рисунке E.7 показан пример того, как пространственно-временная карта отображает разные состояния автомобиля и колеса, а также весь срок эксплуатации (жизненный цикл) автомобиля и колеса.
![]() S1 - S1; 3D space - трехмерное пространство; car 1 - автомобиль 1; S2 - S2; wheel 1 - колесо 1; time - время
Диаграмма показывает, что в этом случае имеется состояние S1 автомобиля car 1 и состояние S2 колеса wheel 1, в одном и том же состоянии и с единой датой окончания, а также S2 как часть S1. На рисунке E.8 показан результат детальной модели пространственно-временной карты.
![]() S1 part of car 1 - часть S1 автомобиля 1; temporal_composition - временной состав; S2 part of wheel 1 - часть S2 колеса 1; whole - целое; part - часть; individual_state - состояние индивида; car 1 - автомобиль 1; wheel 1 - колесо 1; S1 (from 1/1/2001 to 5/4/2001) - S1 (на период с 01.01.01 по 05.04.01); S2 (from 1/1/2001 to 5/4/2001) - S2 (на период с 01.01.01 по 05.04.01); S2 part of S1 - S2 часть S1; composition - состав
В данном случае индивидуальные состояния S1 и S2 моделируются детально. S1 является временной частью автомобиля car 1, a S2 - временной частью колеса wheel 1 и S2 является также частью S1.
E.3.3. Образец 3: совпадающие индивиды
На рисунке E.9 показано, как определенный насос pump 1234 устанавливается для выполнения конкретной работы, тэг P101, в период времени с 03.01.00 по 05.08.01. В конце этого периода насос демонтируется и заменяется другим, выполняющим ту же самую работу.
![]() Tag P101 - тэг P101; pump 1234 - насос 1234; functional_physical_object - функциональный физический объект; materialized_physical_object - материализованный физический объект; duty - работа; installed - установленный; installation - установка; pump P1234 installed as tag P101 from 3/1/2000 to 5/8/2001 - насос P1234 установлен как тэг P101 на период с 03.01.2000 по 05.08.01
На рисунке E.10 показан пример использования пространственно-временной карты. В данном случае можно видеть, что работа, отображенная как тэг P101, и насос pump 1234 совпадают на период установки, то есть состояние S1 насоса pump 1234, который устанавливается как тэг P101, является на самом деле также состоянием тэга P101. Действительно, тэг P101 состоит из тех же состояний насосов, которые устанавливаются в этом месте.
![]() 3D space - трехмерное пространство; installed - установленный; removed - удален; tag P101 - тэг P101; S1 - S1; pump 1234 - насос 1234; pump 2345 - насос 2345; time - время
для совпадающих индивидов
Когда этот случай моделируется детально, а не в качестве ассоциации, результатом является модель, представленная на рисунке E.11. Здесь показано, что S1 является временной частью как тэга P101, так и насоса pump 1234.
![]() S1 part of tag P101 - часть S1 тэга P101; S1 part of pump 1234 - часть S1 насоса 1234; temporal_composition - временной состав; whole - целое; part - часть; individual_state - состояние индивида; tag P101 pump 1234 S1 (3/1/2000 to 5/8/2001) - тэг P101 насоса 1234 S1 (с 03.01.2000 по 05.08.01)
E.3.4. Образец 4: взаимоотношение между двумя классами
На рисунке E.12 показана ассоциация спецификации и представлен пример центробежного насоса, являющегося специализацией насоса. Ассоциация автоматически предполагает начало и окончание специализации, но на самом деле классы не относятся к определенному времени и не существует такого времени, когда центробежный насос не является специализацией насоса.
![]() Centrifugal pump is a specialization of pump - центробежный насос есть специализация насоса; specialization - специализация; subclass - подкласс; superclass - суперкласс; pump - насос; class - класс; centrifugal pump - центробежный насос
В этом случае нет пространственно-временной карты, так как все объекты существуют вне времени. Однако можно проверить, что означает ассоциация специализации. И в этом случае можно установить, что ассоциация специализации указывает: каждый член подкласса является также членом суперкласса. Поэтому специализация идентифицируется как подтип взаимоотношения, как это представлено на рисунке E.13.
![]() Centrifugal pump is a specialization of pump - центробежный насос есть специализация насоса; relationship - взаимоотношение; specialization - специализация; subclass - подкласс; superclass - суперкласс; pump - насос; class - класс; centrifugal pump - центробежный насос
E.3.5. Образец 5: класс взаимоотношения между двумя классами
На рисунке E.14 представлена ассоциация между двумя классами, отображаемая другим образцом. Ассоциация есть композиция согласно классу composition_according_to_class, используемая с целью демонстрации того, что член целого класса имеет член части класса в качестве части. В примере задается, что центробежный насос имеет рабочее колесо как часть. Хотя ассоциация может иметь даты начала и окончания, ни то ни другое к этому случаю не применяется, так как заявление предполагает истинность утверждения.
![]() Centrifugal pump has an impeller as a part - центробежный насос имеет рабочее колесо как часть; composition_according_to_class - состав согласно классу; whole - целое; part - часть; class - класс; impeller - рабочее колесо; centrifugal pump - центробежный насос
Пространственно-временная карта отсутствует, но анализ выявляет другой образец по сравнению с предыдущим примером. Ассоциация снова отображает правило. В этом случае правило гласит, что каждый член целого класса может иметь член класса части как часть. Поэтому каждый центробежный насос может иметь рабочее колесо как часть. Также в этом случае должно быть определено взаимоотношение между конкретными рабочими колесами и центробежными насосами, являющимися экземплярами упомянутого правила. Следовательно, эта ассоциация представляет класс class_of_relationship.
Это иллюстрируется рисунком E.15. В данном случае добавляются взаимоотношения композиции и взаимоотношения классификации, демонстрирующие, как упомянутое выше правило применяется к определенным экземплярам. Состояние S1 рабочего колеса imp 3456 классифицируется как рабочее колесо; состояние S2 насоса pump 1234 классифицируется как насос; отношение composition #1 показывает, что S1 рабочего колеса imp 3456 есть часть S2 насоса pump 1234, а классификация взаимоотношения показывает, что #1 есть кожух рабочего колеса, который является частью центробежного насоса.
![]() Is a case of an impeller being a part of a centrifugal pump - есть кожух рабочего колеса, который является частью центробежного насоса; centrifugal pump has an impeller as a part - центробежный насос имеет рабочее колесо как часть; imp 3456 S1 is a part of pump 1234 S2 - imp 3456 S1 есть часть S2 насоса 1234; classification_of_relationship - классификация взаимоотношения; class_of_relationship - класс взаимоотношения; class_of_composition - класс состава; composition - состав; classification_of_individual - классификация индивида; class - класс; individual - индивид; impeller - рабочее колесо; imp 3456 is an impeller - imp 3456 есть рабочее колесо; imp 3456 S1 - imp 3456 S1; centrifugal pump - центробежный насос; pump 1234 is a centrifugal pump - насос 1234 есть центробежный насос; pump 1234 S2 - насос 1234 S2
E.4. Заключение
Ассоциации - мощное средство для оказания помощи в управлении историей как противоположности текущему состоянию домена. Однако анализ, представленный в этом документе, показывает, что значимый элемент скрывается логической структурой ассоциации. Этот документ демонстрирует, что предпринятый пространственно-временной анализ ассоциаций допускает разработку более точной модели, которая выявляет скрытый элемент. В частности, идентифицированы и представлены пять образцов того, как ассоциации могут отображаться в пространственно-временных термах.
(справочное)
ССЫЛОЧНЫМ НАЦИОНАЛЬНЫМ СТАНДАРТАМ РОССИЙСКОЙ ФЕДЕРАЦИИ
Таблица ДА.1
(справочное)
интеграция. Представление данных о
продукции и обмен данными. Часть 21.
Методы реализации: кодирование структуры
обмена открытого текста
(ISO 10303-21) (Industrial automation systems and
integration - Product data representation
and exchange - Part 21: Implementation
methods: Clear text encoding of the
exchange structure)
обработки информации концептуальной схемы и информационная база
(ISO/TR 9007:1987) (Information processing systems -
Concepts and terminology for the conceptual
schema and the information base)
Language and Information, Stanford, California, 1988, ISBN 0937073229.
Mathematical Society of Japan, Edition 2, Cambridge, Massachusetts,
MIT Press, 1993, ISBN 0262590204.
Version 3.0. EPISTLE, 1996-08-27 [cited 2001-03-11]. Available from
the World Wide Web:
</template/go.php?url=https://www.stepcom.ncl.ac.uk/epistle/data/mdlgdocs.htm>.
TC184/SC4/WG10N307,2000-06-09 [cited 2001-03-11], Available from the
World Wide Web:
</template/go.php?url=https://www.nist.gov/sc4/wg_qc/wgl0/current/n307/wgl0n307.htm>.
Вернуться в "Каталог нормативных документов"
Источник информации: https://internet-law.ru/documents/prod/gost-r_gosudarstvennyj-standart/43/gost_76994.html
На правах рекламы:
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||