A requirement specification language for configuration dynamics of multiagent systems
until further notice
SourceInternational Journal of Intelligent Systems, 19, 3, (2004), pp. 277-300
Article / Letter to editor
Display more detailsDisplay less details
SW OZ DCC AI
SW OZ NICI KI
International Journal of Intelligent Systems
SubjectCognitive artificial intelligence
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.
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.