Deploying π-calculus technology in Inter-organizational process

  • Authors:

  • Memon Abdul Ghafoor;Jianwei Yin;Jinxiang Dong;Maree Mujeeb-u-Rehman

  • Affiliations:

  • College of Computer Science and technology, Zhejiang University, Hangzhou, China;College of Computer Science and technology, Zhejiang University, Hangzhou, China;College of Computer Science and technology, Zhejiang University, Hangzhou, China;College of Computer Science and technology, Zhejiang University, Hangzhou, China

  • Venue:
  • WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

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.