Interaction Protocols Based Approach for Reliable Web Services Composition
Mohamed Ali Bouanaka, Djamel Benmerzoug, Zarour Nacereddine · Int. J. Web Appl. · 2013
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.