Title
An OCL Formulation of UML2 Template Binding
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.
Year
DOI
Venue
2004
10.1007/978-3-540-30187-5_3
Lecture Notes in Computer Science
Keywords
Field
DocType
model driven engineering,object oriented,software development,metamodel,object constraint language,unified modelling language
Model transformation,Software engineering,Unified Modeling Language,Model-driven architecture,Computer science,Algorithm,Software development process,Object Constraint Language,Metamodeling,Reusability,Software development,Distributed computing
Conference
Volume
ISSN
Citations 
3273
0302-9743
7
PageRank 
References 
Authors
0.89
4
4
Name
Order
Citations
PageRank
Olivier Caron1339.03
Bernard Carré2379.23
Alexis Muller3527.48
Gilles Vanwormhoudt410815.60