ГОСТ Р ИСО 24610-2—2013
Слияние (<vMerge>:HCO 24610-1:2006, пункт5.9.4. Коллекциязначений)указываетконкатенацию
или объединение нескольких значений и/или коллекций значений в соответствии с настройкой их атри
бута огд. Этотатрибут принимаетте же значения итотже смысл, которыесодержатся в <vColl>.
5.3 Иерархии наследования типов
Иерархиятипов<Туре. £> достаточно подробно рассматриваетсяв приложении С
ИСО 24610-1:2006. Эта структура обычно отображается как ориентированный ациклический граф с
единственной вершиной. Данная вершиначастоимеет меткуtop ипредставляетсамый общий тип. кото
рый совместим со всеми типизированными структурами элементов. Подтипы соединяются со своими
сулвртипами и располагаются уровнем ниже. Максимально конкретизированные типы появляются в
самом низу графа. Они взаимно несовместимы другсдругом, что обычно бываетлибо абсолютно ясно,
либо иногда отображается другим конкретизированным типом (bottom), который является единствен
ным самым нижним элементом. Врамкахданной части ИСО 24610тип bottom не используется.
На рисунке 3 показан пример, иллюстрирующийчастичную иерархию типовдля живой природы.
MigbaDgi
to) ИМ топтан
dogh u m bow*»
Рисунок 3 — Иерархия типов для живой природы
В соответствии с этим рисунком живая природа (living beings) разделяется на растительность
(plant) иживотный мир (animal). Далее животные разбиваются на классы рыб (fish), птиц(bird) имлеко
питающих (mammal). Собаки (dog), люди (human) и крупный рогатый скот (bovine) — вол. корова,
бык — принадлежат к классу млекопитающих.
Иерархии типов не всегда имеют древовидную структуру; в схеме может быть два или больше
ответвлений, сходящихся в одном узле. Когда такое случается, это означает, некоторый тип имеет
несколько супертипов и свойства, наследуемые от всех них. Пример подобной иерархии приведен на
рисунке 4.
Inanfcmti
жгётЫв
влктнн
Рисунок 4 — Средневековая иерархия живых существ
Здесь тип human (человек) имеет два родительских типа: animal (животное) и rational (разумное
существо). Следовательно, человекрассматриваетсяодновременно и какживотное (подобно собаке) и
какмыслящее существо.
Эти типы частично упорядочены с помощью отношения выделения подтипов <.на множестве всех
типов. Тип
т
является подтипом поотношению к типу атогда и только тогда, когда аимеет более общий
характер посравнению с т,т. е.. когда множествоструктур элементов типа осодержитв себе множество
структурэлементов типат.Так кактип animate (одухотворенный)является в приведенном вышеприме ре
более общим поотношению к типуanimal, всеживотные определяются какодушевленные. Тип асчи
таетсясупертипом типа т тогда и только тогда, когда т является подтипом п.
Непосредственные супертипы какого-либотипа часто называются его родителями.
Подтипнаследуетвсе свойстваот своего супертипа. Например, тип humanнаследуетвсесвойства
от своих супертипов (каковыми являются being, animate, animal, spirituals rational).
На рисунке 5 приведен несколько измененный лингвистический пример из грамматики Коуп-
стейка [2].
8