Modeling agent organizations

We present a formal specification of an environment created by our mobile platform Pegaz [17]. Since all existing mobile agent platform create more or less the same infrastructure on a computer network, this formal specification may be seen as a formal representation of the cyberspace Then, we present a concept of agent organizations in a model of production environment. It is argued that such organizations can be applied in the cyberspace. Agents are supposed to form enterprises producing the commodity specified by the system designer, and then sell the commodity at the market. The goal of the designer is to create efficient enterprises producing the desired commodity. The market is modeled as the price oligopoly. The price oligopoly serves to eliminate enterprises that are not efficient.