Quantifying Service Compatibility: A Step beyond the Boolean Approaches

  • Meriem Ouederni
  • Gwen Salaün
  • Ernesto Pimentel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6470)


Checking the compatibility of service interfaces allows one to avoid erroneous executions when composing services together. In this paper, we propose a flooding-based approach for measuring the compatibility degree of service interfaces specified using interaction protocols. This proposal is fully automated by a prototype tool we have implmented.


Global State Service Interface Interaction Protocol Prototype Tool Service Protocol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Aït-Bachir, A.: Measuring Similarity of Service Interfaces. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364. Springer, Heidelberg (2008)Google Scholar
  2. 2.
    Bordeaux, L., Salaün, G., Berardi, D., Mecella, M.: When are Two Web Services Compatible?. In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 15–28. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Bravetti, M., Zavattaro, G.: Contract-Based Discovery and Composition of Web Services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 261–295. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  4. 4.
    Cámara, J., Salaün, G., Canal, C., Ouederni, M.: Interactive Specification and Verification of Behavioural Adaptation Contracts. In: Proc. of QSIC 2009, pp. 65–75. IEEE Computer Society, Los Alamitos (2009)Google Scholar
  5. 5.
    de Alfaro, L., Henzinger, T.: Interface Automata. In: Proc. of ESEC/FSE 2001, pp. 109–120. ACM Press, New York (2001)Google Scholar
  6. 6.
    Durán, F., Ouederni, M., Salaün, G.: Checking Protocol Compatibility using Maude. In: Proc. of FOCLASA 2009. ENTCS, vol. 255, pp. 65–81 (2009)Google Scholar
  7. 7.
    Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. of WWW 2004, pp. 621–630. ACM Press, New York (2004)Google Scholar
  8. 8.
    Hameurlain, N.: Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. In: Proc. of SEFM 2007, pp. 391–400. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  9. 9.
    Lohmann, N.: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 132–147. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. 10.
    Mateescu, R., Poizat, P., Salaün, G.: Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 84–99. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  11. 11.
    Melnik, S., Garcia-Molina, H., Rahm, E.: Similarity Flooding: A Versatile Graph Matching Algorithm and Its Application to Schema Matching. In: Proc. of ICDE 2002, pp. 117–128. IEEE Computer Society, Los Alamitos (2002)Google Scholar
  12. 12.
    Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and Merging of Statecharts Specifications. In: Proc. of ICSE 2007, pp. 54–64. ACM Press, New York (2007)Google Scholar
  13. 13.
    Pedersen, T., Patwardhan, S., Michelizzi, J.: WordNet:Similarity - Measuring the Relatedness of Concepts. In: Proc. of AAAI 2004, pp. 1024–1025. AAAI, Menlo Park (2004)Google Scholar
  14. 14.
    Salaün, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. IJBPIM 1(2), 116–128 (2006)CrossRefGoogle Scholar
  15. 15.
    Sokolsky, O., Kannan, S., Lee, I.: Simulation-Based Graph Similarity. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 426–440. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  16. 16.
    Wu, Z., Deng, S., Li, Y., Wu, J.: Computing Compatibility in Dynamic Service Composition. Knowledge and Information Systems 19(1), 107–129 (2009)CrossRefGoogle Scholar
  17. 17.
    Yellin, D.M., Strom, R.E.: Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292–333 (1997)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Meriem Ouederni
    • 1
  • Gwen Salaün
    • 2
  • Ernesto Pimentel
    • 1
  1. 1.University of MálagaSpain
  2. 2.Grenoble, INP–INRIA–LIGFrance

Personalised recommendations