Modeling and Verifying Business Interactions via Commitments and Dialogue Actions

Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli. Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. In Piotr Jedrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain, editors, Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part II. Volume 6071 of Lecture Notes in Computer Science, pages 11-21, Springer, 2010. [doi]

@inproceedings{El-MenshawyBD10,
  title = {Modeling and Verifying Business Interactions via Commitments and Dialogue Actions},
  author = {Mohamed El-Menshawy and Jamal Bentahar and Rachida Dssouli},
  year = {2010},
  doi = {10.1007/978-3-642-13541-5_2},
  url = {http://dx.doi.org/10.1007/978-3-642-13541-5_2},
  tags = {modeling},
  researchr = {https://researchr.org/publication/El-MenshawyBD10},
  cites = {0},
  citedby = {0},
  pages = {11-21},
  booktitle = {Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part II},
  editor = {Piotr Jedrzejowicz and Ngoc Thanh Nguyen and Robert J. Howlett and Lakhmi C. Jain},
  volume = {6071},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-13540-8},
}