Detecting Behavioural Incompatibilities between Pairs of Services

  • Ali Aït-Bachir
  • Marlon Dumas
  • Marie-Christine Fauvet
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5472)


We present a technique to analyse successive versions of a service interface in order to detect changes that cause clients using an earlier version not to interact properly with a later version. We focus on behavioural incompatibilities and adopt the notion of simulation as a basis for determining if a new version of a service is behaviourally compatible with a previous one. Unlike prior work, our technique does not simply check if the new version of the service simulates the previous one. Instead, in the case of incompatible versions, the technique provides detailed diagnostics, including a list of incompatibilities and specific states in which these incompatibilities occur. The technique has been implemented in a tool that visually pinpoints a set of changes that cause one behavioural interface not to simulate another one.


  1. 1.
    Aït-Bachir, A., Dumas, M., Fauvet, M.-C.: BESERIAL: Behavioural Service Interface Analyser. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, Springer, Heidelberg (2008)CrossRefGoogle Scholar
  2. 2.
    Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. Data and Knowledge Engineering 58(3), 327–357 (2006)CrossRefGoogle Scholar
  3. 3.
    Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: Proc. of the 14th WWW int. conf., Japan. ACM, New York (2005)Google Scholar
  4. 4.
    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
  5. 5.
    Corrales, J.C., Grigori, D., Bouzeghoub, M.: BPEL processes matchmaking for service discovery. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275. Springer, Heidelberg (2006)Google Scholar
  6. 6.
    Fu, X., Bultan, T., Su, J.: Synchronizability of conversations among web services. IEEE Transactions on Software Engineering 31(12) (2005)Google Scholar
  7. 7.
    Foster, H., Uchitel, S., Magee, J., Kramer, J.: Ws-engineer: A tool for model-based verification of web service compositions and choreography. In: Proc. of the IEEE Int. Conf. on Software Engineering, China (2006)Google Scholar
  8. 8.
    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. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  9. 9.
    Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing compatibility of bpel processes. In: Proc. of the Advanced Int. Conf. on Telecom. and Int. Conf. on Internet and Web Applications and Services, French Caribbean. IEEE, Los Alamitos (2006)Google Scholar
  10. 10.
    Motahari-Nezhad, H.R., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-automated adaptation of service interactions. In: Proc. of the 16th WWW Int. Conf., Canada. ACM, New York (2007)Google Scholar
  11. 11.
    Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and merging of statecharts specifications. In: Proc. of the 29th Int. Conf. on Software Engineering, USA. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  12. 12.
    Ponnekanti, S.R., Fox, A.: Interoperability among independently evolving web services. In: Jacobsen, H.-A. (ed.) Middleware 2004. LNCS, vol. 3231, pp. 331–351. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  13. 13.
    Ryu, S.H., Casati, F., Skogsrud, H., Benatallah, B., Saint-Paul, R.: Supporting the dynamic evolution of web service protocols in service-oriented architectures. ACM Transactions on the Web 2(2), 46 (2008)CrossRefGoogle Scholar
  14. 14.
    Weerawarana, S., Curbera, F., Leymann, F., Storey, T., Ferguson, D.: Web Services Platform Architecture. Prentice-Hall, Englewood Cliffs (2005)Google Scholar
  15. 15.
    Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E.: Matchmaking for business processes based on choreographies. In: Proc. of the Int. Conf. on Multimedia and Expo., Taipei, Taiwan. IEEE Computer Society Press, Los Alamitos (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Ali Aït-Bachir
    • 1
  • Marlon Dumas
    • 2
  • Marie-Christine Fauvet
    • 1
  1. 1.LIGUniversity of GrenobleFrance
  2. 2.University of TartuEstonia

Personalised recommendations