ГОСТ Р 56271-2014
ClassOfRolationshipWithSignature(x1)A
ТЫпд{х2)л
Thing(x3)A
3u(OthorRolationshipTnple(u, х2,
х 3 )
а
ClassificationOfRelationship(u, х,))
При м е ча н и е - Настоящий шаблон использует шаблон Class/ftcationOfRelatkwship. Если этот шаблон ис
пользует некоторую упорядоченную пару (отношение) как аргумент, классифицируемый некоторой зависимостью,
тоданный шаблон использует указанные элементы упорядоченной пары какаргументы. Представлениеуказанных
элементов в виде упорядоченной пары определяется аксиомой шаблона.
П р и м е р — Пусть Alfred и ACME Со. — это экземпляры сущности Person, a Employment— задан
ная зависимость (то есть ClassesOfRelationshipWithSignature). Тогда экземпляр зависимости InstanceOf
RelationshipfEmployment, Alfred, ACME Со.) расширяется на нижеследующее представление, сравнимое с
тем, что показано в примере для зависимости ClassificationOfRelationship. Отметим, что:
- никакие обозначения классифицированных упорядоченных пар не определены:
- определение зависимости ClassOfRelationshipWithSignature, включающей спецификации ролей
для границ зависимости, в утверждении шаблона не дается.
_________
EmptoymiTt
_________
t
v ии >V 1
им
■сюгйКггтлгчршяфгавиге
Alfred
<>
ACHE Со.
Р*г*сп
g j jjj r a g jw jj j]
Рисунок 11 — Пример шаблона InstanceOfRelationship
6.3.4 Шаблон IdentificationByNumber (идентификация по номеру)
Данный шаблон обеспечивает именование элементов (things) действительными числами.
IdentificationByNumberfa. b) означает, что а — действительное число, и что а ставится в соответ
ствие Ь.
№Названиероли
1Идентификатор
Тип роли
ExpressReal
2ИдентифицированThing
IdentificationByNumbeitx,, х2)*-*
ExpressReaKx^A
ТЫпд(х2)л
ClassOfldontificationTemplate(x^, х2)
При м е ча н и е - Настоящий шаблон — это специализированная версия ClassOfldentificattanTemplate.
накладывающая ограничение на тип первого аргумента от ClassOfinformationRepresentation до его подтипа Ех-
pressReal.
П р и м е р — Утверждение, что число п идентифицируется десятичным числом 3,14, может
быть представлено в виде IdentificationByNumber (3,14, г.).
Рисунок 12— Пример шаблона IdentificationByNumber
6.3.5 Шаблон Classifiedldentification (классифицированная идентификация)
Настоящий шаблон задает типизированное название элемента.
14