Interaction Protocols Based Approach for Reliable Web Services Composition
Mohamed Ali Bouanaka, Djamel Benmerzoug, Nacereddine Zarour
International Journal of Web Applications, Vol. 5, No. 2, 2013.
DOI: 
Link: 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.