Анализ построенных моделей процессов предприятия и анализ отчетов по моделям, страница 10

The following functions and events have more than one incoming or outgoing connection:

Checked model	Object name	Object type
Check produced no errors.

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

Rule: Невозможность XOR/OR после события

Description: Это правило проверяет, чтобы после события в выбранной модели не было логических операторов  XOR/OR .

The following events have an OR or an XOR operator as successor:

Checked model	Event	Following operator
Check produced no errors.

Невозможность XOR/OR после события

Rule: Порядок у операторов должен быть сохранен

Description: Это правило проверяет несовпадение типов объектов до и после логических операторов.Например, если входящее соединение было от события, то исходящее соединение лгического оператора должно относиться к функции, и наоборот.

The following operators have the same object types both as predecessors and as succesors:

Checked model	Object name	Object type
Check produced no errors.

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

Rule/Models No.	1
1. Каждый путь должен начинаться и заканчиваться событием или интерфейсом в другой процесс	0
2. Проверка корректности количества входящих и исходящих соединений логических операторов	0
3. Все функции и события должны иметь только одно входящее и одно исходящее соединения	0
4. Невозможность XOR/OR после события	0
5. Порядок у операторов должен быть сохранен	0

Statistics - Rules

Models No.	Name	Type	Group
1	Заключение договоров	eEPC	\Модели

Statistics - Models

С помощью специальных структурных правил  для иерархических моделей были проверены модели типа OC и FT. После просмотра отчета Semantic Report модели были исправлены.

Организационная диаграмма.

ARIS Semantic Check

Server: local

Database: House-building

User: system

Rule: Возможен только один корень

Description: Это правило проверяет наличие в иерархической модели объектов,у которых нет входящих соединений соответствующего типа

The following models have more than one root:

Checked model	Type
Оргструктура	Organizational chart

Возможен только один корень

Rule: Каждый объект может иметь только одного родителя

Description: Это правило проверяет наличие в модели объектов, имеющих двух или более вышестоящих объектов,то есть более одной входящей связи..

The following objects have more than one direct predecessor:

Checked model	Incorrect object	Object type
1. Оргструктура	Департамент строительства	Organizational unit

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

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

Description: Это правило проверяет наличие в модели более одного соединения между двумя объектами (одного или различных типов)

The following objects are linked by more than one connection in the same direction:

Checked model	Source object	Target object
Check produced no errors.

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

Rule: Все исходящие соединения объекта должны иметь один и тот же тип

Description: Это правило проверяет, чтобы исходящие соединения, относящиеся к одному  объекту, имели один и тот же тип.

The following objects have outgoing connections of different types:

Checked model	Incorrect object	Object type
1. Оргструктура	Генеральный директор	Position

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

Rule: Все связи в модели должны быть одного типа

Description: Это правило проверяет наличие в иерархической модели объектов, связанных с другими объектами связями различного типа.