Fulltext present in this item

Thumbnail
Fulltext: 64698.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: A requirement specification language for configuration dynamics of multiagent systems
Author(s): Dastani, M.; Jonker, C.M. ; Treur, J.
Publication year: 2004
Source: International Journal of Intelligent Systems, vol. 19, iss. 3, (2004), pp. 277-300
ISSN: 0884-8173
DOI: http://dx.doi.org/10.1002/int.10171
Publication type: Article / Letter to editor

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/64698   http://hdl.handle.net/2066/64698

Display more details
Subject: Cognitive artificial intelligence
Organization: FSW_Fac. algemeen
SW OZ DCC KI
Former Organization: SW OZ NICI KI
Journal title:
International Journal of Intelligent Systems
Volume: vol. 19
Issue: iss. 3
Page start: p. 277
Page end: p. 300
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.

This item appears in the following Collection(s)

Browse

Statistics