Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Compositional verification of a multi-agent system for one-to-many negotiation
Visa övriga samt affilieringar
Ansvarig organisation
2004 (Engelska)Ingår i: Applied intelligence (Boston), ISSN 0924-669X, E-ISSN 1573-7497, Vol. 20, nr 2, s. 95-117Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Verification of multi-agent systems hardly occurs in design practice. One of the difficulties is that required properties for a multi-agent system usually refer to multi-agent behaviour which has nontrivial dynamics. To constrain these multi-agent behavioural dynamics, often a form of organisational structure is used, for example, for negotiating agents, by following strict protocols. The claim is that these negotiation protocols entail a structured process that is manageable with respect to analysis, design and execution of such a multi-agent system. In this paper this is shown by a case study: verification of a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. A compositional verification method for multi-agent systems is applied that allows to (1) logically relate dynamic properties of the multi-agent system as a whole to dynamic properties of agents, and (2) logically relate dynamic properties of agents to properties of their subcomponents. Given that properties of these subcomponents can be verified by more standard methods, these logical relationships provide proofs of the dynamic properties of the multi-agent system as a whole.

Ort, förlag, år, upplaga, sidor
DORDRECHT: KLUWER ACADEMIC PUBL , 2004. Vol. 20, nr 2, s. 95-117
Nyckelord [en]
compositional, verification, multi-agent system, negotiation
Nationell ämneskategori
Programvaruteknik
Identifikatorer
URN: urn:nbn:se:bth-8199ISI: 000188422400001Lokalt ID: oai:bth.se:forskinfo26898487E58F65ACC12575B00020D003OAI: oai:DiVA.org:bth-8199DiVA, id: diva2:835888
Tillgänglig från: 2012-09-18 Skapad: 2009-05-08 Senast uppdaterad: 2018-01-11Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Gustavsson, Rune

Sök vidare i DiVA

Av författaren/redaktören
Gustavsson, Rune
I samma tidskrift
Applied intelligence (Boston)
Programvaruteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 102 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf