Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols

Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli. Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Syst. Appl., 41(16):7478-7494, 2014. [doi]

Abstract

Abstract is missing.