Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2015

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

Sahar Kallel
  • Fonction : Auteur
  • PersonId : 973331
Bastien Tramoni
  • Fonction : Auteur
  • PersonId : 973332
Christophe Dony

Résumé

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.
Fichier principal
Vignette du fichier
SKetAl_SERA_2015.pdf (248.27 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-01235422 , version 1 (30-11-2015)

Identifiants

Citer

Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony. Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs. SNPD 2015 - 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, Jun 2015, Takamatsu, Japan. pp.213-226, ⟨10.1007/978-3-319-23509-7_15⟩. ⟨lirmm-01235422⟩
143 Consultations
296 Téléchargements

Altmetric

Partager

More