A Verification Method for Collaborative Business Processes

  • Jorge Roa
  • Omar Chiotti
  • Pablo Villarreal
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 99)


The verification of collaborative processes is a key issue to consider in cross-organizational modeling methodologies. Some of the existing verification approaches provide only partial support, whereas others impose some restrictions to verify models with advanced control flow, compromise (completely or partially) the enterprise autonomy, or are focused on technology-dependent specifications. In order to deal with these issues we introduce Global Interaction Nets, which are based on Hierarchical and Colored Petri Nets, and the Global Interaction Soundness property, which was adapted from the classical definition of soundness, as the main correctness criterion. The method can be used to formalize and verify models defined with different modeling languages. In addition, we apply the method through a case study modeled with UP-ColBPIP, which is a modeling language for collaborative processes, and formalize its constructs by means of Global Interaction Nets.


Verification Collaborative Business Processes Petri Nets B2B Collaborations 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Villarreal, P., Salomone, H., Chiotti, O.: Modeling and specifications of collaborative business processes using a MDA approach and a UML profile. In: Enterprise Modeling and Computing with UML, pp. 13–45. Idea Group Inc. (2007)Google Scholar
  2. 2.
    Villarreal, P.D., Lazarte, I., Roa, J., Chiotti, O.: A Modeling Approach for Collaborative Business Processes Based on the UP-ColBPIP Language. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 318–329. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  3. 3.
  4. 4.
    Huemer, C., Liegl, P., Motal, T., Schuster, R., Zapletal, M.: The development process of the UN/CEFACT modeling methodology. In: ICEC, pp. 1–10. ACM (2008)Google Scholar
  5. 5.
    van der Aalst, W.M.P.: Modeling and analyzing interorganizational workflows. In: Proc. of the ACSD, pp. 262–272. IEEE Comp. Soc., Washington, DC (1998)Google Scholar
  6. 6.
    Aalst, W.M.: Discovery, verification and conformance of workflows with cancellation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 18–37. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    van der Aalst, W., van Hee, K., ter Hofstede, A., Sidorova, N., Verbeek, H., Voorhoeve, M., Wynn, M.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing, 1–31 (2010)Google Scholar
  8. 8.
    Norta, A., Eshuis, R.: Specification and verification of harmonized business-process collaborations. Information Systems Frontiers 12, 457–479 (2010)CrossRefGoogle Scholar
  9. 9.
    Stuit, M., Szirbik, N.: Towards Agent-Based Modeling and Verification of Collaborative Business Processes: an Approach Centered on Interactions and Behaviors. Int. Journal of Cooperative Information Systems (IJCIS) 18, 423–479 (2009)CrossRefGoogle Scholar
  10. 10.
    Breugel, F., Koshkina, M.: Models and Verification of BPEL, http://www.cse.yorku.ca/~franck/research/drafts/tutorial.pdf
  11. 11.
    Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 1st edn. Springer Publishing Company, Incorporated Heidelberg (2009)Google Scholar
  12. 12.
  13. 13.
    Lazarte, I., Tello-Leal, E., Roa, J., Chiotti, O., Villarreal, P.: Model-Driven Development Methodology for B2B Collaborations. In: EDOCW, pp. 69–78. IEEE (2010)Google Scholar
  14. 14.
    Vanhatalo, J., Völzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43–55. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jorge Roa
    • 1
  • Omar Chiotti
    • 2
  • Pablo Villarreal
    • 1
  1. 1.CIDISIUniversidad Tecnológica Nacional - Facultad Regional Santa FeSanta FeArgentina
  2. 2.INGAR-CONICETSanta FeArgentina

Personalised recommendations