nach oben

Erschienen in:

2021 | OriginalPaper | Buchkapitel

Formal Quality of Service Analysis in the Service Selection Problem

verfasst von : Agustín Eloy Martinez-Suñé

Erschienen in: Service-Oriented Computing – ICSOC 2020 Workshops

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach

Nächstes Kapitel A Crowdsourcing-Based Knowledge Graph Construction Platform

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

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_4CrossRefMATH

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

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.1995394CrossRef

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

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

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.003CrossRef

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

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_17CrossRef

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_7CrossRef

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_13CrossRef

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_12CrossRef

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:1016547000822CrossRefMATH

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.17CrossRef

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.11CrossRef

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

Titel: Formal Quality of Service Analysis in the Service Selection Problem
verfasst von: Agustín Eloy Martinez-Suñé
Verlag: Springer International Publishing
Buch: Service-Oriented Computing – ICSOC 2020 Workshops
Print ISBN: 978-3-030-76351-0

Electronic ISBN: 978-3-030-76352-7

Copyright-Jahr: 2021
DOI: https://doi.org/10.1007/978-3-030-76352-7_8

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner