DocumentCode
2826201
Title
Compositional design and verification of a multi-agent system for one-to-many negotiation
Author
Brazier, Frances ; Cornelissen, Frank ; Gustavsson, Rune ; Jonker, Catholijn M. ; Lindeberg, Olle ; Polak, B. ; Treur, Jan
Author_Institution
Dept. of Math. & Comput. Sci., Vrije Univ., Amsterdam, Netherlands
fYear
1998
fDate
3-7 Jul 1998
Firstpage
49
Lastpage
56
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 parts of the proofs can be reused in relation to reuse of components
Keywords
formal verification; load management; software agents; compositional verification; electricity use; load balancing; multi-agent systems; one-to-many negotiation; reuse of components; Artificial intelligence; Computer science; Design methodology; Laboratories; Load management; Logic; Mathematics; Multiagent systems; Real time systems; Uniform resource locators;
fLanguage
English
Publisher
ieee
Conference_Titel
Multi Agent Systems, 1998. Proceedings. International Conference on
Conference_Location
Paris
Print_ISBN
0-8186-8500-X
Type
conf
DOI
10.1109/ICMAS.1998.699031
Filename
699031
Link To Document