A requirement specification language for configuration dynamics of multiagent systems

Abstract

In agent-mediated applications, the system configuration can change because of the creation and the deletion of agents. The behavior of such systems on the one hand depends on the dynamics of the system configuration; on the other hand, behavior of such a system consists of the information dynamics of the system. We discuss configuration and information dynamics of agent-mediated systems and define a requirement language to express properties of those dynamics. A prototypical scenario for an agent-mediated system is discussed and some important requirements for this system are specified. It is shown how these properties can be verified automatically to evaluate system behavior.