Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
C Wolf - A Toolset for Extracting Models from C Programs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Visualizing Requirements in UML Models
REV '06 Proceedings of the 1st international workshop on Requirements Engineering Visualization
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Verification of Business Process Quality Constraints Based on Visual Process Patterns
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Model Checking with Graphical Validation Rules
ECBS '08 Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
A concept and implementation of higher-level XML transformation languages
Knowledge-Based Systems
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
Requirements engineering for web applications: a comparative study
Journal of Web Engineering
A visualization framework for the modeling and formal analysis of high assurance systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
There are different model types to model business processes, like ARIS models, BPMN or UML activity diagrams. These models are well elaborated. Moreover, almost all commercial systems or web-based systems are driven by their dynamic behavior which needs to be described precisely by the business process models. The challenge is the validation of these business process models against behavioral dynamic rules. However, the question is what is to be checked in detail and how this is represented in the models and how the results of the checks are displayed. In the paper we present a graphical representation supporting the checking business process models. A graphical specification of business rules and regulations is presented which allows to display both the business process models and the rules in one graphical editor. Both models are transformed into a formal language which may be processed by a verification tool - a model checker in our case. The graphical representation is realized with Eclipse which allows to integrate different other verification systems and to extend the current implementation.