SearcharxivSearch

arXiv subjects

Carlos Canal

Publications and source records attributed to Carlos Canal.

3 recordsLinked to original sources

QuantumX: an experience for the consolidation of Quantum Computing and Quantum Software Engineering as an emerging discipline

The first edition of the QuantumX track, held within the XXIX Jornadas de Ingenier\'ia del Software y Bases de Datos (JISBD 2025), brought together leading Spanish research groups working at the intersection of Quantum Computing and Software Engineering. The event served as a pioneering forum to explore how principles of software quality, governance, testing, orchestration, and abstraction can be adapted to the quantum paradigm. The presented works spanned diverse areas (from quantum service engineering and hybrid architectures to quality models, circuit optimization, and quantum machine learning), reflecting the interdisciplinary nature and growing maturity of Quantum Computing and Quantum Software Engineering. The track also fostered community building and collaboration through the presentation of national and Ibero-American research networks such as RIPAISC and QSpain, and through dedicated networking sessions that encouraged joint initiatives. Beyond reporting on the event, this article provides a structured synthesis of the contributions presented at QuantumX, identifies common research themes and engineering concerns, and outlines a set of open challenges and future directions for the advancement of Quantum Software Engineering. This first QuantumX track established the foundation for a sustained research community and positioned Spain as an emerging contributor to the European and global quantum software ecosystem.

cs.SE

Proceedings International Workshop on Component and Service Interoperability

This volume contains the proceedings of WCSI 2010, the International Workshop on Component and Service Interoperability. WCSI 2010 was held in Malaga (Spain) on June 29th, 2010 as a satellite event of the TOOLS 2010 Federated Conferences. The papers published in this volume tackle different issues that are currently central to our community, namely definition of expressive interface languages, formal models and approaches to software composition and adaptation, interface-based compatibility and substitutability, and verification techniques for distributed software.

cs.SE

Handling Data-Based Concurrency in Context-Aware Service Protocols

Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose an order in their execution if there exist data dependencies. In this work, we describe a model to formalise context-aware service protocols. We also present a composition language to handle dynamically the concurrent execution of protocols. This language addresses data dependency issues among several protocols concurrently executed on the same user device, using mechanisms based on data semantic matching. Our approach aims at assisting the user in establishing priorities between these dependencies, avoiding the occurrence of deadlock situations. Nevertheless, this process is error-prone, since it requires human intervention. Therefore, we also propose verification techniques to automatically detect possible inconsistencies specified by the user while building the data dependency set. Our approach is supported by a prototype tool we have implemented.

cs.SE