Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Value-Added Web Services Composition Using Automatic Program Synthesis

  • Conference paper
  • First Online:
Web Services, E-Business, and the Semantic Web (WES 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2512))

Abstract

The number of products and services available over the Internet increases dramatically during the last years and it is already beyond the human ability to analyze and combine them efficiently. At the same time if we consider works in software engineering (and, in particular, in component-based system development) then we can find quite strong similarity in problem description. The web services can be treated in a way similar to software components and service composition can be considered as problem of software synthesis and composition. Basic idea of our approach is applying the software synthesis and composition methods to value added web services composition. We also describe some technical details within the approach, in particular, a web service description language and a program synthesis method.

Revised June, 2002 for inclusion in WES processdings

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. Anupriya Ankolekar et al. Daml-s: Semantic markup for web services. In Proceedings of the International Semantic Web Workshop, 2001.

    Google Scholar 

  2. B. Benatallah, M. Dumas, M.C Fauvet, and F. Rabhi. Towards patterns of web services composition. Technical report, The University of New South Wales, November 2001.

    Google Scholar 

  3. James L. Caldwell. Moving proofs-as-programs into practice. In The twelfth IEEE International Automated Software Engineering Conference, 1997.

    Google Scholar 

  4. Fabio Casati, Mehmet Sayal, and Ming-Chien Shan. Developing e-services for composing e-services. In K.R. Dittrich, A. Geppert, and M.C. Norrie, editors, Proceeding of 13th Int. Conference on Advanced Information Systems Engineering (CAiSE), Interlaken, Switzerland. Springer Verlag, June 2001.

    Google Scholar 

  5. F. Casati, S. Ilnicki, L. Jin, V. Krishnamoorthy, and M. Shan. Adaptive and dynamic service composition in eflow. In Benkt Wangler and Lars Bergman, editors, Proceeding of 12th Int. Conference on Advanced Information Systems Engineering (CAiSE), Stockholm, Sweden. Springer Verlag, June 2000.

    Google Scholar 

  6. DAML-S Coalition. Daml-s 0.6 draft release. http://www.daml.org/services/daml-s/2001/10/, december 2001.

  7. R. Doorenbos, O. Etzioni, and D. Weld. A scalable comparison-shopping agent for the world wide web. In Proceedings of the First International Conference on Autonomous Agent(Agent’ 97), Marina Del Rey, CA, February 1997.

    Google Scholar 

  8. R. Guttman, A. Moukas, and P. Maes. Agent-mediated electronic commerce: A survey. Knowledge Engineering Review, 1998.

    Google Scholar 

  9. IBM. Web Services Flow Language(WSFL 1.0).

    Google Scholar 

  10. Sven Lammermann. Runtime Service Composition via Logic-Based Program Synthesis. PhD thesis, Department of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm, 2002.

    Google Scholar 

  11. Mihhail Matskin and Enn Tyugu. Structural synthesis of programs and its extensions. Computing and Informatics Journal, 20:1–25, 2001.

    MATH  MathSciNet  Google Scholar 

  12. Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, and Katia Sycara. Semantic matching of web services capabilities. In First International Semantic Web Conference (ISWC), Sardinia, Italy, June 2002.

    Google Scholar 

  13. John J. Penix. Automated Component Retrieval and Adaptation Using Formal Specifications. PhD thesis, Division of Research and Advanced Studies of the University of Cincinnati, 1998.

    Google Scholar 

  14. H. Schuster, D. Georgakopoulos, A. Cichocki, and D. Baker. Modeling and composing service-based and reference processbased multi-enterprise processes. In Benkt Wangler and Lars Bergman, editors, Proceeding of 12th Int. Conference on Advanced Information Systems Engineering (CAiSE), Stockholm, Sweden. Springer Verlag, June 2000.

    Google Scholar 

  15. UDDI.org. Universal description, discovery and integration specification. http://www.uddi.org/specification.html.

  16. T. Uustalu, U. Kopra, V. Kotkas, M. Matskin, and E. Tyugu. The nut language report. Technical report, The Royal Institute of Technology(KTH), 1994.

    Google Scholar 

  17. W3C.org. Web services description language (wsdl) 1.1. http://www.w3.org/TR/wsdl.

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, Norwegian University of Science and Technology, N-7491, Trondheim, Norway

    Mihhail Matskin & Jinghai Rao

Authors
  1. Mihhail Matskin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jinghai Rao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Oracle Corporation, 500 Oracle Parkway, Redwood Shores, CA, 94065, USA

    Christoph Bussler

  2. Bell Labs, Lucent Technologies, 600 Mountain Avenue, Room 2D-510, Murray Hill, NJ, 07974, USA

    Richard Hull

  3. Department of Computer Science, Stanford University, Stanford, CA, 94305-9020, USA

    Sheila McIlraith

  4. School of Info. Technology and Elec. Engineering, The University of Queensland, Brisbane, Qld 4072, Australia

    Maria E. Orlowska

  5. Department of Electronic and Information Science, Politecnico di Milano, Piazza Leonardo da Vinci 32, 20133, Milan, Italy

    Barbara Pernici

  6. Infolab, Tilburg University, PO Box 90153, 5000, LE Tilburg, The Netherlands

    Jian Yang

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Matskin, M., Rao, J. (2002). Value-Added Web Services Composition Using Automatic Program Synthesis. In: Bussler, C., Hull, R., McIlraith, S., Orlowska, M.E., Pernici, B., Yang, J. (eds) Web Services, E-Business, and the Semantic Web. WES 2002. Lecture Notes in Computer Science, vol 2512. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36189-8_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-36189-8_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00198-0

  • Online ISBN: 978-3-540-36189-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation