Requirement: Mechanisms and Algorithms

Model Validation Check

Purpose:

1. BP-Modelling Processing: Automated Validation Check

The system shall check the properties of a BP model for consistency, quality, and completeness where possible. The goal of this requirements is to provide a smart way to verify the models: if a model has already been verified, and it evolves into another form, techniques shall be devised to provide validation only for the part that has been modified. This has an impact on the modelling guidelines: the more a model is modular, the easier it is to verify only parts of it, while ensuring the correctness of the other parts.

2. BP-Modelling Processing: Readiness for Executiion

The meta model applied to design the business processes should allow simulation to test it and to foster learning. Modelling objects should be extended with specific attributes to support simulation in internal/external (from LearnPAd point of view) simulation tools.

Scope:

N/A

Target System:
ADOxx 1.3UL1

Functional Requirements Specification:

N/A

Non-Functional Requirements Specification:

N/A

Average (0 Votes)
The average rating is 0.0 stars out of 5.
No comments yet. Be the first.