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.
Type de document :
Communication dans un congrès
SERA: Software Engineering Research, Management and Applications, May 2015, Hammamet, Tunisia. 13th International Conference on Software Engineering Research, Management and Applications (SERA 2015), Studies in Computational Intelligence (612), pp.213-226, 2015, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015. 〈http://sera2015.redcad.org/〉. 〈10.1007/978-3-319-23509-7_15〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01235422
Contributeur : Chouki Tibermacine <>
Soumis le : lundi 30 novembre 2015 - 11:13:40
Dernière modification le : jeudi 24 mai 2018 - 15:59:22
Document(s) archivé(s) le : samedi 29 avril 2017 - 00:43:47

Fichier

SKetAl_SERA_2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. 13th International Conference on Software Engineering Research, Management and Applications (SERA 2015), Studies in Computational Intelligence (612), pp.213-226, 2015, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015. 〈http://sera2015.redcad.org/〉. 〈10.1007/978-3-319-23509-7_15〉. 〈lirmm-01235422〉

Partager

Métriques

Consultations de la notice

146

Téléchargements de fichiers

207