Formalization of virtual enterprise using CPL (case: Electronic marketplace)

In this paper, we present formalization of Virtual Enterprise with an example of electronic marketplace using concurrent programming language (CPL) and provide a multi autonomous agent based framework. Our agent based architecture leads to flexible design of a spectrum of virtual enterprises by distributing computation and by providing a unified interface to data and programs. Autonomous agents are intelligent enough and provide autonomy, simplicity of communication, computation, and a well developed semantics. The steps of design and implementation are discussed. The structure of electronic marketplace, the agent model, an ontology, interaction pattern between agents and the formalization of Electronic marketplace in CPL is given. We have developed mechanisms for coordination between agents using a language, which we call virtual enterprise modeling language (VEML). VEML is a dialect of Java and includes knowledge query and manipulation language (KQML) primitives. We have implemented a multi autonomous agent based system, which we call VE system. VE system provides application programmers with potential to globally develop different kinds of VEs based on their requirements and applications. We demonstrate efficacy of our system by discussing its salient features.