ГОСТ Р ИСО 24610-2—2013
3.15 система элементов (feature system): Иерархия типов (3.26), в которой кахедый тип (3.24)
ассоциируется с коллекцией ограничений по допустимости (3.1) и импликативными ограничения
ми (3.18).
П р и м е ч а н и е — Сравните декларация типа (3.2S).
3.16 декларация системы элементов (feature system declaration); FSD: Описание конкретной
системы элементов (3.15).
3.17 значение для элемента (feature value): Объект или совокупность объектов, характеризую
щие некоторое свойстводругого объекта.
3.18 импликативное ограничение (implicational constraint): Ограничение типа «если G,то Н», где
Gи Н — этоструктуры элементов (3.14).
П р и м е ч а н и е — Такое ограничение идентифицирует любую структуру элементов F как неадекватную,
когда G категоризирует F. a F и Н обычно не имеют адекватного расширения. См. категоризация (3.21) и п. 8.5.
Часто ограничение такого вида используется при обращении к импликативным ограничениям, которые одновремен
но не являются ограничениями по допустимости.
3.19 интерпретация (interpretation): Минимально информативное (т. е. наиболее общее) расши
рение (3.11) структуры элементов (3.14). которое совместимо с множеством ограничений, объявлен
ным в декларации системы элементов (3.16).
3.20 частичный порядок (partial order): Множество S. для которого определено отношение <на
Sx S. которое 1) рефлексивно (для всех seS. sis), 2) антисимметрично (для всехр. ge S. еслиp ig и
q ip. тор =q), и3) транзитивно (для всехр, q, reS. если р ip и q йг.тор ir).
П р и м е ч а н и е — Множество целых чисел 2 частично упорядочено, но дополнительно оно обладает свой
ством. согласно которому для каждогор. qcZ выполняется условие р iq или q ip . Этим свойством обладает не лю бой
частичный порядок. Например, такой частичный порядок, как таксономическая классификация организмов по типам,
родам и видам, указанным свойством не обладает; не обязательно обладают этим свойством также иерар хии типов.
Типизированные структуры элементов системы не имеют этого свойства, если (а) данное свойство прису ще иерархии
их типов, и (Ь) иерархия типов состоит из единственного типа либо каждый тип уограничен присутстви ем одного-
единственного подходящего элемента.
3.21 категоризация (subsumption); Свойство, связывающеедве структуры элементов GиГтаким
образом, что Gсчитается принадлежащей Fтогда итолькотогда, когда Fнесет всебе всю информацию,
которую содержит G.
П р и м е ч а н и е — Формальное определение представлено ниже, в 5.6.
3.22 подтип (subtype): Тип (3.24). на который распространяются ограничения исоответствующие
характеристики, содержащиеся вдругом типе.
3.23 супертип, надтип (supertype): Тип (3.24). от которого другой тип наследует ограничения и
соответствующие элементы.
П р и м е ч а н и е — s является подтипом t тогда и только тогда, когда г — супертип s. Каждый тип является
подтипом и супертипом самого себя.
3.24 семантический тип (semantictype): Тип. характеризующий выражение, с помощью которого
коллекция структур элементов (3.14) различается как идентифицируемый и концептуально значимый
класс.
П р и м е ч а н и е — Как это следует из имени семантический тип, типы, о которых идет речь в данной части
ИСО 24610. не предназначены для различения структур элементов или их спецификаций по синтаксису.
3.25 декларация типа (type declaration): Информационная структура, декларирующая суперти
пы (3.23), допустимые элементы (3.2), значения допустимых элементов (3.3), ограничения по
допустимости (3.1) иимпликативные ограничения (3.18)дляданного типа (3.24).
П р и м е ч а н и е — Ограничения, накладываемые на тип в результирующей системе элементов. — это
ограничения, объявленные в декларации дополнительно к унаследованным от супертипов.
3.26 иерархия типов (typo hierarchy): Частичный порядок (3.20)на множестве типов (3.24).
П р и м е ч а н и е — См. ИСО 24610-1:2006. Приложение С. Наследуемые иерархии типов.
3.27 типизированная структура элементов (typedfeature structure); TFS: Структура элементов
(3.14). несущая в себе тип (3.24).
3