Typing Multi-Agent Systems via Commitments [chapter]

Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati
2014 Lecture Notes in Computer Science  
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 commitmentbased protocol. Type checking can be done dynamically when an agent enacts a
more » ... e. 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.
doi:10.1007/978-3-319-14484-9_20 fatcat:acq3auk5nfhxbaluku4y34sddi