Design and Formal Specifications of an Intelligent and Adaptive Multi-agent Interface Using Z-Specification Language

Authors:

Dimple Juneja (M.M University, Mullana, Ambala)

S.S. lyengar (Louisiana State University, Baton Rouge, Louisiana, USA)

Keywords: Software agents, homogeneous and heterogeneous domain, multi-agent frameworks.

Abstract:

The continuous growth in processing and communication capabilities led to the massive distributed computational environments e.g., the Internet. These environments are often called as open environments being characterized by massive geographical distribution, high dynamics, no global control, lack of security and high heterogeneity. Building a distributed application for such an environment is a complex task. Research efforts have been directed to manage such complexities thought he development of new paradigms, theories and technologies for distributed applications. Within this context, software agents have received special attention due to its flexibility and potential use in various fields such as network management, e-commerce, active networks etc. However, there is a crucial lack concerning specification and development methodologies for the Multi Agent Frameworks (MAF). The main intent of this work is to present a generic and formal approach to represent MA F that fits in with prototyping and simulation of homogenous as well as heterogeneous domains.