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 metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01235422
Contributor : Chouki Tibermacine <>
Submitted on : Monday, November 30, 2015 - 11:13:40 AM
Last modification on : Monday, July 15, 2019 - 2:36:09 PM
Long-term archiving on : Saturday, April 29, 2017 - 12:43:47 AM

File

SKetAl_SERA_2015.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

201

Files downloads

385