ГОСТ Р ИСО 13584-32—2012
Примечание4 — Если функциональный XML-элемент не существует, то XML-элемент области
значений domain будет содержать единственное значение, а отображение указывает на равенство значений
свойств range и domain.
Элемент corresponding_properties/mapping/domain: Определяет ссылку на свойства, которые
используются для расчета диапазона значений свойства.
Элемент corresponding_properties/mapping/function: Определяет дополнительную функцию,
которая устанавливает способ расчета значения (свойства) range для всех экземпляров из (свойства)
domain. Если этот элемент не существует, по умолчанию функция принимает значение (свойства)
range, равное для всех экземпляров из (свойства) domain, которые должны быть уникальными.
Элемент corresponding_properties/mapping/range: Определяет ссылку на свойство, которое
рассчитывается с помощью отображения.
Элемент case_of_sub: Определяет ссылку на класс, который является экземпляром элемента
case_of_super класса отношений.
Примечание 5 — Элементы case_of_super и case_of_sub ссылочных классов являются элементами
классов или элементами классов функциональных моделей.
Элемент caso_of_supor: Определяет ссылку на класс, элемент которого case_of_sub является
элементом условного класса.
Определения внутренних типов.
Тип CORRESPONDING_PROPERTIES_Type: Является хранилищем для множества пар свойств.
Тип PROPERTY_MAPP!NG_Type: Является определением отображения свойства.
Тип MAPPING_FUNCTION_Type: Является абстрактным комплексным XML-типом данных,
предназначенным для представления отображающей функции и зарезервированным для последующей
стандартизации.
Определение внешнего типа:
Тип A_POSTERIORI_SEMANTIC_RELATIONSHIP_Typo: См. раздел 8.6.
Перечень ограничительных условий:
Классы Case_of_super и case_of_sub, ссылка на которые приводится с помощью комплексного
XML-типа данных A_POSTERIORI_CASE_OF_Type, должны быть классами элементов или классами
функциональных моделей.
Свойства, ссылка на которые приводится с помощью комплексного XML-типа данных
PROPERTY_MAPPING_Type с помощью их диапазона значений range, должны принадлежать элементу
case_of_super класса.
Свойства,ссылканакоторыедаетсяспомощьюкомплексногоXML-типаданных
PROPERTY_MAPPING_Type с помощью их области значений domain, должны принадлежать элементу c
a s e o f s u b класса.
Если функция function, ссылка на которую дается с помощью комплексного XML-типа данных
PROPERTY_MAPPING_Type, не существует, то свойство domain должно быть уникальным.
8.6.2Апостериорное отображение в производном семантическом отношении
Производное(viewof)апостериорноесемантическоеотношениепозволяетсвязывать
функциональный класс model, называемый «моделью», для определения характеристик класса
элементов, называемого «элементом». Класс model предоставляет дополнительные описательные
свойства для каждого элемента с отраслевой точки зрения, определенной с помощью класса
функциональных представлений. Каждыйэкземпляркласса modelсостоитиз спискапар
«свойства/значение».Подмножествоэтих свойств.которые входят в XML-элемент
instancejdentification, определяют основные свойства этих экземпляров класса.
Установлениесоответствияосновныхсвойствсосвойствамиэлементовпозволяет
идентифицировать, какие экземпляры модели могут согласовываться с каждым элементом экземпляров
item. Критерий согласования заключается в том. что экземпляр model согласуется с экземпляром item,
если для всех элементов свойства model, отображаемых на один элемент свойства item (или на их
группу) значение свойства экземпляра model будет равно результату отображения этого свойства на
свойства экземпляра item.
Примечание 1 — Если все основные свойства класса функциональных моделей могут отображаться на
свойства класса элементов, то каждый элемент связывается по крайней мере с одной функциональной моделью,
которая гложет быть рассчитана для всего класса путем предоставления внешнего соединения.
Пример — Предположим, что изготовитель винтов решает разработать онтологию
для описания производимых винтов только одного типа. Они могут описываться с помощью
106