ГОСТ Р 56271-2014
При м е ча н и е 1— Здесь именно вовлеченные элементы являются аргументами шаблона, а не отноше
ния вовлечения.
SuccossionOflnvolvomentlnActivity{a. b. с) означает, что а — это вовлечение, Ь — вовлечение, с —
операция. Аргумент Ь следует за а. и оба они вовлечены в операцию с.
NJНазвание роли
1Вовлеченный предок (predecessor)
2Вовлеченный наследник (successor)
3Предмет вовлечения
Типроли
Thing
Thing
Activity
SuccossionOflnvolvementlnActivity{xv х2, х3)-*
ТЫпд(х,)л
ТЫпд(х2)л
Activity(x3)A
Эи,3и2(
involvemontByReferenccТпр!в{ил, х,. х3)л
InvolvementByReferenceTriple( и2, х2,х3)л
SuccessionOflnvolvomentByReforenco(u,, и2))
7 Шаблоны классов
7.1 Цель
В данном разделе рассмотрены шаблоны, характеризующие типы сущностей. В характеристиче
ском случае члены класса (индивидуальные объекты) или члены зависимостей (упорядоченные пары)
удовлетворяют общим ограничениям.
При м е ча н и е — ИСО 15926 не требует строгого разделения на индивидуальные объекты, классы, ме
таклассы итд.
7.2 Необходимые элементы справочных данных
В настоящем разделе следующие элементы справочных данных используются в аксиомах ша
блона. Они представляют собой расширение языка ИСО 15926-2 за счет членов индивидуальных объ
ектов. Для практических приложений шаблонов, чьи определения относятся к указанным элементам,
данные элементы должны быть занесены в библиотеку справочных данных.
Таблица 2 — Справочные элементы: шаблоны классов
Справочный индивидуальныйо-бьект
EmptyClass
SetOflClass
SetOf2Classes
SetOf3Classes
Типсущности
Class
ClassOfClass
ClassOfClass
ClassOfClass
EndlUniversalRestriction
End2UniversalRestriction
* Cardinality
Infinity
-Infinity
UomSymbol Assignment
ClassOfSpecialization
ClassOfSpecialization
INTEGER
ArithmeticNumber
ArithmeticNumber
ClassOfClassOfldentification
7.2.1 Справочные классы
Справочные элементы SetOM Class. SetOf2Classes и SctOf3Classcs являются классами. Их сле
дует использовать в качестве классификаторов, например. EnumeratedSetOfClass. классифицирую
щих один, два или три класса соответственно. Классы с большим кардинальным числом могут быть
добавлены к справочным данным.
При м е ча н и е - Справочные элементы SetOM Class и тд. используются в настоящем стандарте для
представления того, что все члены экземпляров типа сущности EnumeratedSetOfClass заданы явно. Для класса A
EnumeratedSetOfClass, членство в этом классе А выражается отношениями классификации. Классификация А,
например, SetOf3Classes. указывает, что там есть три таких члена.
21