When are Two Web Services Compatible?

  • Lucas Bordeaux
  • Gwen Salaün
  • Daniela Berardi
  • Massimo Mecella
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3324)


Whether two web services are compatible depends not only on static properties like the correct typing of their message parameters, but also on their dynamic behaviour. Providing a simple description of the service behaviour based on process-algebraic or automata-based formalisms can help detecting many subtle incompatibilities in their interaction. Moreover, this compatibility checking can to a large extent be automated if we define the notion of compatibility in a sufficiently formal way. Based on a simple behavioural representation, we survey, propose and compare a number of formal definitions of the compatibility notion, and we illustrate them on simple examples.


Label Transition System Process Algebra Asynchronous Communication Original Service eGovernment Service 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AMPP03]
    De Antonellis, V., Melchiori, M., Pernici, B., Plebani, P.: A methodology for e-service substitutability in a virtual district environment. In: Proc. of Conf. on Advanced Information Systems Engineering (CAISE), pp. 552–567. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. [BBC02]
    Bracciali, A., Brogi, A., Canal, C.: Dynamically adapting the behaviour of software components. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 88–95. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  3. [BCG+03]
    Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. [BCPV04]
    Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web services choreographies. In: Proc. of workshop on Web Services and Formal Methods (WS-FM) (2004)Google Scholar
  5. [BFHS03]
    Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to the design and analysis of E-service composition. In: Proc. of World Wide Web Conference (WWW), pp. 403–410. ACM Press, New York (2003)Google Scholar
  6. [BPR02]
    Brogi, A., Pimentel, E., Roldán, A.M.: Compatibility of Linda-based component interfaces. In: Proc. of workshop on Formal Methods and Component Interaction (FMCI). ENTCS, vol. 66(4) (2002)Google Scholar
  7. [BZ83]
    Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. of the ACM 30(2), 323–342 (1983)zbMATHCrossRefMathSciNetGoogle Scholar
  8. [CFP+03]
    Canal, C., Fuentes, L., Pimentel, E., Troya, J.M., Vallecillo, A.: Adding roles to CORBA objects. IEEE Transactions on Software Engineering 29(8), 242–260 (2003)CrossRefGoogle Scholar
  9. [LJ03]
    Li, Y., Jagadish, H.V.: Compatibility determination in web services. In: Proc. of ICEC eGovernment Services WS (2003)Google Scholar
  10. [Mar03]
    Martens, A.: On compatibility of web services. Petri Net Newsletter 65 (2003)Google Scholar
  11. [MB03]
    Meredith, G., Bjorg, S.: Contracts and types. Communications of the ACM 46(10), 41–47 (2003)CrossRefGoogle Scholar
  12. [Mil89]
    Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)zbMATHGoogle Scholar
  13. [MPC01]
    Mecella, M., Pernici, B., Craca, P.: Compatibility of e-services in a cooperative multi-platform environment. In: Proc. of VLDB satellite workshop on Technologies for E-Services (TES), pp. 44–57. Springer, Heidelberg (2001)Google Scholar
  14. [NM02]
    Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. of World Wide Web Conference (WWW), pp. 77–88. ACM Press, New York (2002)Google Scholar
  15. [RR02]
    Rajamani, S.K., Rehof, J.: Conformance checking for models of asynchronous message passing software. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 166–179. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  16. [SBS04]
    Salaün, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: Proc. of Int. Conf. on Web Services (ICWS), pp. 43–51. IEEE Computer Society Press, Los Alamitos (2004)CrossRefGoogle Scholar
  17. [YS97]
    Yellin, D., Strom, R.: Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems 19(2), 292–333 (1997)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Lucas Bordeaux
    • 1
  • Gwen Salaün
    • 1
  • Daniela Berardi
    • 1
  • Massimo Mecella
    • 1
  1. 1.DISUniversità di Roma “La Sapienza”Italy

Personalised recommendations