ГОСТ Р И С 0 15704— 2008
ки конечным пользователям. Они должны представлять операционные процессы в соответствии с потребностя
ми пользователя.
Семантика языков моделирования может описываться с помощью онтологических теорий (см. А.3.4). Это
особенно важно в том случав, когда модели предприятия должны обеспечивать сам процесс работы предприя тия.
поскольку t/одели в данном случае должны быть исполнимыми. Однако определение формальной семанти ки
должно также подкрепляться естественными языковыми объяснениями понятий.
Примеры языков моделирования приводятся в ARIS (см. (18]. А.4.1), CIMOSA (см. [8] и (14]. А.4.1). GRAI/GIM
(см. [15]. А.4.1). 1ЕМ (см. [17], А.4.1) или в серии языков IDEF (см. [8] и [16]. А.4.1). Соответствующими стандартами
являются ENV 12204. который определяет исходный комплекс из двенадцати конструкций моделирования
пред приятия (бизнес-процесс, набор возможностей, деятельность предприятия, объект предприятия,
событие объектное представление, состояние объекта, заказ, организационная единица, продукт, ресурс,
отношение) и ИСО 14258, который определяет правила и понятия для моделей предприятия.
А.3.4 GEMCs — общие концепции моделирования предприятия
А.3.4.1 Общая информация
Общими концепциями (понятиями) моделирования предприятия являются наиболее употребительные
концепции и определения организации предприятия и моделирования. Существуют следующие формы опреде
ления концепции в порядке их формализации:
- глоссарии;
- мета-модели;
- онтологические теории.
При этом должны быть выполнены следующие требования:
- концепции, определенные более чем в одной из вышеприведенных форм, должны определяться взаимно
согласованным образом;
- концепции, применяемые в языке моделирования предприятия, должны также иметь по крайней мере
определение в форме мета-модели, однако предпочтительным является определение взятое из онтологичес кой
теории.
А.3.4.2 Глоссарий
Терминоложю, прихшняемую при организации предприятия, можно определить на родном языке как
«глоссарий терминов». Наличие такого глоссария является обязательным требованием для полной обобщенной
архитектуры интеграции предприятия и методологии. Определение в глоссарии всех понятий, относящихся
к полуформальным мета-моделях* и/или формальным онтологиям, является минимальным требованием.
А.3.4.3 Мета-модели
В контексте GERAM мета-модели являются концептуальными моделями терминологической составляю
щей языков моделирования11. Они описывают используемые понятия, их свойства и связи, а также некоторые
основные ограничения, например, кардинальные ограничения.
Мета-модели располагаются между неформальных^ и формальными выражениями. Их. как правило, пред
ставляют в виде схемы связей сущностей или на языке с аналогичной выразительной способностью. Терминоло
гию, определенную в интегрированной мета-схех*в. можно также рассматривать как схему (в любой момент)
инструментальной базы данных инжиниринга предприятия для моделей предприятия.
А.3.4.4 Онтологические теории
Онтологические теории являются формальными моделями понятий, которые используются в представле
ниях предприятий. Их действие распространяется на правила и ограничения в интересующей области, допуская
полезные предположения, которые применяются для анализа, выполнения (например, для целей имитации),
перекрестной проверки и валидации моделей.
Онтологические теории представляют собой нечто вроде общей модели предприятия, описывающей наи
более общие аспекты понятий, относящихся к предприятию (функцию, структуру, динамику, издержки и т. д.) и
определяющей семантику используемых языков моделирования. Они выполняют роль, аналогичную роли м о
дели данных» в проектировании базы данных. Языки моделирования предприятия при поддержке онтологичес ких
теорий (и сопутствующих им инструментов инжиниринга предприятия) обеспечивают пользователя возмож ностях^
проведения более глубокого анализа.
Поскольку отдельные языки моделирования предприятия могут применяться для описания различных
аспектов’’представлений предприятия, важно отметить, что онтологические модели должны быть интегрирован
ными. то есть языковые определения для представлений должны быть представлениями интегрированной мета
схемы (если такая мета-схема определена) и/или ее основной онтологической модели (если соответствующая
онтологическая теория определена). Это чисто техническое требование позволяет применять инжиниринговые
инструменты предприятия для перекрестной проверки взаимного согласования моделей предприятия, разрабо
танных в процессе инжиниринга предприятия2
1}
Мета-модели являются моделями моделей.
2> Для такой перекрестной проверки существуют теоретические ограничения, поэтому формулировка долж
на подвергаться перекрестной проверке, насколько это возможно.
29