ГОСТ Р ИСО 13584-32—2012
Приложение F
(справочное)
Преобразование структуры СПМ-модели из XML-структуры OntoML-языка на язык EXPRESS
Настоящее приложение определяет, как компоненты на OntoML-языке должны преобразовывать
данные на EXPRESS-язык. Подобное преобразование позволяет создавать XML-средстеа для
формирования EXPRESS-представлений вариантов документов на OntoML-языке с целью проверки
семантической непротиворечивости их содержания по отношению к ограничениям целостности,
указанным в СПМ-модели.
F.1Различия между OntoML- и СИМ- информационными элементами
OntoML-язык является XML-структурой. позволяющей представлять (в рамках используемого
варианта XML-документа) все информационные элементы, содержащиеся в физическом файле CIIM-
модели. использующей язык EXPRESS.
Как правило, все информационные элементы физического СИМ EXPRESS-файла точно
представляются в варианте OntoML-документа, а все ограничения, которые по предположению
выполняются для этих информационных элементов, также должны оставаться действующими и для
содержания OntoML-документа.
Тем не менее, при разработке OntoML-документа были выявлены четыре различия:
1.Совместноеиспользованиеидублирования(sharingVsduplication)некоторых
информационных элементов
Физические OntoML- и СИМ EXPRESS-файлы. онтологические СИМ- понятия определяются только
один раз. а упоминаться могут несколько раз. В отношении других частей информации в СНМ-модоли
заметим, что:
на EXPRESS-языке некоторые онтологические СИМ- понятия могут использоваться
совместно с некоторыми EXPRESS-элементами.
П р и м е р 1
—
Э л е м е н т ite m _ n a m e s м о ж е т с о в м е с т н о и с п о л ь з о в а т ь с я в н е к о т о р ы х о н т о л о г и ч е с к и х
п о н я т и я х .
Примечание 1 — Элемент item_names рассмотрен в разделе F.3.9.2.7 ИСО 13584-42:2010.
—в XML-языке было принято решение о том. что каждое онтологическое СИМ-понятие будет
только ссылкой на другие понятия этой же онтологии. Все другие части информации, на которые
ссылаются онтологические CIIM-понятия в физическом файле СИМ EXPRESS, вводятся в XML-язык,
поэтому их содержание, возможно, будет дублированным, если на одну и ту же часть информации будут
ссылаться несколько понятий СПМ-онтологии.
Примечание 2 — Дублирование фрагментов информации не изменяет семантики основополагающей
СИМ EXPRESS- модели данных.
2.Использование ранее существовавших возможностей XML-языка для определения
Интернет-ресурсов
В СПМ-модели для предоставления информации из внешних файлов и способа их обработки были
определены некоторые мощные, но сложные методы с использованием EXPRESS-языка. В OntoML-
языке подобное представление заменяется использованием метода протоколирования MIME, который
вполне достаточен для интерпретации содержимого внешних файлов.
3.Снятие некоторых ограничений, которые не могут проверяться в XML-языке
ВCIIM-моделиограничивающееусловиеprefix_ordered_class_Hstустанавливает,что
содержащиеся в экземпляре OntoML-документа классы будут сортироваться таким образом, чтобы не
допускалась прямая ссылка одного класса на любой другой класс. Благодаря тому факту, что подобное
ограничивающее условие в XML-языке проверяться не может, оно удаляется из OntoML-спецификации и
экземпляров OntoML-документов как не отвечающее указанному ограничению. При необходимости этот
порядок может компилироваться и гарантироваться, если OntoML-содержание переводится на
EXPRESS-язык с целью контроля выполнения ограничивающего условия.
4.Упрощенная СИМ-модель
Предусмотрены следующие упрощения модели:
— предположение относительно обозримости документа:
— упрощение представления преобразования;
— возможность упрощения связи представления документации с любым понятием СПМ-
166