Specification of Behavioural Requirements within Compositional Multi-agent System Design
SourceLecture Notes in Computer Science, 1647, (1999), pp. 8-27
Article / Letter to editor
Display more detailsDisplay less details
SW OZ DCC KI
Lecture Notes in Computer Science
SubjectCognitive artificial intelligence
In this paper it is shown how informal and formal specification of behavioural requirements and scenarios for agents and multi-agent systems can be integrated within multi-agent system design. In particular, it is addressed how a compositional perspective both on design descriptions and specification of behavioural requirements can be exploited. The approach has been applied in a case study: the development of a mediating information agent. It is shown that compositional verification benefits from the integration of requirements engineering within the design process.
This item appears in the following Collection(s)
- Non RU Publications 
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.