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

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
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
1. Привлечение заемных средств	Получены условия кредитования (predecessor)	Function
	AND rule	Rule
	Определение возможности предоставления залога (successor)	Function
	Определение возможности возврата  кредита (successor)	Function
	Обращение в другие банки (predecessor)	Function
	Обращение в обслуживающий банк (predecessor)	Function
	XOR rule	Rule
	Получены условия кредитования (successor)	Function

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

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

Statistics - Rules

Models No.	Name	Type	Group
1	Привлечение заемных средств	eEPC	\Модели

Statistics – Models

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.

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

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: Это правило проверяет, чтобы в выбранной модели каждое событие или функция имели не более одного входящего/исходящего соединения