ГОСТ Р ИСО 18629-1—2010
4.7.7 ИСО 18629-47: Назначение процесса
Даннов обозначение зарезервировано для разработки соответствующих расширений.
4.8 Стандарты ИСО 18629-2хх: Указания по реализации языка транслятора
В стандартах данной серии приведены различные расширения, имеющие отношение к онтологии,
необходимые для трансляторов, разрабатывающих прикладные программы в различных областях про
изводства.
Пример — Моделирование процесса, планирование процесса, планирование производства, управ
ление проектом, составление графиков, моделирование, выполнение процесса.
5 Методология и структура испытания на соответствие
5.1 Соответствие приложений стандартов комплекса ИСО 18629
Прикладные программы процесса производства соответствуют требованиям комплекса стандар
тов ИСО 18629 при выполнении следующих условий:
- приведено описание нелогической лексики приложения.
П р и м е ч а н и е 1 — Лехсика приложения — это набор терминов, используемых в приложении, которые
относятся или к элементам домена, или к отношениям между этими элементами:
- использована грамматика BNF для описания процесса приложения;
- существует двунаправленный синтаксический транслятор между описаниями процесса по ИСО
18629 и приложением описания процесса;
- для каждого термина в нелогической лексике приложения использованы переводные дефини
ции. которые согласуются с аксиомами ядра PSL и подмножеством набора расширений по ИСО 18629.
П р и м е ч а н и е 2 — Прикладная программа не должна отображаться во всех расширениях ИСО 18629,
но должна отображаться в ядре PSL.
П р и м е ч а н и е 3 — Согласно комплексу стандартов ИСО 18629 две прикладные программы могут взаи
модействовать в том случае, если они отображены в одних и тех же расширениях по ИСО 18629.
5.2 Соответствие онтологий
5.2.1 Соответствие расширений, определяемых пользователем
Расширение, состоящее из набора понятий, определенных пользователем, которые используют
в соответствии с требованиями комплекса стандартов ИСО 18629. будет отображаться в подмножестве
расширений, указанных в данном комплексе, если оно использует только терминологию нелогической
лексики этих расширений.
Аксиомы любого расширения, представляющего новые примитивные понятия, будут совместимы
с аксиомами ядра PSL.
5.2.2 Соответствие внешних онтологий
Внешняя онтология, включающая в себя собственный набор аксиом терминологии, относящий
ся к процессу, отображается в подмножестве расширений, приведенных в стандартах комплекса ИСО
18629 в том случае, если она совместима с аксиомами данных расширений.
Пример — Аксиомы любой внешней онтологии времени совместимы с аксиомами ядра PSL.
5.3 Соответствие будущих расширений
В данном подразделе описаны условия, которым должны соответствовать любые расширения
онтологии ИСО 18629 в будущем.
5.3.1 Спецификация моделей
Каждое расширение должно соответствовать техническому документу, включающему в себя спе
цификацию моделей аксиом данного расширения. Эта спецификация должна содержать:
- определение набора математических структур, включая основной набор элементов, функций
и взаимоотношений данного набора элементов, и любых различимых элементов этого набора;
- для каадой константы, функции и реляционного символа в лексике, спецификации — изоморф
ные расширению константы, функции или связи, обозначенной символом:
- классификацию изоморфных структур и доказательство того, что данная классификация явля
ется правильной для определения класса структур.
13