Skip to main content
Springer Nature Link
Log in

Web Process Dynamic Stepped Extension: Pi-Calculus-Based Model and Inference Experiments

  • Conference paper
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE (OTM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3760))

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

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Article  Google Scholar 

  2. Patil, A., Oundhakar, S., Sheth, A., Verma, K.: METEOR-S Web service Annotation Framework. In: Proceeding of the World Wide Web Conference (July 2004)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)

    Google Scholar 

  9. Milner, R.: Communicating and Mobile Systems: the Pi calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  10. Jérôme Feret, p.s.a.: A p-Calculus Static Analyzer, http://move.to/mobility

  11. 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)

    Chapter  Google Scholar 

  12. Fakas, G.J., Karakostas, B.: A peer to peer (P2P) architecture for dynamic workflow management. Information and Software Technology 46(6), 423–431 (2004)

    Article  Google Scholar 

  13. Cardoso, J., Sheth, A.: Semantic e-Workflow Composition. Journal of Intelligent Information Systems (JIIS) 21(3), 191–225 (2003)

    Article  Google Scholar 

  14. Eshuis, H.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling, PhD thesis, University of Twente, Enschede, The Netherlands (October 2002)

    Google Scholar 

  15. Schroeder, M.: Verification of business processes for a correspondence handling center using CCS. In: EUROVAV, pp. 253–264 (1999)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. Pierce, B.C., Turner, D.N.: Pict: A programming language based on the pi calculus, Technical Report 476, Indiana University (March 1997)

    Google Scholar 

  18. Curti, M., Degano, P., Priami, C., et al.: Modelling biochemical pathways through enhanced pi calculus. Theoretical Computer Science 325(1), 111–140 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  19. Feret, J.: Confidentiality analysis of mobile systems. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol. 1824, pp. 135–154. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  20. 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)

    Chapter  Google Scholar 

  21. Padget, J., Bradford, R.: A Pi Calculus Model of a Spanish Fish Market–Preliminary Report, http://www.iiia.csic.es/amet98/abstract14.html

  22. Parrow, J.: Interaction Diagrams. Nordic Journal of computing 2, 407–443 (1995)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Software, Tsinghua University, Beijing, 100084, China

    Li Zhang & Zhiwei Yu

Authors
  1. Li Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhiwei Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STARLab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, 3001, Melbourne, VIC, Australia

    Zahir Tari

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation