Семантическая проверка моделей в ARIS Toolset

Для проверки по семантическим правилам, отражающим логику ARIS методологии в ARIS Toolset используется встроенные скрипты. Здесь выделено 8 основных типов правил таких проверок:

1. ABC – rules (ABCRules.sem) – правило на соответствие методики ABC-анализа;

2. Правило существования объектов Existence Rules (-II-II-.sem);

3. Правило взаимосвязи объектов Allocation Rules (-II-II-.sem);

4. Структурные правила Structure Rules (-II-II-.sem);

5. Правило атрибутов объектов Objects attributes Rules (-II-II-.seo, -II-II-.sem);

6. Правило атрибутов связей Relationship attributes Rules (-II-II-.sem);

7. Правило детализации объектов Assignments Rules (-II-II-.seo);

8. Правило для UML Rules (-II-II-.sem).

Existence Rules – правило позволяет отследить наличие объектов определенного типа из одной модели в других моделях. Например присутствуют ли объекты организационного типа из eEPC модели в орг диаграмме.

Структурные правила- с помощью этих правил проверяют корректность формирования структурной взаимосвязи объектов модели:

1. Общие структурные правила для всех типов объектов

- каждый объект должен иметь одно или несколько соединений с другим объектами;

- объект не может быть замкнут сам по себе.

2. Специальные структурные правила для моделей процессов

- каждый путь должен начинаться и заканчиваться событием или интерфейсом других процессов;

- проверка корректности количества входящих и исходящих соединений логических операторов;

- все функции и события должны иметь только одно входящее и одно исходящее соединение;

- после события не должны следовать операторы;

- порядок операторов должен быть сохранен;

- в модели запрещены циклы;

- проверка функций детализированных в процессе (проверка наличия события в детализированной модели и в модели детализирующую функцию);

3. Специальные структурные правила для иерархических моделей

- возможен только один корень;

- каждый объект должен иметь только одного родителя;

- разрешено только одно соединение между двумя объектами;

- все исходящие соединения объекта должны иметь один и тот же тип связи;

- все соединения в модели должны быть одного типа.

Анализ хозяйственной деятельности предприятия.