RT Journal Article
T1 On the Modular Specification of NFPs: A Case Study
A1 Moreno-Delgado, Antonio
A1 Troya-Castilla, Javier
A1 Durán-Muñoz, Francisco Javier
A1 Vallecillo-Moreno, Antonio Jesús
K1 Informática
K1 Soporte lógico
AB The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for which no clear solution exists. However, in the case of Domain-Specific Languages some successful proposals are starting to emerge, combining model-driven techniques with aspect-weaving mechanisms. In this paper we show one of these approaches in practice, and present the implementation we have developed to fully support it. We apply our approach for the specification and monitoring of non-functional properties using observers to a case study, illustrating how generic observers defining non-functional properties can be defined in an independent manner. Then, correspondences between these observers and the domain-specific model of the system can be established, and then weaved into a unified system specification using ATL model transformation. Such a unified specification can also be analyzed in a natural way to obtain the required non-functional properties of the system.
PB Jornadas de Ingeniería del Software y Bases de Datos
YR 2013
FD 2013-09
LK http://hdl.handle.net/10630/5819
UL http://hdl.handle.net/10630/5819
LA eng
NO This work is partially funded by Research Projects TIN2011-23795 and TIN2011-15497-E.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026