Verification Support for Generative System Development
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Reducing the Gap between Verification Models and Software Development Models
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Developer-friendly verification of process-based systems
Knowledge-Based Systems
Checkable graphical business process representation
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Integrated privacy modeling and validation for business process models
Proceedings of the 2012 Joint EDBT/ICDT Workshops
Hi-index | 0.00 |
The assurance of quality and reliability of process models and workflows is essential for model driven software development. There are numerous ways to achieve these objectives. One is model checking, through which it can be verified that a model satisfies specific logical rules. The model to be checked is usually given as a finite state machine. Rules have to be specified at the level required by the model checker. In this paper, we develop a visual notation for logical rules at the level of processes and workflows. This enables the business process engineer to use model checking techniques and to produce higher quality business models for subsequent software development. The approach is demonstrated by validating event-driven process chains (EPCs).