Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition

  • Authors:

  • Jussi Vanhatalo;Hagen Völzer;Frank Leymann

  • Affiliations:

  • IBM Zurich Research Laboratory, Säumerstrasse 4, CH-8803 Rüschlikon, Switzerland and Institute of Architecture of Application Systems, University of Stuttgart, Universitätsstrasse 3 ...;IBM Zurich Research Laboratory, Säumerstrasse 4, CH-8803 Rüschlikon, Switzerland;Institute of Architecture of Application Systems, University of Stuttgart, Universitätsstrasse 38, D-70569 Stuttgart, Germany

  • Venue:
  • ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a technique to enhance control-flow analysis of business process models. The technique considerably speeds up the analysis and improves the diagnostic information that is given to the user to fix control-flow errors. The technique consists of two parts: Firstly, the process model is decomposed into single-entry-single-exit (SESE) fragments, which are usually substantially smaller than the original process. This decomposition is done in linear time. Secondly, each fragment is analyzed in isolation using a fast heuristic that can analyze many of the fragments occurring in practice. Any remaining fragments that are not covered by the heuristic can then be analyzed using any known complete analysis technique.We used our technique in a case study with more than 340 real business processes modeled with the IBM WebSphere Business Modeler. The results suggest that control-flow analysis of many real process models is feasible without significant delay (less than a second). Therefore, control-flow analysis could be used frequently during editing time, which allows errors to be caught at earliest possible time.