International Journal of Web Applications Mohamed Ali Bouanaka, Djamel Benmerzoug, Nacereddine Zarour 5 2 2013 http://www.dline.info/ijwa/fulltext/v5n2/1.pdf 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.