Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
OMG, BPMN 2.0: http://www.omg.org/spec/BPMN/2.0/
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)
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)
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)
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)
Norta, A., Eshuis, R.: Specification and verification of harmonized business-process collaborations. Information Systems Frontiers 12, 457–479 (2010)
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)
Breugel, F., Koshkina, M.: Models and Verification of BPEL, http://www.cse.yorku.ca/~franck/research/drafts/tutorial.pdf
Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 1st edn. Springer Publishing Company, Incorporated Heidelberg (2009)
Workflow Patterns: http://www.workflowpatterns.com
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roa, J., Chiotti, O., Villarreal, P. (2012). A Verification Method for Collaborative Business Processes. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds) Business Process Management Workshops. BPM 2011. Lecture Notes in Business Information Processing, vol 99. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28108-2_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-28108-2_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28107-5
Online ISBN: 978-3-642-28108-2
eBook Packages: Computer ScienceComputer Science (R0)