Онтологические теории B.3.4.4 Онтологические теории
Простыми словами
Онтологическая теория — верхняя ступень общих концепций моделирования (GEMC): строже метамодели (B.3.4.3) и тем более глоссария (B.3.4.2). Отличие не в предмете, а в силе: глоссарий объясняет слова, метамодель задаёт свойства и связи, онтология добавляет аксиомы и правила вывода — и потому по ней можно не только читать модель, но и проверять её на противоречия и прогонять имитацию. Для GERAM это средство, а не самоцель: онтология нужна, чтобы у языков моделирования была одна семантика. Отсюда ключевое требование пункта — интегрированность: если предприятие описывают несколькими языками под разные точки зрения (B.3.1.5.3), их определения обязаны сводиться к одной метасхеме или одной онтологической модели, иначе модели разных точек зрения нечем будет согласовать.
Примеры
«Онтологические теории являются формальными моделями понятий», и главное — «Они включают аксиомы, правила и ограничения в интересующей области, допуская извлечение полезных выводов», применяемых для анализа, имитации, перекрёстной проверки и валидации моделей.
ГОСТ Р ИСО 15704-2022, прил. B, п. B.3.4.4 — состав и назначение онтологической теории
«Онтологическая теория представляет собой нечто вроде общей модели предприятия, описывающей наиболее общие аспекты понятий, относящихся к предприятию» — функции, структуру, динамику, издержки — и «определяющей семантику конструкций языков моделирования, использующих эту теорию».
ГОСТ Р ИСО 15704-2022, прил. B, п. B.3.4.4 — предмет онтологической теории
Поскольку разные языки описывают разные точки зрения, «важно отметить, что онтологические модели должны быть интегрированными»: определения для точек зрения должны быть представлениями единой метасхемы и/или её основной онтологической модели.
ГОСТ Р ИСО 15704-2022, прил. B, п. B.3.4.4 — требование интегрированности онтологических моделей
Определение из первоисточника
дословная выпискаОнтологические теории являются формальными моделями понятий [39], которые используются в представлениях предприятий. Они включают аксиомы, правила и ограничения в интересующей области, допуская извлечение полезных выводов, которые применяются для анализа, выполнения (например, для целей имитации), перекрестной проверки и валидации моделей по отношению к онтологии. Онтологическая теория представляет собой нечто вроде общей модели предприятия, описывающей наиболее общие аспекты понятий, относящихся к предприятию (функции, структуру, динамику, издержки и т.д.) и определяющей семантику конструкци…
ИсточникГОСТ Р ИСО 15704-2022 (ISO 15704:2019, IDT), приложение B «Обобщенная архитектура предприятия и методология (GERAM)»
Связи
Исходящие
- Онтологические теории описывают семантику языков моделированияB.2.2.3 Языки моделирования предприятия (EMLs)
Входящие
- Общие концепции включают онтологические теорииB.2.2.4 Общие концепции моделирования предприятия (GEMCs)
- Глоссарий определяет все понятия, относящиеся к онтологиямB.3.4.2 Глоссарий
Связанные понятия
Опишите архитектуру своей компании в Storm
Реестр процессов, архитектурное рабочее пространство, связи между системами и процессами — те самые артефакты, только про вашу организацию.
Это же в StormАрхитектура систем и интеграцийГраф связей реестраРеестр процессов