Voltar
Artigo Acesso aberto Revisado por pares
BIBTEX RIS

Type checking for protocol role enactments via commitments

2018; Springer Science+Business Media; Volume: 32; Issue: 3 Linguagem: Inglês

10.1007/s10458-018-9382-3

ISSN

1573-7454

Autores

Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio,

Tópico(s)

Multi-Agent Systems and Negotiation

Resumo

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 and Artifact meta-model and exploits JADE and CArtAgO, by using CArtAgO artifacts in order to reify commitment protocols.

Referência(s)