Title :

An OCL formulation of UML2 template binding

Author(s) :

Caron, Olivier [Auteur]
Composition de modèles pour l'ingénierie logicielle [COCOA]
Carre, Bernard [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Composition de modèles pour l'ingénierie logicielle [COCOA]
Muller, Alexis [Auteur]
Contributions of the Data parallelism to real time [DART]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Vanwormhoudt, Gilles [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Composition de modèles pour l'ingénierie logicielle [COCOA]

Conference title :

7th International Conference on the Unified Modeling Language

City :

Lisbon

Country :

Portugal

Start date of the conference :

2004-10-11

Journal title :

Lecture notes in computer science

Publisher :

Springer-Verlag

Publication date :

2004

English keyword(s) :

Model driven architecture
Object constraint language
Object oriented
Software development
Unified modelling language
Software reusability
Metamodel

HAL domain(s) :

Informatique [cs]/Génie logiciel [cs.SE]

English abstract : [en]

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, ...
Show more >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.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL