Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems

Abstract

Everyday more and more complex and critical processes of organizations' services and operations are automated by using business process management systems. Thereby, there exists a growing interest in improving the quality of these processes (e.g., by avoiding functional faults) to ensure the reachability of business goals and, consequently, for organizations to become more competitive. To this end, four contributions to apply diagnosis techniques for identifying and isolating functional faults at both design-time and run-time are proposed.