Affordable Access

Automated error correction of business process models

Authors
Publisher
Springer
Publication Date
Disciplines
  • Communication
  • Design

Abstract

LNCS 6896 - Automated Error Correction of Business Process Models Automated Error Correction of Business Process Models Mauro Gambini1, Marcello La Rosa2,3, Sara Migliorini1, and Arthur H.M. Ter Hofstede2,3,4 1 University of Verona, Italy {mauro.gambini,[email protected] 2 Queensland University of Technology, Australia {m.larosa,[email protected] 3 NICTA Queensland Lab, Australia 4 Eindhoven University of Technology, The Netherlands Abstract. As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soundness formalize behavioral errors and tools exist that can identify such errors. However these tools do not provide assistance with the correction of the process models. Error correction can be very challeng- ing as the intentions of the process modeler are not known and there may be many ways in which an error can be corrected. We present a novel technique for auto- matic error correction in process models based on simulated annealing. Via this technique a number of process model alternatives are identified that resolve one or more errors in the original model. The technique is implemented and validated on a sample of industrial process models. The tests show that at least one sound solution can be found for each input model within a reasonable response time. 1 Introduction and Background Business process models document organizational procedures and as such are often in- valuable to both business and IT stakeholders. They are used to communicate and agree on requirements among business analysts, or used by solution architects and developers as a blueprint for process automation [15]. In all cases, it is of utmost importance that these models are correct. Incorrect process models can lead to ambiguities and mis- interpretations, and may not be directly automated [16]. There are different types of errors. A process model can violate simple s

There are no comments yet on this publication. Be the first to share your thoughts.