A requirement specification language for configuration dynamics of multiagent systems
Mehdi M. Dastani, Catholijn M. Jonker, Jan Treur · International Journal of Intelligent Systems · 2004
In agent-mediated applications, the configuration of the multi-agent system often changes due to the creation and the deletion of agents. The behaviour of such systems on the one hand depends on the structural dynamics of the system configuration, but on the other hand consists of the informational dynamics of the configuration. To specify and verify the properties of the system, including its configuration dynamics, a requirement language is needed that is capable to express those properties. In this paper, we discuss the configuration dynamics properties of multi-agent systems and define a language by means of which those properties can be specified. A prototypical scenario for an agent-mediated system is discussed and some important requirements for this system are specified.