Towards Enforcing Structural OCL Constraints using Constraint Programming

Matthew Coyle, Théo Le Calvar, Samir Loudni, Massimo Tisi. Towards Enforcing Structural OCL Constraints using Constraint Programming. In Jiman Hong, Sebastiano Battiato, Christian Esposito 0001, Juw Won Park, Adam Przybylek, editors, Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025. pages 1692-1701, ACM, 2025. [doi]

Abstract

Abstract is missing.