Skip to main content
SpringerLink
Log in

Client Synthesis for Aspect Oriented Web Services

  • Conference paper
Foundations of Computer Software. Future Trends and Techniques for Development (Monterey Workshop 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6028))

Included in the following conference series:

  • 507 Accesses

Abstract

Client synthesis for complex Web services is a critical and still open topic as it will enable more flexibility in the deployment of such services. In previous works, our team has developed a theoretical framework based on process algebra that has led to algorithms and tools for the client interaction. Here, we show how to generalise our approach for aspect oriented Web services.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AspectWerkz. AspectWerkz 2, http://aspectwerkz.codehaus.org

  2. Ben Hmida, M., Tomaz, R.F., Monfort, V.: Applying AOP Concepts to Increase Web Services Flexibility. In: Proceedings of the International Conference on Next Generation Web Services Practices (NWESP 2005). IEEE Computer Society, Los Alamitos (2005)

    Google Scholar 

  3. Bergstra, J.A., Klop, J.W.: Process Algebra for Synchronous Communication. Information and Control 60(1-3), 109–137 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  4. Charfi, A., Mezini, M.: Aspect-Oriented Web Service Composition with AO4BPEL. In: Zhang, L.-J., Jeckle, M. (eds.) ECOWS 2004. LNCS, vol. 3250, pp. 168–182. Springer, Heidelberg (2004)

    Google Scholar 

  5. Courbis, C., Finkelstein, A.: Weaving Aspects into Web Service Orchestrations. In: IEEE International Conference on Web Services (ICWS 2005), pp. 219–226. IEEE Computer Society Press, Los Alamitos (2005)

    Chapter  Google Scholar 

  6. Ferrara, A.: Web Services: a Process Algebra Approach. In: 2nd international Conference on Service Oriented Computing, ICSOC 2004, pp. 242–251. ACM Press, New York (2004)

    Chapter  Google Scholar 

  7. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Compositions. In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pp. 152–163. IEEE Computer Society, Los Alamitos (2003)

    Chapter  Google Scholar 

  8. Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: 13th International Conference on World Wide Web, WWW 2004, pp. 621–630. ACM, New York (2004)

    Chapter  Google Scholar 

  9. Fu, X., Bultan, T., Su, J.: WSAT: A Tool for Formal Analysis of Web Services. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 510–514. Springer, Heidelberg (2004)

    Google Scholar 

  10. Haddad, S., Melliti, T., Moreaux, P., Rampacek, S.: Modelling Web Services Interoperability. In: Sixth International Conference on Enterprise Information Systems, ICEIS 2004, pp. 287–295 (2004)

    Google Scholar 

  11. Haddad, S., Moreaux, P., Rampacek, S.: Client Synthesis for Web Services by Way of a Timed Semantics. In: Eighth International Conference on Enterprise Information Systems, ICEIS 2006, pp. 19–26 (2006)

    Google Scholar 

  12. Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Proceedings of the 14th Australasian Database Conference, ADC 2003. CRPIT, vol. 17, pp. 191–200. Australian Computer Society (2003)

    Google Scholar 

  13. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)

    MATH  Google Scholar 

  14. IBM, BEA Systems, Microsoft, SAP AG, and Siebel Systems. Business Process Execution Language for Web Services version 1.1., http://www.ibm.com/developerworks/library/specification/ws-bpel/

  15. JBoss. JBossAOP, http://www.jboss.org

  16. Juric, M.: BPEL and Java, http://www.theserverside.com/articles/article.tss?l=BPELJava

  17. Juric, M.: Business Process Execution Language for Web Services BPEL and BPEL4WS, 2nd edn. Packt Publishing (2006)

    Google Scholar 

  18. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  19. Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co. (2003)

    Google Scholar 

  20. Milner, R.: Communication and concurrency. Prentice-Hall, Inc., Englewood Cliffs (1989)

    MATH  Google Scholar 

  21. Spring. Spring AOP Platform, http://www.springsource.org/

  22. Staab, S., van der Aalst, W., Benjamins, V., Sheth, A.P., Miller, J.A., Bussler, C., Maedche, A., Fensel, D., Gannon, D.: Web Services: Been There, Done That? IEEE Intelligent Systems 18(1), 72–85 (2003)

    Article  Google Scholar 

  23. Tomaz, R.F., Ben Hmida, M., Monfort, V.: Concrete Solutions for Web Services Adaptability Using Policies and Aspects. Int. J. Cooperative Inf. Syst. (IJCIS) 15(3), 415–438 (2006)

    Article  Google Scholar 

  24. Turner, K.J.: Formalising Web Services. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 473–488. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  25. Verheecke, B., Cibran, M.A., Jonckers, V.: AOP for Dynamic Configuration and Management of Web Services. In: Jeckle, M., Zhang, L.-J. (eds.) ICWS-Europe 2003. LNCS, vol. 2853, pp. 137–151. Springer, Heidelberg (2003)

    Google Scholar 

  26. W3C. Web Services Description Language (WSDL) 1.1. W3C Note (March 15, 2001), http://www.w3.org/TR/wsdl

  27. W3C. XML Path Language (XPath) Version 1.0. W3C Recommendation (November 16, 1999), http://www.w3.org/TR/xpath

Download references

Author information

Authors and Affiliations

  1. LAMSADE, CNRS & Université Paris-Dauphine, France

    Mehdi Ben Hmida

  2. LSV, CNRS & ENS Cachan, France

    Serge Haddad

Authors
  1. Mehdi Ben Hmida
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Serge Haddad
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut Galilée, Laboratoire d’Informatique de l’Université Paris Nord, UMR CNRS 7030, 99 Avenue J.B. Clément, 93430, Villetaneuse, France

    Christine Choppy

  2. Department of Computer Science and Information Science, University of Pennsylvania, 3300 Walnut Street, 19104-6389, Philadelphia, PA, USA

    Oleg Sokolsky

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ben Hmida, M., Haddad, S. (2010). Client Synthesis for Aspect Oriented Web Services. In: Choppy, C., Sokolsky, O. (eds) Foundations of Computer Software. Future Trends and Techniques for Development. Monterey Workshop 2008. Lecture Notes in Computer Science, vol 6028. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12566-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-12566-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-12565-2

  • Online ISBN: 978-3-642-12566-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation