Skip to Main content Skip to Navigation
Conference papers

Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs

Sahar Kallel 1, 2 Chouki Tibermacine 2 Bastien Tramoni 2 Christophe Dony 2 
2 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : In order to make explicit and tangible their design choices, software developers integrate, in their applications' models, constraints that their models and their implemetations should satisfy. Various environments enable constraint checking during the modeling stage, but in most cases they do not generate code that would enable the checking of these constraints during the implementation stage. It turns out that this is possible in a number of cases. Environments that provide this functionality only offer it for functional constraints (related to the states of objects in applications) and not for architectural ones (related to the structure of applications). Considering this limitation, we describe in this paper a system that generates metaprograms starting from architecture constraints, written in OCL at the metamodel level, and associated to a specific UML model of an application. These metaprograms enable the checking of these constraints at runtime.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Chouki Tibermacine Connect in order to contact the contributor
Submitted on : Monday, November 30, 2015 - 11:13:40 AM
Last modification on : Friday, August 5, 2022 - 3:03:19 PM
Long-term archiving on: : Saturday, April 29, 2017 - 12:43:47 AM


Files produced by the author(s)




Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony. Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs. SERA: Software Engineering Research, Management and Applications, May 2015, Hammamet, Tunisia. pp.213-226, ⟨10.1007/978-3-319-23509-7_15⟩. ⟨lirmm-01235422⟩



Record views


Files downloads