Deploying π-calculus technology in inter-organizational process

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 cooperation 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 n-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. © Springer-Verlag Berlin Heidelberg 2005.