Enhancing the semantics of UML templates in OCL
Document type :
Compte-rendu et recension critique d'ouvrage
Title :
Aspectual templates in UML
Enhancing the semantics of UML templates in OCL
Enhancing the semantics of UML templates in OCL
Author(s) :
Vanwormhoudt, Gilles [Auteur]
Institut TELECOM/TELECOM Lille1
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Caron, Olivier [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Carre, Bernard [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Institut TELECOM/TELECOM Lille1
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Caron, Olivier [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Carre, Bernard [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Journal title :
Software and Systems Modeling
Pages :
469-497
Publisher :
Springer Verlag
Publication date :
2017
ISSN :
1619-1366
English keyword(s) :
Template Composition
Patterns
Aspects
Metamodeling
OCL
UML
Model Templates
Metamod- eling
Patterns
Aspects
Metamodeling
OCL
UML
Model Templates
Metamod- eling
HAL domain(s) :
Informatique [cs]/Génie logiciel [cs.SE]
English abstract : [en]
UML Templates allow to capture reusable models through parameterization. The construct is general enough to be used in many ways, ranging from the representation of generic components (such as Java generics or C++ templates) ...
Show more >UML Templates allow to capture reusable models through parameterization. The construct is general enough to be used in many ways, ranging from the representation of generic components (such as Java generics or C++ templates) to aspectual usage, including pattern-, aspect- and view-oriented modeling. We concentrate on this last usage and so-called aspectual templates which require that parameters must form a model of systems in which to inject new functionalities. Starting from this strict constraint, we derive an in-depth semantic enhancement of the standard. It is formalized as a fully UML-compliant interpretation in OCL of the template construct and its binding mechanism. In particular, this aspectual interpretation must be ensured in case of partial binding (not all parameters are valued). Partial binding of UML is a powerful technique which allows to obtain richer templates from the composition of other ones. As a major result, the present semantic enhancement is consistent with this capacity so that partial binding of aspectual templates produces aspectual templates. Finally, at an operational level, an algorithm for aspectual template (partial) binding operation is formulated and consequent reusable technology made available in EMF (Eclipse Modeling Framework) is presented.Show less >
Show more >UML Templates allow to capture reusable models through parameterization. The construct is general enough to be used in many ways, ranging from the representation of generic components (such as Java generics or C++ templates) to aspectual usage, including pattern-, aspect- and view-oriented modeling. We concentrate on this last usage and so-called aspectual templates which require that parameters must form a model of systems in which to inject new functionalities. Starting from this strict constraint, we derive an in-depth semantic enhancement of the standard. It is formalized as a fully UML-compliant interpretation in OCL of the template construct and its binding mechanism. In particular, this aspectual interpretation must be ensured in case of partial binding (not all parameters are valued). Partial binding of UML is a powerful technique which allows to obtain richer templates from the composition of other ones. As a major result, the present semantic enhancement is consistent with this capacity so that partial binding of aspectual templates produces aspectual templates. Finally, at an operational level, an algorithm for aspectual template (partial) binding operation is formulated and consequent reusable technology made available in EMF (Eclipse Modeling Framework) is presented.Show less >
Language :
Anglais
Popular science :
Non
Collections :
Source :
Files
- https://hal.archives-ouvertes.fr/hal-01147804/document
- Open access
- Access the document
- http://hal.archives-ouvertes.fr/docs/00/84/68/60/PDF/main.pdf
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-01147804/document
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-01147804/document
- Open access
- Access the document
- document
- Open access
- Access the document
- manuscript_AT.pdf
- Open access
- Access the document
- main.pdf
- Open access
- Access the document