Enhancing the semantics of UML templates in OCL
Type de document :
Compte-rendu et recension critique d'ouvrage
Titre :
Aspectual templates in UML
Enhancing the semantics of UML templates in OCL
Enhancing the semantics of UML templates in OCL
Auteur(s) :
Vanwormhoudt, Gilles [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Institut TELECOM/TELECOM Lille1
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]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Institut TELECOM/TELECOM Lille1
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]
Titre de la revue :
Software and Systems Modeling
Pagination :
469-497
Éditeur :
Springer Verlag
Date de publication :
2017
ISSN :
1619-1366
Mot(s)-clé(s) en anglais :
Template Composition
Patterns
Aspects
Metamodeling
OCL
UML
Model Templates
Metamod- eling
Patterns
Aspects
Metamodeling
OCL
UML
Model Templates
Metamod- eling
Discipline(s) HAL :
Informatique [cs]/Génie logiciel [cs.SE]
Résumé en anglais : [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) ...
Lire la suite >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.Lire moins >
Lire la suite >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.Lire moins >
Langue :
Anglais
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.archives-ouvertes.fr/hal-01147804/document
- Accès libre
- Accéder au document
- http://hal.archives-ouvertes.fr/docs/00/84/68/60/PDF/main.pdf
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-01147804/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-01147804/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- manuscript_AT.pdf
- Accès libre
- Accéder au document
- main.pdf
- Accès libre
- Accéder au document