A First Step towards a Compiler for Business Processes

  • Thomas M. Prinz
  • Norbert Spieß
  • Wolfram Amme
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8409)


The verification of business processes is crucial since an erroneous execution causes high costs and damages the reputation of the providing company. The first step towards correct business processes is the verification of structural correctness, i.e., the absence of deadlocks and lack of synchronization.

In this demonstration paper, we present a system which was integrated into the Activiti BPMN 2.0 designer for Eclipse, allowing an immediate user support during the development of business processes. Therefore, an entire business process is transformed into semantically equivalent workflow graphs on which a new structural correctness verification is performed directly. This is done for each modification and the determined failures are visualized directly in the business process. The system can be seen as first step towards a compiler for business processes.


Business Process Activation Point Outgoing Edge Business Process Model Incoming Edge 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    OMG: Business process model and notation. Specification (2.0) (March 2011)Google Scholar
  2. 2.
    Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25(2), 117–134 (2000)CrossRefGoogle Scholar
  3. 3.
    van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W.: An alternative way to analyze workflow graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 535–552. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Fahland, D., Favre, C., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70(5), 448–466 (2011)CrossRefGoogle Scholar
  5. 5.
    Prinz, T.M., Amme, W.: Practical compiler-based user support during the development of business processes. In: Service-Oriented Computing - ICSOC 2013 Workshops. Springer, December 2013 (to be published)Google Scholar
  6. 6.
    Prinz, T.M., Amme, W.: Practical compiler-based user support during the development of business processes. Technical Report Math/Inf/02/13, Friedrich Schiller University Jena, 07743 Jena, Thuringia, Germany (June 2013)Google Scholar
  7. 7.
    Kiepuszewski, B., Hofstede, A.H.M.T., van der Aalst, W.: Fundamentals of control flow in workflows. Acta Informatica 39, 143–209 (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Thomas M. Prinz
    • 1
  • Norbert Spieß
    • 1
  • Wolfram Amme
    • 1
  1. 1.Friedrich Schiller University JenaJenaGermany

Personalised recommendations