A Real-Time Execution Semantics for UML Activity Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
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
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
A static compliance-checking framework for business process models
IBM Systems Journal
A survey of comparative business process modeling approaches
BIS'07 Proceedings of the 10th international conference on Business information systems
Compliance checking of integrated business processes
Data & Knowledge Engineering
| Hi-index | 0.00 |
Regulatory compliance of business operations and practices is increasingly becoming an area of great concern for management, costing tens of billions of dollars in compliance actions a year. This paper presents a method for validating business processes with respect to the business rules. In the proposed method, business processes are modeled with UML activity diagrams, whilst business rules are represented as OCL expressions attached to process activities and the business conceptual model. The model validation is based on the simulation of the execution of process instances based on specific scenarios. The simulation algorithm steps through the process model executing the actions associated to the activities with the help of the USE tool and checking for violations of the associated business rules. The proposed method allows the modeler to have an early feedback of possible defects that may exist in a business process model.