An OCL formulation of UML2 template binding

Olivier Caron 1 Bernard Carré 1, 2 Alexis Muller 2, 3 Gilles Vanwormhoudt 1, 2
1 COCOA - Composition de modèles pour l'ingénierie logicielle
LIFL - Laboratoire d'Informatique Fondamentale de Lille
3 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : After being considered only as documentation for a long time, models are gaining more and more importance in the software development lifecycle, as full software artefacts. The UML standard contributes a lot to this mutation, with the identification and the structuration of models space dimensions and constructs. Models can nowadays be explicitly manipulated through metamodeling techniques, dedicated tools or processes such as model transformation chains. This is Model Driven Engineering. Once it is clear that models are full software ingredients, we are faced with new problems (needs!) such as the possibility of their reusability and composability. As a consequence, specific constructs are introduced in order to facilitate this, such as the template notion initiated by UML1.3. Applications of this notion are growing more and more so that it was deeply revisited and strengthened in UML2. Though, its specification still lacks precision, particularly concerning the binding mechanism that allows to obtain models from templates. We propose a set of OCL constraints which strengthens the definition and helps in verifying the correctness of resulting models. These constraints apply to the UML2 metamodel and were implemented in an OCL verifier that we integrated in the Eclipse environment.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00714246
Contributor : Bernard Carré <>
Submitted on : Tuesday, July 3, 2012 - 4:57:11 PM
Last modification on : Thursday, February 21, 2019 - 10:52:50 AM

Identifiers

Citation

Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt. An OCL formulation of UML2 template binding. 7th International Conference on the Unified Modeling Language, Oct 2004, Lisbon, Portugal. pp.27-40, ⟨10.1007/978-3-540-30187-5_3⟩. ⟨hal-00714246⟩

Share

Metrics

Record views

203