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

Direktlänk
Referera
Referensformat
  • apa
  • 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
On Enactability of Agent Interaction Protocols: Towards a Unified Approach
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
Visa övriga samt affilieringar
2019 (Engelska)Ingår i: AAMAS '19: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, ACM Digital Library, 2019, s. 1955-1957Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. This difference can introduce problems. For instance, it is possible to specify protocols from a global viewpoint that cannot be implemented as a collection of individual agents. This leads naturally to the question of whether a given (global) protocol is enactable. We consider this question in a powerful setting (trace expressions), considering a range of message ordering interpretations (specifying what it means to say that an interaction step occurs before another), and a range of possible constraints on the semantics of message delivery, corresponding to different properties of the underlying communication middleware.

Ort, förlag, år, upplaga, sidor
ACM Digital Library, 2019. s. 1955-1957
Nyckelord [en]
Agent Interaction Protocols, Enactability, Enforceability, Implementability, Realizability, Projectability, Trace Expressions
Nationell ämneskategori
Datavetenskap (datalogi) Datorsystem
Identifikatorer
URN: urn:nbn:se:umu:diva-166995ISI: 000474345000270ISBN: 978-1-4503-6309-9 (tryckt)OAI: oai:DiVA.org:umu-166995DiVA, id: diva2:1384717
Konferens
18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), MAY 13-17, 2019, Montreal, CANADA
Tillgänglig från: 2020-01-10 Skapad: 2020-01-10 Senast uppdaterad: 2020-01-10Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Dignum, Frank

Sök vidare i DiVA

Av författaren/redaktören
Dignum, Frank
Av organisationen
Institutionen för datavetenskap
Datavetenskap (datalogi)Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • 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