Exportar Publicação

A publicação pode ser exportada nos seguintes formatos: referência da APA (American Psychological Association), referência do IEEE (Institute of Electrical and Electronics Engineers), BibTeX e RIS.

Exportar Referência (APA) 
almeida, J., Brito e Abreu, F. & Fernandes, João Paulo (2026). USE2QUBO: A USE plugin for Model-Driven QUBO Formulation. MODELS Companion '26: Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (pp. 1195?1204). ACM. https://doi.org/10.1145/3837062.3839081
Exportar Referência (IEEE) 
J. C. Almeida et al.,  "USE2QUBO: A USE plugin for Model-Driven QUBO Formulation", in MODELS Companion '26: Proc. of the ACM/IEEE 29th Int. Conf. on Model Driven Engineering Languages and Systems, Málaga, Spain, ACM, 2026, pp. 1195-1204
Exportar BibTeX 
@inproceedings{almeida2026_1791391369992,
	author = "almeida, J. and Brito e Abreu, F. and Fernandes, João Paulo",
	title = "USE2QUBO: A USE plugin for Model-Driven QUBO Formulation",
	booktitle = "MODELS Companion '26: Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems",
	year = "2026",
	editor = "",
	volume = "",
	number = "",
	series = "",
	doi = "10.1145/3837062.3839081",
	pages = "1195-1204",
	publisher = "ACM",
	address = "Málaga, Spain",
	organization = "",
	url = "https://quantum-modeling-workshop.github.io/"
}
Exportar RIS 
TY  - CPAPER
TI  - USE2QUBO: A USE plugin for Model-Driven QUBO Formulation
T2  - MODELS Companion '26: Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems
AU  - almeida, J.
AU  - Brito e Abreu, F.
AU  - Fernandes, João Paulo
PY  - 2026
SP  - 1195-1204
DO  - 10.1145/3837062.3839081
CY  - Málaga, Spain
UR  - https://quantum-modeling-workshop.github.io/
AB  - Formulating combinatorial optimisation problems for quantum hardware usually requires encoding conditions as QUBO penalty terms, a task demanding expertise most domain practitioners lack. Despite this difficulty, no tool-assisted method exists to translate a domain model into a QUBO formulation, so practitioners must still hand-craft their hamiltonians.

We address this gap with USE2QUBO, a plugin for USE OCL, a Unified Modelling Language (UML)-based specification environment that automates Quadratic Unconstrained Binary Optimisation (QUBO) hamiltonians and Q matrix derivation directly from a domain model, applying AutoQUBO sampling against USE’s own OCL evaluator.

Object Constraint Language (OCL) invariants, written at the level of domain entities, map to QUBO penalty terms via a systematic sampling method heavily inspired by the work in AutoQUBO [13], without requiring expertise at the modelling stage.

We applied the plugin to two structurally different proof-of-concept problems: a waste collection routing problem and a maximum clique selection problem to demonstrate how the plugin generated hamiltonians for each problem.

All OCL invariants from each example scenario are validated with the USE tool [11]; both problems were able to map to QUBO hamiltonians, and both Q matrices were derived by the plugin with no coding required.

Our approach raises the abstraction level above code-level tools and allows domain experts with some software engineering background to derive QUBO expressions from their domain-specific problems by leveraging software modelling and OCL.
ER  -