Type checking for protocol role enactments via commitments

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 i...

Full description

Saved in:
Bibliographic Details
Published inAutonomous agents and multi-agent systems Vol. 32; no. 3; pp. 349 - 386
Main Authors Baldoni, Matteo, Baroglio, Cristina, Capuzzimati, Federico, Micalizio, Roberto
Format Journal Article
LanguageEnglish
Published New York Springer US 01.05.2018
Springer Nature B.V
Subjects
Artificial Intelligence
Computer Science
Computer Systems Organization and Communication Networks
Software Engineering/Programming and Operating Systems
User Interfaces and Human Computer Interaction
Social relationships
Static and dynamic type checking
Commitments
Commitment-based interaction protocols
Agent typing
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:1387-2532
1573-7454
DOI:10.1007/s10458-018-9382-3