Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
Conceptual Modeling - ER 2007 (ER 2007)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4801))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures, and Applications. Springer, Heidelberg (2004)

    Book  MATH  Google Scholar 

  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. 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. Toumani, F., Benatallah, B., Casati, F.: Analysis and Management of Web Services Protocols. ER 2004  (2004)

    Google Scholar 

  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)

    Article  Google Scholar 

  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. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  8. Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-grained Compatibility and Replaceability Analysis of Timed Web Service Protocols (extended version) (2007), http://www.isima.fr/~ponge/publications/tr/er07-extended.pdf

  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. 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. 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. Bordeaux, L., Salaun, G., Berardi, D., Marcella, M.: When are two Web Services Compatible? In: VLDB TES’04, Toronto, Canada (2004)

    Google Scholar 

  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. Yellin, D., Storm, R.: Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292–333 (1997)

    Article  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  16. Nezhad, H.R.M., Benatallah, B., Casati, F., Toumani, F.: Web services interoperability specifications. Computer 39(5), 24–32 (2006)

    Article  Google Scholar 

  17. Benatallah, B., Casati, F., Ponge, J., Toumani, F.: Compatibility and replaceability analysis for timed web service protocols. In: BDA (October 2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Univ. Clermont-Ferrand 2, France

    Julien Ponge & Farouk Toumani

  2. UNSW, Sydney, Australia

    Julien Ponge & Boualem Benatallah

  3. Univ. of Trento, Italy

    Fabio Casati

Authors
  1. Julien Ponge
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Boualem Benatallah
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fabio Casati
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Farouk Toumani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Christine Parent Klaus-Dieter Schewe Veda C. Storey Bernhard Thalheim

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ponge, J., Benatallah, B., Casati, F., Toumani, F. (2007). Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols. In: Parent, C., Schewe, KD., Storey, V.C., Thalheim, B. (eds) Conceptual Modeling - ER 2007. ER 2007. Lecture Notes in Computer Science, vol 4801. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75563-0_40

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75563-0_40

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75562-3

  • Online ISBN: 978-3-540-75563-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation