Abstract
Quantum Computing advances promote its incorporation into current computing systems. Because of this, a new type of system where quantum and classical computers coexist will be created. Using the Service-Oriented Computing model is possible to achieve this coexistence through hybrid (quantum-classical) service applications. As it occurs with current service applications, an important challenge is the placement of its services which consists of obtaining an optimal deployment of the application’s services along a computing distributed infrastructure. Currently, this problem can be resolved in classical applications with existing tools and methodologies. However, for this new type of hybrid (quantum-classical) service application, there is a lack of tools and techniques that consider the coexistence of both computing models and allow solving this placement problem. To address it, this paper presents an evaluation system to tackle the placement problem for (quantum-classical) service applications using model-checking techniques and utility theory. As a result, an optimal cost-performance deployment configuration is obtained by adapting and extending current techniques in quantitative verification and constraint solving.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Piattini, M., et al.: The talavera manifesto for quantum software engineering and programming. In: QANSWER, pp. 1–5 (2020)
Salm, M., Barzen, J., Breitenbücher, U., Leymann, F., Weder, B., Wild, K.: The NISQ analyzer: automating the selection of quantum computers for quantum algorithms. In: Symposium and Summer School on Service-Oriented Computing, pp. 66–85. Springer (2020)
Gaitan, F.: Finding flows of a navier-stokes fluid through quantum computing. npj Quantum Inf. 6, 1–6 (2020). https://doi.org/10.1038/s41534-020-00291-0, https://www.nature.com/articles/s41534-020-00291-0
Valencia, D., Garcia-Alonso, J., Rojo, J., Moguel, E., Berrocal, J., Murillo, J.M.: Hybrid classical-quantum software services systems: Exploration of the rough edges. In: International Conference on the Quality of Information and Communications Technology, pp. 225–238. Springer (2021)
Aparicio-Morales, A.M., Herrera, J.L., Moguel, E., Berrocal, J., Garcia-Alonso, J., Murillo, J.M.: Minimizing deployment cost of hybrid applications. In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), vol. 02, pp. 191–194 (2023). https://doi.org/10.1109/QCE57702.2023.10209
Moguel, E., Rojo, J., Valencia, D., Berrocal, J., Garcia-Alonso, J., Murillo, J.M.: Quantum service-oriented computing: current landscape and challenges. Software Qual. J. 30(4), 983–1002 (2022)
Gong, C., Liu, J., Zhang, Q., Chen, H., Gong, Z.: The characteristics of cloud computing. In: 2010 39th International Conference on Parallel Processing Workshops, pp. 275–279 (2010). https://doi.org/10.1109/ICPPW.2010.45
Salaht, F.A., Desprez, F., Lebre, A.: An overview of service placement problem in fog and edge computing. ACM Comput. Surv. (CSUR) 53(3), 1–35 (2020)
Cámara, J., Garlan, D., Schmerl, B.: Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. J. Syst. Softw. 152, 33–49 (2019). https://doi.org/10.1016/J.JSS.2019.02.055
Herrera, J.L., Galán-Jimnez, J., Garcia-Alonso, J., Berrocal, J., Murillo, J.M.: Joint optimization of response time and deployment cost in next-gen IoT applications. IEEE Internet Things J. 10(5), 3968–3981 (2022)
Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R., et al.: Handbook of Model Checking, vol. 10. Springer (2018)
Fishburn, P.C.: Utility theory. Manage. Sci. 14(5), 335–378 (1968)
Abbas, A.E., Cadenbach, A.H.: On the use of utility theory in engineering design. IEEE Syst. J. 12(2), 1129–1138 (2016)
Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28–June 2, 2007, Advanced Lectures, pp. 220–270 (2007)
Shaw, M., Garlan, D.: Software Architecture - Perspectives on An Emerging Discipline. Prentice Hall (1996)
Cámara, J.: Haiq: synthesis of software design spaces with structural and probabilistic guarantees In: Proceedings of the 8th International Conference on Formal Methods in Software Engineering, pp. 22–33 (2020)
Sivarajah, S., Dilkes, S., Cowtan, A., Simmons, W., Edgington, A., Duncan, R.: t\(|\) ket\(>\): a retargetable compiler for NISQ devices. Quantum Sci. Technol. 6(1), 014003 (2020)
JavadiAbhari, A., et al.: Scaffcc: a framework for compilation and analysis of quantum computing programs. In: Proceedings of the 11th ACM Conference on Computing Frontiers, pp. 1–10 (2014)
Romero-Alvarez, J., et al.: Quantum circuit scheduler for QPUs usage optimization. arXiv preprint arXiv:2404.01055 (2024)
Alvarado-Valiente, J., Romero-Álvarez, J., Garcia-Alonso, J., Murillo, J.M.: A guide for quantum web services deployment. In: International Conference on Web Engineering, pp. 493–496. Springer (2022)
Nguyen, H.T., Usman, M., Buyya, R.: Qfaas: a serverless function-as-a-service framework for quantum computing. Futur. Gener. Comput. Syst. 154, 281–300 (2024)
Herrera, J.L., Galan-Jimenez, J., Garcia-Alonso, J., Berrocal, J., Murillo, J.M.: Joint optimization of response time and deployment cost in next-gen IoT applications. IEEE Internet Things J. 10, 3968–3981 (2023). https://doi.org/10.1109/JIOT.2022.3165646
Hu, Y., de Laat, C., Zhao, Z.: Optimizing service placement for microservice architecture in clouds. Appl. Sci. 9, 4663 (2019). https://doi.org/10.3390/APP9214663, https://www.mdpi.com/2076-3417/9/21/4663
Selimi, M., Cerda-Alabern, L., Sanchez-Artigas, M., Freitag, F., Veiga, L.: Practical service placement approach for microservices architecture. In: Proceedings - 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2017, pp. 401–410 (2017). https://doi.org/10.1109/CCGRID.2017.28
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2026 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Aparicio-Morales, Á.M., Garcia-Alonso, J., Cámara, J., Murillo, J.M. (2026). Hybrid (Quantum-Classical) Service Applications Deployment Configuration System. In: Kallel, S., et al. Service-Oriented Computing – ICSOC 2024 Workshops. ICSOC 2024. Lecture Notes in Computer Science, vol 15834. Springer, Singapore. https://doi.org/10.1007/978-981-96-7423-7_1
Download citation
DOI: https://doi.org/10.1007/978-981-96-7423-7_1
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-96-7422-0
Online ISBN: 978-981-96-7423-7
eBook Packages: Computer ScienceComputer Science (R0)Springer Nature Proceedings Computer Science
