Skip to main content
SpringerLink
Log in
Book cover

International Conference on Web-Age Information Management

WAIM 2005: Advances in Web-Age Information Management pp 538–555Cite as

Deploying π-Calculus Technology in Inter-organizational Process

  • Conference paper

  • 758 Accesses

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

Abstract

Seeing a great need of strong connectivity automation system in between different organizations for the promotion of the best services based upon reliable intermediate source, this paper presents the implementation co-operation of different services in the inter-organizational process locally and globally, that can play important role in sharing services required by many organizational platforms. We discuss how the Inter-organizational π-calculus technology can express organization communications within organizational distributed environment, through an encoding of the inter-organizational π-calculus technology, an enriched system that explicitly represents Names which are known universally but always refer to organizational information. Our presented translation replaces organization-to-organization communication shared with different organizations; we prove that this preserves and reflects process behavior, meets essential requirements for inter-organizational processes system based on an internet service daemon, and also investigate some limitations of the encoding.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Schmidt, R.: Web Services Based Architectures to Support Dynamic Inter-organizational Business Processes. In: Jeckle, M. (LJ) Zhang, L.-J. (eds.) ICWS-Europe 2003. LNCS, vol. 2853, pp. 123–136. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  2. Bazijanec, B., Winnewisser, C., Albani, A., Turowski, K.: A Component-Based Architecture for Protocol Vector Conversion in Inter-organizational Systems. In: Meersman, R., Tari, Z., Corsaro, A. (eds.) OTM-WS 2004. LNCS, vol. 3292, pp. 556–567. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. Gardner, P., Maffeis, S.: Modelling Dynamic Web Data? Preprint submitted to Elsevier Science 21 (December 2004)

    Google Scholar 

  4. Taylor, J.E., Levitt, R.E.: Inter-organizational Knowledge Flow and Innovation Diffusion in Project-based Industries. In: Proceedings of the 38th Hawaii International Conference on System Sciences. IEEE, Los Alamitos (2005)

    Google Scholar 

  5. Dittrich, K., Tombros, D.: Workflow Management for the Virtual Enterprise. In: Proc. of the International Process Technology Workshop (1999)

    Google Scholar 

  6. Perrin, O., Godart, C.: A model to support collaborative work in virtual enterprises. Elsevier, Amsterdam (2004)

    Google Scholar 

  7. van der Aalst, W.: Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries. Elsevier Science, Amsterdam (2000)

    Google Scholar 

  8. Salaün, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. In: Proc. of the International Conference on Web Services. IEEE, Los Alamitos (2004)

    Google Scholar 

  9. Shuzhou, L., Soong, A.G.E.: A Formal Framework to Support Workflow Adaptation. International Journal of Software Engineering and Knowledge Engineering 12(3), 245–268 (2002)

    Article  Google Scholar 

  10. Hamadi, R., Benatallah, B.: A Petri net-based model for web service composition. In: Proc. of the 14th Australasian database conference on Database technologies. Australian Computer Society, Inc. (2003)

    Google Scholar 

  11. Milner, R.: The polyadic π-calculus: a tutorial. Laboratory for Foundations of Computer Science, Computer Science Department, University of Edinburgh, The King’s Buildings, Edinburgh, UK (October 1991)

    Google Scholar 

  12. Pierce, B., Sangiorgi, D.: Typing and subtyping for mobile processes. In: Logic in Computer Science, pp. 187–215 (1993)

    Google Scholar 

  13. Pierce, B., Turner, D.: Pict: a programming language based on the π-calculus, Indiana University, CSCI Technical Report, March 19 (1997)

    Google Scholar 

  14. Vivas, J.-L., Dam, M.: From higher-order π-calculus to π-calculus in the presence of static operators. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 115–130. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  15. Cardelli, L., Ghelli, G., Gordon, A.D.: Secrecy and group creation. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 365–379. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  16. Fournet, C., Gonthier, G., Lévy, J.J., Maranget, L., Rémy, D.: A calculus of mobile agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119. Springer, Heidelberg (1996)

    Google Scholar 

  17. Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  18. Amadio, R.M.: On modelling mobility. Preprint submitted to Elesvier, February 15 (1999)

    Google Scholar 

  19. Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. In: The 3rd International Workshop on High-Level Concurrent Languages (HLCL 1998). Electronic Notes in Theoretical Computer Science, vol. 16(3). Elsevier, Amsterdam (1998)

    Google Scholar 

  20. Wang, J., Ravindran, B.: Packet Scheduling Algorithm, Implementation, and Feasibility Analysis. IEEE Transactions on Parallel and Dsitributed Systems 15(2), 119 (2004). © 2004 IEEE

    Article  Google Scholar 

  21. van der Aalst, W.: Process-oriented Architectures for Electronic Commerce and Interorganizational Workflow. Information Systems 24(8), 639–671 (1999)

    Article  Google Scholar 

  22. Boudol, G.: Asynchrony and the π-calculus (Note). Rapport de recherche 1702, INRIA, Sophia Antipolis (1992)

    Google Scholar 

  23. IANA, the Internet Assigned Numbers Authority. Protocol numbers and assignment services: Port numbers, http://www.iana.org/numbers.html

  24. Turner, D.N.: The Polymorphic π-calculus: Theory and Implementation. PhD thesis, Laboratory for Foundations of Computer Science, Edinburgh University, (1996) Also published as LFCS Technical Report 345

    Google Scholar 

  25. Pierce, B., Sangiorgi, D.: Behavioral equivalence in the polymorphic π-calculus. Journal of the ACM 47(5), 531–584 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  26. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Information and Computation 100, 1–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  27. Merro, M.: Locality in the π-calculus and applications to distributed objects. PhD thesis, Ecole des Mines, France, October 16 (2000)

    Google Scholar 

  28. Nestmann, U., Pierce, B.C.: Decoding choice encodings. BRICS report RS-99-42, Department of Computer Science, University of Aarhus (December 1999), To appear in Information and Computation; a version appeared as a paper at CONCUR 1996

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Computer Science and technology, Zhejiang University, 310027, Hangzhou, China

    Memon Abdul Ghafoor, Jianwei Yin, Jinxiang Dong & Maree Mujeeb-u-Rehman

Authors
  1. Memon Abdul Ghafoor
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jianwei Yin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jinxiang Dong
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Maree Mujeeb-u-Rehman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Edinburgh & Bell Laboratories,  

    Wenfei Fan

  2. College of Computer Science, Zhejiang University, 310027, Hangzhou, Zhejiang, China

    Zhaohui Wu

  3. Dept. of E. I. E, Huazhong University of Science and Technology, Wuhan, China

    Jun Yang

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ghafoor, M.A., Yin, J., Dong, J., Mujeeb-u-Rehman, M. (2005). Deploying π-Calculus Technology in Inter-organizational Process. In: Fan, W., Wu, Z., Yang, J. (eds) Advances in Web-Age Information Management. WAIM 2005. Lecture Notes in Computer Science, vol 3739. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11563952_47

Download citation

  • DOI: https://doi.org/10.1007/11563952_47

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29227-2

  • Online ISBN: 978-3-540-32087-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation