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]

@article{KholyBEQD14,
  title = {Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols},
  author = {Warda El Kholy and Jamal Bentahar and Mohamed El-Menshawy and Hongyang Qu and Rachida Dssouli},
  year = {2014},
  doi = {10.1016/j.eswa.2014.05.046},
  url = {http://dx.doi.org/10.1016/j.eswa.2014.05.046},
  researchr = {https://researchr.org/publication/KholyBEQD14},
  cites = {0},
  citedby = {0},
  journal = {Expert Syst. Appl.},
  volume = {41},
  number = {16},
  pages = {7478-7494},
}