This work presents a commitment-based agent typing system. Type checking is done dynamically when an agent enacts a commitment-based protocol role: verification checks if the agent meets the requirements displayed by the role it means to enact. An example implementation in the 2COMM4JADE framework is provided. 2COMM4JADE is based on the Agent & Artifact meta-model and exploits JADE and CArtAgO, by using CArtAgO artifacts in order to reify commitment protocols.
Type checking for protocol role enactments via commitments
Baldoni, Matteo;Baroglio, Cristina;Capuzzimati, Federico;Micalizio, Roberto
2018-01-01
Abstract
This work presents a commitment-based agent typing system. Type checking is done dynamically when an agent enacts a commitment-based protocol role: verification checks if the agent meets the requirements displayed by the role it means to enact. An example implementation in the 2COMM4JADE framework is provided. 2COMM4JADE is based on the Agent & Artifact meta-model and exploits JADE and CArtAgO, by using CArtAgO artifacts in order to reify commitment protocols.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2018_JAAMAS.pdf
Accesso aperto
Descrizione: Articolo principale
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
428.62 kB
Formato
Adobe PDF
|
428.62 kB | Adobe PDF | Visualizza/Apri |
|
Baldoni1.pdf
Accesso riservato
Tipo di file:
PDF EDITORIALE
Dimensione
1.22 MB
Formato
Adobe PDF
|
1.22 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
