Deploying Π-Calculus Technology in Inter-organizational Process

Memon Abdul Ghafoor,Jianwei Yin,Jinxiang Dong,Maree Mujeeb-u-Rehman
DOI: https://doi.org/10.1007/11563952_47
2005-01-01
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.
What problem does this paper attempt to address?