Abstract
As the needs for interconnections of processes in different companies or departments are so increasing and companies try to realize business processes across organizational boundaries, the correctness issues of inter-organizational workflow definition is getting more important. In this paper, we develop community process definition language( CPDL) for inter-organizational workflow specification. It is devised to analyze correctness of inter-organizational workflow definition and especially it is used to detect latent communication deadlocks. A new communication deadlock detection technique in the context of interorganizational workflow definition is developed on CPDL using the set based constraint system. Any inter-organizational workflow languages that can be translated into CPDL can detect its communication deadlock using the technique of this paper.
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
H. Davulcu, M. Kifer, C.R. Ramakrishnan and I.V. Ramakrishnan, “Logic based modeling and analysis of workflows,” In ACM Symposium on Principles of Database System, June 1998.
Workflow Management Coalition, “workflow Sndard-Interoperability Wf-XML Binding, TC-1023”, May 2000.
N. Heintze, “Set Based Program Analysis,” Ph.D. thesis, School of Computer Science, Carnegie Mellon University, Oct. 1992.
Haruo Hayami and Masashi Katsumata, “Interworkflow: A Challenge for Businessto-Business Electronic Commerce,” workflow handbook 2001 published in association with WfMC, pp 145–159.
Andrezej Goscinski, “Distributed Operating Systems — The Logical Design,” Addison-wesly, pp 533–580, 1991.
N.R. Adam, V. Atluri and W. Huang,“Modeling and Analysis of Workflows using Petri Nets,” Journal of Intelligent Information Systems, 10(2):pp.131–158, 1998.
W.M.P. van der Aalst, “Inter-organizational Workflows: An approach based on Message Sequence Charts and Petri Nets,” Systems Analysis-Modelling — Simulation, 34(3):335–367, 1999.
E. Kindler, A. Martens and W. Reisig, “Inter-operability of Workflow Applications: Local Criteria for Global Soundness,” Business Process Management: Models, Techniques, and Empirical Studies, Lecture Notes in Computer Science 1806 (2000), pp. 235–253. Springer-Verlag, Berlin.
P. Grefen, K. Aberer, Y. Hoffner and H. Ludwig, “CrossFlow: Cross-organizational Workflow Management in Dynamic Virtual Enterprise,” International Journal of Computer Systems, Science, and Engineering, 15(5):277–290, 2001.
A. Lazacano, G. Alonso, H. Schuldt and C. Schuler, “The WISE Approach to Electronic Commerce,” International Journal of Computer Systems, Science, and Engineering, 15(5):345–357, 2001.
M. Merz, B. Liberman and W. Lamersdorf, “Crossing Organizational Boundaries with Mobile Agents in Electronic Service Markets,” Integrated Computer-Aided Enginnering, 6(2):91–104, 1999.
F. Casati, P. Grefen, B. Pernici, G. Pozzi and G. Sanchez, “WIDE Workflow Model and Architecture,” April 1996; available online at http://dis.sema.es/projects/WIDE/Documents.
Minkyu Lee, Dongsoo Han and Jaeyong Shim, “Set-Based Access Conflict Analysis for Structured Workflow Definition Language,” Information Processing Letters 80 (2001), Elsevier, pp. 189–194.
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski and A.P. Barros, “Workflow Patterns,” Technical report. Eindhoven University of Technology, 2002. (available at http://tmitwww.tm.tue.nl/research/patterns).
R. Taylor, “A general purpose algorithm for analyzing concurrent programs,” Communications of the ACM, vol. 26, pp 362–376, May 1983.
T. Murata, B. Shenker and S.M. Shatz, “Detection of Ada static deadlocks using petri net invariants,” IEEE Transactions on Software engineering, pp 314–326, March 1989.
S.P. Masticola and B.G. Ryder, “Static in finite wait anomaly detection in polynomial time,” In Proceedings of the 1990 International Conference on Parallel Processing, vol. 2, pp 78–87, 1990.
C. Demartini and R. Sisto, “Static analysis of Java multithreaded and distributed applications,” In Proceedings of International Symposium on Software Engineering for Parallel and Distributed Systems, pp 215–222, 1998.
Jaeyong Shim, Dongsoo Han and Minkyu Lee, “Exception Analysis of Structured Workflow Definition,” In Proceedings of the Twentieth IASTED International Conference on Applied Informatics(AI 2002), February 18-21, 2002, Innsbruck, Austria.
I. B. Arpinar, U. Halici, S. Arpinar and A. Dogac, “Formalization of workflow and correctness issues in the presence of concurrency,” Journal of Parallel and Distributed Databases, Vol. 7, No. 2, April 1999, pp. 199–248.
W.M.P. van der Aalst and A. Kumar, “XML Based Schema Definition for Support of Inter-organizational Workflow,” Journal of Information Systems Research, 2002
Assaf Arkin, “Business Process Modeling Language(BPML),” workfing draft 0.4 of BPMI.org, March 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shim, J., Han, D., Kim, H. (2002). Communication Deadlock Detection of Inter-organizational Workflow Definition. In: Bhalla, S. (eds) Databases in Networked Information Systems. DNIS 2002. Lecture Notes in Computer Science, vol 2544. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36233-9_4
Download citation
DOI: https://doi.org/10.1007/3-540-36233-9_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00264-2
Online ISBN: 978-3-540-36233-3
eBook Packages: Springer Book Archive