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

User: system

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

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

The following start or target objects are not events:

Checked model	Object name	Object type
1. Заключение договоров	Оформление договора	Function

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

Rule: Проверка корректности количества входящих и исходящих соединений логических операторов

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

The number of incoming and outgoing connections is not correct for the following operators:

Checked model	Object name	Object type
Check produced no errors.

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

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

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

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
1. Заключение договоров	Ознакомление клиента с  условиями договора	XOR rule

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

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

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

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

Checked model	Object name	Object type
1. Заключение договоров	Ознакомление клиента с  условиями договора (predecessor)	Event
	XOR rule	Rule
	Условия договора не удовлетворяют клиента (successor)	Event
	Условия  договора  удовлетворяют  клиента (successor)	Event

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

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

Statistics - Rules

ARIS Semantic Check

Server: local

Database: House-building

User: system

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

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

The following start or target objects are not events:

Checked model	Object name	Object type
Check produced no errors.

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