Skip to main content
SpringerLink
Log in

Automated Two-Phase Composition of Timed Web Services

  • Conference paper
  • First Online:
Perspectives of System Informatics (PSI 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9609))

  • 390 Accesses

Abstract

The paper extends PlanICS web services composition system by augumenting services with an explicit notion of time, and evolution of variables as a function of time. Its distinguishing feature is focusing not only on time constraints in services, but covering the whole service definition and composition process: providing an ontology with a strong type system on which definitions of typed stateless timed services are based, timed user queries, offers from service providers corresponding to instances of service types, and searching for services and offers matching the user query. A novel idea is that services express their timed behavior by producing timed automata as a part of their output. Abstract and concrete planning is described, dealing respectively with service types (including time dependencies), and with offer sets corresponding to these types.

This work has been supported by the National Science Centre under the grant No. 2011/01/B/ST6/01477.

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 EPUB and 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

Notes

  1. 1.

    For simplicity, we use type names rather than indices in the example. This is correct because there is only a single service of every type in CAP.

References

  1. Doliwa, D., Horzelski, W., Jarocki, M., Niewiadomski, A., Penczek, W., Polrola, A., Szreter, M., Zbrzezny, A.: PlanICS - a web service composition toolset. Fundam. Inform. 112, 47–71 (2011)

    MATH  Google Scholar 

  2. Roman, D., de Bruijn, J., Mocan, A., Lausen, H., Domingue, J., Bussler, C.J., Fensel, D.: WWW: WSMO, WSML, and WSMX in a nutshell. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 516–522. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. Kazhamiakin, R., Pandya, P., Pistore, M.: Timed modelling and analysis inweb service compositions. In: Proceedings of the First International Conference on Availability, Reliability and Security. ARES 2006, pp. 840–846 (2006)

    Google Scholar 

  4. Lallali, M., Zaidi, F., Cavalli, A.: Timed modeling of web services composition for automatic testing. In: Proceedings of the of SITIS 2007, pp. 417–426 (2007)

    Google Scholar 

  5. Bertoli, P., Pistore, M., Traverso, P.: Automated composition of web services via planning in asynchronous domains. Artif. Intell. 174, 316–361 (2010)

    Article  MathSciNet  Google Scholar 

  6. Guermouche, N., Godart, C.: Composition of web services: from qualitative to quantitative timed properties. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Services Foundations, pp. 399–422. Springer, Heidelberg (2014). Rapport LAAS nr 14012

    Chapter  Google Scholar 

  7. Stöhr, D., Glesner, S.: Automated composition of timed services by planning as model checking. In: Proceedings of ZEUS-12, pp. 34–41 (2012)

    Google Scholar 

  8. Du, Y., Tan, W., Zhou, M.: Timed compatibility analysis of web service composition: a modular approach based on Petri Nets. IEEE T. Autom. Sci. Eng. 11, 594–606 (2014)

    Article  Google Scholar 

  9. Jingjing, H., Zhu Wei, Z.X., Dongfeng, Z.: Web service composition automation based on timed automata. (Applied Mathematics and Information Sciences)

    Google Scholar 

  10. Dong, J., Liu, Y., Sun, J., Zhang, X.: Towards verification of computation orchestration. Formal Aspects of Comput. 26, 729–759 (2014)

    Article  MathSciNet  Google Scholar 

  11. Niewiadomski, A., Penczek, W.: SMT-based abstract temporal planning. In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Tunis, Tunisia, June 23–24, 2014, pp. 55–74 (2014)

    Google Scholar 

  12. Niewiadomski, A., Skaruz, J., Penczek, W., Szreter, M., Jarocki, M.: SMT versus genetic and OpenOpt algorithms: concrete planning in the PlanICS framework. Fundam. Inform. 135, 451–466 (2014)

    MathSciNet  MATH  Google Scholar 

  13. Zbrzezny, A., Półrola, A.: SAT-based reachability checking for timed automata with discrete data. Fundam. Inform. 70(1–2), 579–593 (2007)

    MathSciNet  MATH  Google Scholar 

  14. Behrmann, G., David, A., Larsen, K., Håkansson, J., Pettersson, P., Yi, W., Hendriks, M.: UPPAAL 4.0. In: QEST. IEEE Computer Society 125–126 (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland

    Maciej Szreter

Authors
  1. Maciej Szreter
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maciej Szreter .

Editor information

Editors and Affiliations

  1. Innopolis University, Innopolis, Russia

    Manuel Mazzara

  2. The University of Manchester, Manchester, United Kingdom

    Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Szreter, M. (2016). Automated Two-Phase Composition of Timed Web Services. In: Mazzara, M., Voronkov, A. (eds) Perspectives of System Informatics. PSI 2015. Lecture Notes in Computer Science(), vol 9609. Springer, Cham. https://doi.org/10.1007/978-3-319-41579-6_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-41579-6_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-41578-9

  • Online ISBN: 978-3-319-41579-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation