Skip to main content
SpringerLink
Log in

Formal Quality of Service Analysis in the Service Selection Problem

  • Conference paper
  • First Online:
Service-Oriented Computing – ICSOC 2020 Workshops (ICSOC 2020)

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

Included in the following conference series:

  • 1927 Accesses

Abstract

The Service Selection problem has driven a lot of attention from the Service-Oriented community in the past few decades. Rapidly evolving cloud computing technologies foster the vision of a Service-Oriented Computing paradigm where multiple providers offer specific functionalities as services that compete against each other to be automatically selected by service consumers. We present a research program that focuses on Quality of Service aware Service Selection. We discuss our vision and research methodology in the context of the state of the art of the topic and review the main contributions of our approach.

Research partly supported by the European Unions Horizon 2020 research and innovation program under the Marie Skodowska-Curie grant agreement No 778233, and by Universidad de Buenos Aires by grant UBACyT 20020170100544BA.

Supervised by Carlos G. López Pombo.

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

References

  1. Al-Masri, E., Mahmoud, Q.H.: QoS-based discovery and ranking of web services. In: 2007 16th International Conference on Computer Communications and Networks, pp. 529–534, August 2007. https://doi.org/10.1109/ICCCN.2007.4317873

  2. Bjørner, D., Havelund, K.: 40 years of formal methods. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 42–61. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-06410-9_4

    Chapter  MATH  Google Scholar 

  3. Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.): Web Services Foundations. Springer, New York (2014). https://doi.org/10.1007/978-1-4614-7518-7

  4. De Moura, L., Bjørner, N.: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9), 69–77 (2011). https://doi.org/10.1145/1995376.1995394

    Article  Google Scholar 

  5. Glinz, M.: On non-functional requirements. In: 15th IEEE International Requirements Engineering Conference (RE 2007), pp. 21–26, October 2007. https://doi.org/10.1109/RE.2007.45

  6. Grünbaum, B.: Convex Polytopes. Graduate Texts in Mathematics, Springer, New York (2003). https://doi.org/10.1007/978-1-4613-0019-9

  7. Hayyolalam, V., Pourhaji Kazem, A.A.: A systematic literature review on QoS-aware service composition and selection in cloud environment. J. Netw. Comput. Appl. 110, 52–74 (2018). https://doi.org/10.1016/j.jnca.2018.03.003

    Article  Google Scholar 

  8. Ishikawa, F.: QoS-based service selection. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Services Foundations, pp. 375–397. Springer, New York (2014). https://doi.org/10.1007/978-1-4614-7518-7_15

  9. Klein, A., Ishikawa, F., Bauer, B.: A probabilistic approach to service selection with conditional contracts and usage patterns. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC/ServiceWave 2009. LNCS, vol. 5900, pp. 253–268. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-10383-4_17

    Chapter  Google Scholar 

  10. Kreiker, J., Tarlecki, A., Vardi, M.Y., Wilhelm, R.: Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482) (2011). https://doi.org/10.4230/DAGMAN.1.1.21. 20 pages

  11. Martín-Díaz, O., Ruiz-Cortés, A., Durán, A., Benavides, D., Toro, M.: Automating the procurement of web services. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 91–103. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-24593-3_7

    Chapter  Google Scholar 

  12. Martinez Suñé, A.E., Lopez Pombo, C.G.: Automatic quality-of-service evaluation in service-oriented computing. In: Riis Nielson, H., Tuosto, E. (eds.) COORDINATION 2019. LNCS, vol. 11533, pp. 221–236. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-22397-7_13

    Chapter  Google Scholar 

  13. Martinez Suñé, A.E., Lopez Pombo, C.G.: Quality of service ranking by quantifying partial compliance of requirements. In: Bliudze, S., Bocchi, L. (eds.) COORDINATION 2020. LNCS, vol. 12134, pp. 181–189. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-50029-0_12

    Chapter  Google Scholar 

  14. Moghaddam, M., Davis, J.G.: Service selection in web service composition: a comparative review of existing approaches. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Services Foundations, pp. 321–346. Springer, New York (2014). https://doi.org/10.1007/978-1-4614-7518-7_13

  15. O’Sullivan, J., Edmond, D., ter Hofstede, A.: What’s in a service? Distrib. Parallel Databases 12(2), 117–133 (2002). https://doi.org/10.1023/A:1016547000822

    Article  MATH  Google Scholar 

  16. Rosario, S., Benveniste, A., Haar, S., Jard, C.: Probabilistic QoS and soft contracts for transaction-based web services orchestrations. IEEE Trans. Serv. Comput. 1(4), 187–200 (2008). https://doi.org/10.1109/TSC.2008.17

    Article  Google Scholar 

  17. Shoukry, Y., Nuzzo, P., Sangiovanni-Vincentelli, A.L., Seshia, S.A., Pappas, G.J., Tabuada, P.: SMC: satisfiability modulo convex optimization. In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, New York, NY, USAm pp. 19–28. Association for Computing Machinery, April 2017. https://doi.org/10.1145/3049797.3049819

  18. Zeng, L., Benatallah, B., Ngu, A., Dumas, M., Kalagnanam, J., Chang, H.: QoS-aware middleware for Web services composition. IEEE Trans. Software Eng. 30(5), 311–327 (2004). https://doi.org/10.1109/TSE.2004.11

    Article  Google Scholar 

  19. Zheng, H., Yang, J., Zhao, W.: Probabilistic QoS aggregations for service composition. ACM Trans. Web 10(2), 12:1–12:36 (2016). https://doi.org/10.1145/2876513

  20. Zheng, Z., Lyu, M.R.: WS-DREAM: a distributed reliability assessment mechanism for web services. In: 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN), pp. 392–397 (2008). https://doi.org/10.1109/DSN.2008.4630108

Download references

Author information

Authors and Affiliations

  1. Departamento de Computación, Universidad de Buenos Aires, Buenos Aires, Argentina

    Agustín Eloy Martinez-Suñé

Authors
  1. Agustín Eloy Martinez-Suñé
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Agustín Eloy Martinez-Suñé .

Editor information

Editors and Affiliations

  1. Zayed University, Dubai, United Arab Emirates

    Hakim Hacid

  2. Zayed University, Dubai, United Arab Emirates

    Fatma Outay

  3. University of New South Wales, Sydney, NSW, Australia

    Hye-young Paik

  4. Huawei Paris Research Center, Paris, France

    Amira Alloum

  5. National Research Council C.N.R., Pisa, Italy

    Marinella Petrocchi

  6. Deakin University, Waurn Ponds, VIC, Australia

    Mohamed Reda Bouadjenek

  7. Macquarie University, Sydney, NSW, Australia

    Amin Beheshti

  8. Rochester Institute of Technology, Rochester, NY, USA

    Xumin Liu

  9. Université de Paris, Paris, France

    Abderrahmane Maaradji

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Martinez-Suñé, A.E. (2021). Formal Quality of Service Analysis in the Service Selection Problem. In: Hacid, H., et al. Service-Oriented Computing – ICSOC 2020 Workshops. ICSOC 2020. Lecture Notes in Computer Science(), vol 12632. Springer, Cham. https://doi.org/10.1007/978-3-030-76352-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-76352-7_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-76351-0

  • Online ISBN: 978-3-030-76352-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation