Enterprise modeling with UML: designing successful software through business analysis
Enterprise modeling with UML: designing successful software through business analysis
Principles of the Business Rule Approach
Principles of the Business Rule Approach
Verification of Business Processes for a Correspondence Handling Center Using CCS
EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
CMMI Guidlines for Process Integration and Product Improvement
CMMI Guidlines for Process Integration and Product Improvement
Verifying Model Oriented Specifications through Animation
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Structural Testing of Executables
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
A survey of comparative business process modeling approaches
BIS'07 Proceedings of the 10th international conference on Business information systems
| Hi-index | 0.00 |
This paper presents a method for validating business processes with respect to business rules. The method models the process as an UML activity diagram annotated with OCL statements representing the business rules. This model is converted to an oriented graph, called control graph, which is decorated with the business rules. The model validation activity is performed by the animation of a set of scenarios, each one comprising the set of the objects required for the instance execution. Tracking each scenario animation along the control graph allows for the detection of situations that violate the correct process execution. The occurrence of these situations can be avoided by changing the process model or by introducing/altering the associated business rules.