Моделирование бизнеса. Методология ARIS

Модели процессов и организационных структур являются согласованными только в том случае, если все организационные элементы, представленные в моделях процессов, находят свое отражение в моделях организационных структур (рис. 194).

Рис. 194. Проверка полноты модели: организационная единица «Должность З», присутствующая в модели еЕРС, отсутствует в модели «Организационная схема»

Для проверки следования семантическим правилам используется механизм семантических проверок, реализованный в модуле ARIS Semantic Check (см. раздел 5.5). Проверки проводятся после завершения процесса моделирования.

В системе ARIS выделено семь основных типов правил семантических проверок:

• правила существования объектов (Existence Rules);

• правила взаимосвязи объектов {Allocation Rules);

• правила структуры моделей {Structure Rules);

• правила атрибутов объектов {Object Attributes Rules);

• правила атрибутов связей {Relationships Attributes Rules);

• правила детализации объектов {Assignment Rules);

• правила UML {UML Rules).

Все правила относятся к одному из указанных типов и для удобства группируются.

Система содержит набор правил, групп правил и типов правил. При этом для целей моделирования может быть создан специальный набор правил и их групп. Типы правил изменяться и создаваться не могут.

Ниже приведены некоторые правила, поставляемые с инструментальной системой ARIS.

Правила существования объектов

• Функция из модели процесса существует в дереве функций (целей).

• Функция из модели процесса существует в матрице выбора процесса.