TY - GEN
T1 - Model checking commitment protocols
AU - El-Menshawy, Mohamed
AU - Bentahar, Jamal
AU - Dssouli, Rachida
PY - 2011
Y1 - 2011
N2 - We investigate the problem of verifying commitment protocols that are widely used to regulate interactions among cognitive agents by means of model checking. We present a new logic-based language to specify commitment protocols, which is derived from extending CTL* with modalities for social commitments and associated actions. We report on the implementation of the NetBill protocol-a motivated and specified example in the proposed language-using three model checkers (MCMAS, NuSMV, and CWB-NC) and compare the experimental results obtained.
AB - We investigate the problem of verifying commitment protocols that are widely used to regulate interactions among cognitive agents by means of model checking. We present a new logic-based language to specify commitment protocols, which is derived from extending CTL* with modalities for social commitments and associated actions. We report on the implementation of the NetBill protocol-a motivated and specified example in the proposed language-using three model checkers (MCMAS, NuSMV, and CWB-NC) and compare the experimental results obtained.
UR - http://www.scopus.com/inward/record.url?scp=79960504785&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-21827-9_5
DO - 10.1007/978-3-642-21827-9_5
M3 - Conference contribution
AN - SCOPUS:79960504785
SN - 9783642218262
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 37
EP - 47
BT - Modern Approaches in Applied Intelligence - 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Proceedings
T2 - 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011
Y2 - 28 June 2011 through 1 July 2011
ER -