Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols

  • Julien Ponge
  • Boualem Benatallah
  • Fabio Casati
  • Farouk Toumani
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4801)


We deal with the problem of automated analysis of web service protocol compatibility and replaceability in presence of timing abstractions. We first present a timed protocol model for services and identify different levels of compatibility and replaceability that are useful to support service development and evolution. Next, we present operators that can perform such analysis. Finally, we present operators properties by showing that timed protocols form a new class of timed automata, and we briefly present our implementation.


Temporal Abstraction Compatibility Analysis Replaceability Class Business Protocol Implicit Transition 
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. 1.
    Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures, and Applications. Springer, Heidelberg (2004)CrossRefzbMATHGoogle Scholar
  2. 2.
    Benatallah, B., Casati, F., Toumani, F.: Web services conversation modeling: The Cornerstone for E-Business Automation. IEEE Internet Computing 8(1) (January 2004)Google Scholar
  3. 3.
    Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW 2003, pp. 403–410. ACM Press, New York (2003)Google Scholar
  4. 4.
    Toumani, F., Benatallah, B., Casati, F.: Analysis and Management of Web Services Protocols. ER 2004  (2004)Google Scholar
  5. 5.
    Benatallah, B., Casati, F., Toumani, F., Ponge, J., Nezhad, H.R.M.: Service mosaic: A model-driven framework for web services life-cycle management. IEEE Internet Computing 10(4), 55–63 (2006)CrossRefGoogle Scholar
  6. 6.
    Alur, R., Madhusudan, P.: Decision problems for timed automata: A survey. In: 4th Intl. School on Formal Methods for Computer, Communication, and Software Systems  (2004)Google Scholar
  7. 7.
    Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-grained Compatibility and Replaceability Analysis of Timed Web Service Protocols (extended version) (2007),
  9. 9.
    Berard, B., Diekert, V., Gastin, P., Petit, A.: Characterization of the expressive power of silent transitions in timed automata. Technical report, LIAFA Jussieu (1999)Google Scholar
  10. 10.
    Diekert, V., Gastin, P., Petit, A.: Removing ε-transitions in timed automata. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol. 1200, Springer, Heidelberg (1997)Google Scholar
  11. 11.
    Benatallah, B., Casati, F., Grigori, D., Nezhad, H.R.M., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, Springer, Heidelberg (2005)Google Scholar
  12. 12.
    Bordeaux, L., Salaun, G., Berardi, D., Marcella, M.: When are two Web Services Compatible? In: VLDB TES’04, Toronto, Canada (2004)Google Scholar
  13. 13.
    Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: WWW 2005, pp. 148–159. ACM Press, New York (2005)Google Scholar
  14. 14.
    Yellin, D., Storm, R.: Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292–333 (1997)CrossRefGoogle Scholar
  15. 15.
    Canal, C., Fuentes, L., Pimentel, E., Troya, J.M., Vallecillo, A.: Adding roles to corba objects. IEEE Trans. Softw. Eng. 29(3), 242–260 (2003)CrossRefzbMATHGoogle Scholar
  16. 16.
    Nezhad, H.R.M., Benatallah, B., Casati, F., Toumani, F.: Web services interoperability specifications. Computer 39(5), 24–32 (2006)CrossRefGoogle Scholar
  17. 17.
    Benatallah, B., Casati, F., Ponge, J., Toumani, F.: Compatibility and replaceability analysis for timed web service protocols. In: BDA (October 2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Julien Ponge
    • 1
    • 2
  • Boualem Benatallah
    • 2
  • Fabio Casati
    • 3
  • Farouk Toumani
    • 1
  1. 1.Univ. Clermont-Ferrand 2France
  2. 2.UNSW, SydneyAustralia
  3. 3.Univ. of TrentoItaly

Personalised recommendations