Abstract
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.
Work partly funded by the Web Intelligence Project, Rhône-Alpes French Region.
Chapter PDF
Similar content being viewed by others
References
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)
Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. Data and Knowledge Engineering 58(3), 327–357 (2006)
Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: Proc. of the 14th WWW int. conf., Japan. ACM, New York (2005)
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)
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)
Fu, X., Bultan, T., Su, J.: Synchronizability of conversations among web services. IEEE Transactions on Software Engineering 31(12) (2005)
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)
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)
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)
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)
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)
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)
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)
Weerawarana, S., Curbera, F., Leymann, F., Storey, T., Ferguson, D.: Web Services Platform Architecture. Prentice-Hall, Englewood Cliffs (2005)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aït-Bachir, A., Dumas, M., Fauvet, MC. (2009). Detecting Behavioural Incompatibilities between Pairs of Services. In: Feuerlicht, G., Lamersdorf, W. (eds) Service-Oriented Computing – ICSOC 2008 Workshops. ICSOC 2008. Lecture Notes in Computer Science, vol 5472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01247-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-01247-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01246-4
Online ISBN: 978-3-642-01247-1
eBook Packages: Computer ScienceComputer Science (R0)