Type checking for protocol role enactments via commitments
Type checking for protocol role enactments via commitments
复制标题
DOI：
10.1007/s10458-018-9382-3
复制
发表时间：
2018-05-01
影响因子：
1.9
通讯作者：
Micalizio, Roberto
中科院分区：
文献类型：
--
作者：
Baldoni, Matteo;Baroglio, Cristina;Micalizio, Roberto
本文提出了一个基于承诺的agent分类系统。当代理执行基于承诺的协议角色时，类型检查是动态完成的：验证检查代理是否满足它要执行的角色所显示的需求。本文提供了2COMM4JADE框架中的一个示例实现。2COMM4JADE基于Agent和Artifact元模型，利用JADE和CArtAgO，通过使用CArtAgO构件来实现承诺协议。
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.