Abstract
Web Processes combine traditional workflow management with Web Services technology. A key challenge to support dynamic composition of Web Processes is to solve the conflicts between process deployment and process execution caused by the inner dependencies. To address this, we have presented a dynamic extension pattern, termed the Web Process Dynamic Stepped Extension (WPDSE). In this approach the process is divided into multiple sub processes, and each sub process is defined and deployed at different times during process execution based on the requirements. A rigorous mathematic modeling language, pi-calculus, is used to define the framework and extension units of the WPDSE. The primary benefit derived from using the pi-calculus is that both the correctness and dynamic performance of the WPDSE model can be effectively verified and analyzed using a mathematically sound approach. This is done using a pi-calculus inference prototype tool called the Interactive Inferring Tool (InferTool).
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
Smith, H.: Business process management—the third wave: business process modeling language (BPEL) and its pi calculus foundations. Information and Software Technology 45, 1065–1069 (2003)
Patil, A., Oundhakar, S., Sheth, A., Verma, K.: METEOR-S Web service Annotation Framework. In: Proceeding of the World Wide Web Conference (July 2004)
Sivashanmugam, K., Verma, K., Sheth, A., Miller, J.: Adding Semantics to Web Services Standards. In: Proceedings of the 1st International Conference on Web Services (ICWS 2003), Las Vegas, Nevada, June 2003, pp. 395–401 (2003)
Sivashanmugam, K., Miller, J., Sheth, A., Verma, K.: Framework for Semantic Web Process Composition. In: Bussler, C., Fensel, D., Sadeh, N. (eds.) Special Issue of the International Journal of Electronic Commerce (IJEC) (February 2004)
Verma, K., Akkiraju, R., Goodwin, R., Doshi, P., Lee, J.: On Accommodating Inter Service Dependencies in Web Process Flow Composition. In: AAAI Spring Symposium 2004 (2004)
Zhang, L., Yu, Z., Verma, K., Sheth, A.P.: Dynamic Business Process Modeling based on Pi Calculus, Technical Report, LSDIS Lab. Computer Science Department, The University of Georgia (2004)
van der Aalst, W.M.P.: Three good reasons for using a Petri-net-based workflow management system. In: Navathe, S., Wakayama, T. (eds.) International Working Conference on Information and Process Integration in Enterprises (IPIC 1996), Cambridge, Massachusetts, USA, November 1996, pp. 179–201 (1996)
van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)
Milner, R.: Communicating and Mobile Systems: the Pi calculus. Cambridge University Press, Cambridge (1999)
Jérôme Feret, p.s.a.: A p-Calculus Static Analyzer, http://move.to/mobility
Zeng, L.Z., Flaxer, D., et al.: PLMflow-dynamic business process composition and execution by rule inference. In: Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (eds.) TES 2002. LNCS, vol. 2444, pp. 141–150. Springer, Heidelberg (2002)
Fakas, G.J., Karakostas, B.: A peer to peer (P2P) architecture for dynamic workflow management. Information and Software Technology 46(6), 423–431 (2004)
Cardoso, J., Sheth, A.: Semantic e-Workflow Composition. Journal of Intelligent Information Systems (JIIS) 21(3), 191–225 (2003)
Eshuis, H.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling, PhD thesis, University of Twente, Enschede, The Netherlands (October 2002)
Schroeder, M.: Verification of business processes for a correspondence handling center using CCS. In: EUROVAV, pp. 253–264 (1999)
van der Aalst, W.M.P.: Inheritance of Dynamic Behaviour in UML. In: Moldt, D. (ed.) Proceedings of the Second Workshop on Modelling of Objects, Components and Agents (MOCA 2002), Aarhus, Denmark, August 2002. DAIMI, vol. 561, pp. 105–120 (2002)
Pierce, B.C., Turner, D.N.: Pict: A programming language based on the pi calculus, Technical Report 476, Indiana University (March 1997)
Curti, M., Degano, P., Priami, C., et al.: Modelling biochemical pathways through enhanced pi calculus. Theoretical Computer Science 325(1), 111–140 (2004)
Feret, J.: Confidentiality analysis of mobile systems. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol. 1824, pp. 135–154. Springer, Heidelberg (2000)
Gardner, P., Maffeis, S.: Modelling dynamic web data. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol. 2921, pp. 130–146. Springer, Heidelberg (2004)
Padget, J., Bradford, R.: A Pi Calculus Model of a Spanish Fish Market–Preliminary Report, http://www.iiia.csic.es/amet98/abstract14.html
Parrow, J.: Interaction Diagrams. Nordic Journal of computing 2, 407–443 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, L., Yu, Z. (2005). Web Process Dynamic Stepped Extension: Pi-Calculus-Based Model and Inference Experiments. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. OTM 2005. Lecture Notes in Computer Science, vol 3760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575771_15
Download citation
DOI: https://doi.org/10.1007/11575771_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29736-9
Online ISBN: 978-3-540-32116-3
eBook Packages: Computer ScienceComputer Science (R0)