Abstract
In order to coordinate different workflows from different organizations, this paper applies a model called Interaction-Oriented Petri Nets (IOPN). This model adopts the process interaction between transitions (workflow actions) from different workflows, to coordinate different workflow processes. To assure workflow process and workflow coordination can be executed correctly and completely, soundness and relaxed soundness are important properties to be considered. When the IOPN system becomes larger and larger, the state space of the coordination system becomes too large to analyze. To avoid the state space explosion problem, decomposition approach based on invariant analysis can be a complement analysis technique. IOPN model can be decomposed into a set of sequence diagrams when it is relaxed sound.
This work was supported by 863 Program of China (2006AA01Z159, 2006AA01Z177, 2007AA01Z178, 2007AA01Z140), NSFC (60721002, 60736015, 60403014, 60603034), NSFJ (BK2006712), and the Seed Funding of Nanjing University.
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.
References
van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)
van der Aalst, W.M.P.: Interorganizational workflows: an approach based on message sequence charts and Petri nets. Systems Analysis-Modelling-Simulation 34(3), 335–367 (1999)
van der Aalst, W.M.P.: Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Information & Management 37(2), 67–75 (2000)
van der Aalst, W.M.P.: Inheritance of interorganizational workflows to enable business-to -business E-Commerce. Electronic Commerce Research 2(3), 195–231 (2002)
Chiu, D.K.W., Cheung, S.C., Till, S., Li, Q., Kafeza, E.: Workflow view driven cross-organizational interoperability in a web service environment. Information Technology and Management 5(3-4), 221–250 (2004)
Dehnert, J.: A Methodology for Workflow Modeling, PhD thesis, Technischen Universität Berlin (2003)
Dehnert, J., van der Aalst, W.M.P.: Bridging the gap between business models and workflow specifications. International Journal of Cooperative Information Systems 13(3), 289–332 (2004)
Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)
Divitini, M., Hanachi, C., Sibertin-Blanc, C.: Inter-organizational workflows for enterprise coordination. In: Omicini, A., et al. (eds.) Coordination of Internet Agents: Models, Technologies, and Applications 2001, pp. 369–398. Springer, Heidelberg (2001)
Dehnert, J., Zimmermann, A.: On the suitability of correctness criteria for business process models. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 386–391. Springer, Heidelberg (2005)
Ge, J., Hu, H., Lü, J.: Invariant Analysis for the Task Refinement of Workflow Nets. In: Proceedings of IAWTIC 2006. IEEE Computer Society, Los Alamitos (2006)
Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification and Application. Springer, Heidelberg (2003)
Hamadi, R., Benatallah, B.: A Petri net-based model for web service composition. In: Schewe, K.-D., Zhou, X. (eds.) Proceedings of the 14th Australasian Database Conference (ADC 2003), pp. 191–200. Australian Computer Society (2003)
Heymer, S.: A semantics for MSC based on Petri net components. In: Proceedings of the 2nd International SDL and MSC Workshop for System Analysis and Modeling (SAM 2000), Verimag, Irisa, pp. 262–275 (2000)
ITU-TS. ITU-TS Recomendation Z.120, Message Sequence Chart 1996 (MSC 1996). Technical report, ITU-TS, Geneva (1996)
Kindler, E., Martens, A., Reisig, W.: Inter-operability of workflow applications: Local criteria for global soundness. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 235–253. Springer, Heidelberg (2000)
Kluge, O.: Modelling a railway crossing with Message Sequence Charts and Petri Nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 197–218. Springer, Heidelberg (2003)
Milanovic, N., Malek, M.: Current solutions for web service composition. IEEE Internet Computing 8(6), 51–59 (2004)
Reisig, W.: An Introduction to Petri Nets. Springer, Heidelberg (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ge, J., Hu, H. (2009). A Decomposition Approach with Invariant Analysis for Workflow Coordination. In: Chen, L., Liu, C., Liu, Q., Deng, K. (eds) Database Systems for Advanced Applications. DASFAA 2009. Lecture Notes in Computer Science, vol 5667. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04205-8_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-04205-8_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04204-1
Online ISBN: 978-3-642-04205-8
eBook Packages: Computer ScienceComputer Science (R0)