Sökning: onr:"swepub:oai:DiVA.org:umu-166995" >
On Enactability of ...
On Enactability of Agent Interaction Protocols : Towards a Unified Approach
-
Ferrando, Angelo (författare)
-
Winikoff, Michael (författare)
-
Cranefield, Stephen (författare)
-
visa fler...
-
- Dignum, Frank (författare)
- Umeå universitet,Institutionen för datavetenskap
-
Mascardi, Viviana (författare)
-
visa färre...
-
(creator_code:org_t)
- ACM Digital Library, 2019
- 2019
- Engelska.
-
Ingår i: AAMAS '19. - : ACM Digital Library. - 9781450363099 ; , s. 1955-1957
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- Agent Interaction Protocols
- Enactability
- Enforceability
- Implementability
- Realizability
- Projectability
- Trace Expressions
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas