Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation
| Document type: | Conference Papers |
|---|---|
| Peer reviewed: | Yes |
| Full text: | |
| Author(s): | Frances Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, Jan Treur |
| Title: | Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation |
| Conference name: | International Conference on Multi Agent Systems (ICMAS'98) |
| Year: | 1998 |
| Pagination: | 49-56 |
| ISBN: | 0-8186-8500-X |
| Publisher: | IEEE Computer Society Press, 1998 |
| City: | Paris |
| Organization: | Blekinge Institute of Technology |
| Department: | Department of Software Engineering and Computer Science (Institutionen för programvaruteknik och datavetenskap) Dept. of Software Engineering and Computer Science S-372 25 Ronneby +46 455 780 00 http://www.bth.se/eng/ipd/ |
| Authors e-mail: | oli@ipd.hk-r.se |
| Language: | English |
| Abstract: | A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that part of the proofs can be reused in relation to reuse of components. |
| Subject: | Computer Science\Artificial Intelligence Computer Science\Distributed Computing Software Engineering\General |
| Keywords: | multi-agent, verification |
