Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Typing Multi-Agent Systems via Commitments

Capitolo di libro
Data di Pubblicazione:
2014
Abstract:
This work presents an agent typing system, that differently than most of other proposals relies on notions that are typical of agent systems instead of relying on a functional approach. Specifically, we use commitments to define types. The proposed typing includes a notion of compatibility, based on subtyping, which allows for the safe substitution of agents to roles along an interaction that is ruled by a commitment-based protocol. Type checking can be done dynamically when an agent enacts a role. The proposal is implemented in the 2COMM framework and exploits Java annotations. 2COMM is based on the Agent & Artifact meta-model, exploit JADE and CArtAgO, by using CArtAgO artifacts in order to reify commitment protocols.
Tipologia CRIS:
02A-Contributo in volume
Keywords:
Commitments; Static and dynamic type checking; Agents and Artifacts; JADE; Implementation
Elenco autori:
Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati
Autori di Ateneo:
BALDONI Matteo
BAROGLIO Cristina
Link alla scheda completa:
https://iris.unito.it/handle/2318/151906
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/151906/165043/2014_EMASPostProc-_4aperto.pdf
Titolo del libro:
Post-Proc. of the 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, Revised Selected and Invited Papers
Pubblicato in:
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Journal
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Series
  • Dati Generali

Dati Generali

URL

http://dx.doi.org/10.1007/978-3-319-14484-9
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0