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 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 agentmediated system is discussed and some important requirements for this system are specified.
CITATION STYLE
Dastani, M., Jonker, C., & Treur, J. (2002). A requirement specification language for configuration dynamics of multi-agent systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2222, pp. 169–187). Springer Verlag. https://doi.org/10.1007/3-540-70657-7_12
Mendeley helps you to discover research relevant for your work.