Skip to Main Content
The use of a Web source as a communication channel drives requirements for next generation advanced e-business, such as fast e-access and e-customer support capabilities. Recent mobile technology advances have increased demand for mobile customers to connect to existing organizations. In this paper we discuss the intermediate role of π-calculus technology between different interconnected organizations, with π-calculus technology playing an important role in sharing products required by many organizational platforms. It also provides an ideal implementation platform, furnishing tools that help streamline complex applications. Our framework facilitates a mobile agent application development system, providing key features for distributed organization interface communication systems. This work provides a formal approach of HOπ-calculus where mobile agents are specified. The specification part of our system (emphasizing mobility) was carried out by using HOπ-calculus and for the part of execution (the migration of agents). Regarding our mobile agent surfing product from interconnected organizations; we prove that this preserves and reflects process behavior, and meets essential requirements of mobile calculus processes. It also enables mobile access, automated trading, simplicity and adaptability for realization as a distributed transaction based paradigm for e-shopping based on an intelligent agent interface.