@article{1225,
  author = {Mohamed Ali Bouanaka, Djamel Benmerzoug, Nacereddine Zarour},
  title = {Interaction Protocols Based Approach for Reliable Web Services Composition},
  journal = {International Journal of Web Applications},
  year = {2013},
  volume = {5},
  number = {2},
  doi = {},
  url = {http://www.dline.info/ijwa/fulltext/v5n2/1.pdf},
  abstract = {This paper deals with one of the key issues in Cooperative Information Systems (CIS): the Business Interaction Protocols (IP) that are interconnecting the different parts involved in collaborative activities. The challenge here is twofold. First, we must provide a formal model that is rich enough to capture interactions characteristics. Second, we must allow designers to combine existing protocols to achieve a new specific need. The paper introduces a formal analysis framework allowing the verification of the conformance between IP. This framework is based on our previous work [7][8]. In this paper, we mainly focus on the compositions of IP, where particular protocols may then be selected and composed to support a desired business application.},
}