A Tool for Business Process Architecture Analysis

  • Rami-Habib Eid-Sabbagh
  • Marcin Hewelt
  • Mathias Weske
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8274)


Business Process Architectures (BPA) are used for structuring and managing process collections. For optimising business processes a high level view on their interdependencies is necessary. BPAs allow to capture message and trigger flow relations between processes and their multiple process instances within a process collection. However, tools that allow analysis of BPAs besides visualization do not exist. This contribution presents a novel tool to model and to analyse the correctness of a BPA by transforming it into open nets, translate the correctness criteria into CTL formula and model check those using LoLA.


Model Checker Correctness Criterion High Level View Modeling Guideline Renew Module 
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.
    Mendling, J.: Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness. LNBIP, vol. 6. Springer, Heidelberg (2008)Google Scholar
  2. 2.
    Mendling, J., Reijers, H., van der Aalst, W.: Seven Process Modeling Guidelines (7PMG). Qut eprint. Queensland University of Technology (2008)Google Scholar
  3. 3.
    Eid-Sabbagh, R.-H., Hewelt, M., Weske, M.: Business Process Architectures with Multiplicities: Transformation and Correctness. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 227–234. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  4. 4.
    Eid-Sabbagh, R.-H., Kunze, M., Meyer, A., Weske, M.: A Platform for Research on Process Model Collections. In: Mendling, J., Weidlich, M. (eds.) BPMN 2012. LNBIP, vol. 125, pp. 8–22. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  5. 5.
    Hewelt, M., Wagner, T., Cabac, L.: Integrating verification into the PAOSE approach. In: Duvigneau, M., Moldt, D., Hiraishi, K. (eds.) Petri Nets and Software Engineering, PNSE 2011. CEUR Workshop Proceedings, vol. 723, pp. 124–135. (2011)Google Scholar
  6. 6.
    Eid-Sabbagh, R.-H., Weske, M.: Analyzing Business Process Architectures. In: Salinesi, C., Norrie, M.C., Pastor, Ó. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 208–223. Springer, Heidelberg (2013)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Rami-Habib Eid-Sabbagh
    • 1
  • Marcin Hewelt
    • 1
  • Mathias Weske
    • 1
  1. 1.Hasso Plattner InstituteUniversity of PotsdamGermany

Personalised recommendations