Explaining the Incorrect Temporal Events During Business Process Monitoring by means of Compliance Rules and Model-based Diagnosis
Sometimes the business process model is not known completely, but a set of compliance rules can be used to describe the ordering and temporal relations between activities, incompatibilities, and existence dependencies in the process. The analysis of these compliance rules and the temporal events thrown during the execution of an instance, can be used to detect and diagnose a process behaviour that does not satisfy the expected behaviour. We propose to combine model-based diagnosis and constraint programming for the compliance violation analysis. This combination facilitates the diagnosis of discrepancies between the compliance rules and the events that the process generates as well as enables us to propose correct event time intervals to satisfy the compliance rules.
Top
- Gomez-Lopez, Maria T.
- Gasca, Rafael M.
- Rinderle-Ma, Stefanie
Top
Category |
Paper in Conference Proceedings or in Workshop Proceedings (Paper) |
Event Title |
MRI-BP Workshop in Conjunction with 17th Int'l EDOC Conference |
Divisions |
Workflow Systems and Technology |
Event Type |
Workshop |
Series Name |
IEEE |
Publisher |
IEEE Computer Society |
Date |
September 2013 |
Export |
Top
