Abstract
Interorganizational worfklows represent workflows which involve several business processes, belonging to different organizations, which need to coordinate thier actions in order to achieve a common goal. This paper proposes a Petri net model which permits the modelling and verification of interorganizational workflows. The model allows the explicit representation of the organizational dimension of each component workflow, the shared use of resources among different organizations as well as the specification of security constraints. A property of soundness, which describes the correct execution of the interorganizational workflow, is defined and proven decidable.
Chapter PDF
Similar content being viewed by others
References
van der Aalst, W.: The Application of Petri nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
van der Aalst, W.: Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Information and Management 37(2), 67–75 (2000)
van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: From Public Views to Private Views – Correctness-by-Design for Services. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 139–153. Springer, Heidelberg (2008)
Ahn, G., Sandhu, R.: The RSL99 Language for Role-based Separation of Duty Constraints. In: 4th ACM Workshop on Role-Based Access Control, pp. 43–54. ACM, New York (1999)
Andonoff, E., Bouaziz, W., Hanachi, C.: An Agent-Based Model for Autonomic Coordination of Inter-Organizational Business Processes. INFORMATICA 20(3), 323–342 (2009)
Ayed, S., Cuppens-Boulahia, N., Cuppens, F.: Deploying Access Control in Distributed Workflow. In: The 6th Australasian Conference on Information Security, pp. 9–17. Australian Computer Society Inc., Darlinghurst (2008)
Bertino, E., Ferrari, E., Atluri, V.: The Specification and Enforcement of Authorization Constraints in Workflow Management Systems. ACM Trans. on Inf. and Sys. Sec. 2(1), 65–104 (1999)
Ge, J., Hu, H., Lu, P., Hu, H., Lü, J.: Translation of Nets Within Nets in Cross-organizational Software Process Modeling. In: Li, M., Boehm, B., Osterweil, L.J. (eds.) SPW 2005. LNCS, vol. 3840, pp. 360–375. Springer, Heidelberg (2006)
Finkel, A., Schnoebelen, P.: Fundamental Structures in Well-Structured Infinite Transition Systems. In: Lucchesi, C.L., Moura, A.V. (eds.) LATIN 1998. LNCS, vol. 1380, pp. 102–118. Springer, Heidelberg (1998)
Jiang, P., Shao, X., Gao, L., Qiu, H., Li, P.: A process-view approach for cross-organizational workflows management. Adv. Eng. Inf. 20(2), 229–240 (2010)
Kang, M.H., Park, J.S., Froscher, J.N.: Access control mechanisms for inter-organizational workflows. In: The 6th ACM Symposium on Access Control Models and Technologies, pp. 66–74. ACM, New York (2001)
Kindler, E., Martens, A., Reisig, W.: Inter-operability of Workflow Applications: Local Criteria for Global Soundness. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) BPM 2000. LNCS, vol. 1806, pp. 235–253. Springer, Heidelberg (2000)
Knorr, K., Weidner, H.: Analyzing Separation of Duties in Petri Net Workflows. In: Gorodetski, V.I., Skormin, V.A., Popyack, L.J. (eds.) MMM-ACNS 2001. LNCS, vol. 2052, pp. 102–114. Springer, Heidelberg (2001)
Lomazova, I.A.: Nested Petri Nets - a Formalism for Specification and Verification of Multi - Agent Distributed Systems. Fund. Informa. 43, 195–214 (2000)
Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation. Data Knowl. Eng. 64(1), 38–54 (2008)
Mikolajczak, B., Gami, N.: Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security. JCP 3(1), 63–78 (2008)
Prisecaru, O.: A Petri net based approach for modelling resource constrained interorganizational workflows. In: Ultes-Nitsche, U., Moldt, D., Augusto, J.C. (eds.) MSVVEIS 2008, pp. 29–38. Insticc Press (2008)
Yamaguchi, S., Matsuo, H., Ge, Q., Tanaka, M.: WF-Net Based Modeling and Soundness Verification of Interworkflows. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. E90-A(4), 829–835 (2007)
Wirtz, G., Giese, H.: Using UML and object-coordination-nets for workflow specification. In: 2000 IEEE International Conference on Systems Man and Cybernetics Cybernetics, pp. 3159–3164. IEEE Press (2000)
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
Captarencu, O.O. (2012). Modelling and Verification of Interorganizational Workflows with Security Constraints: A Petri Nets-Based Approach. In: Bajec, M., Eder, J. (eds) Advanced Information Systems Engineering Workshops. CAiSE 2012. Lecture Notes in Business Information Processing, vol 112. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31069-0_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-31069-0_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31068-3
Online ISBN: 978-3-642-31069-0
eBook Packages: Computer ScienceComputer Science (R0)