by Roberto E. Lopez-Herrejon, Alexander Egyed
Abstract:
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of crucial importance in MVM is consistency checking - the description and verification of semantic relationships amongst the views. Variability is the capacity of software artifacts to vary, and its effective management is a core tenet of the research in Software Product Lines (SPL). MVM has proven useful for developing one-of-a-kind systems; however, to reap the potential benefits of MVM in SPL it is vital to provide consistency checking mechanisms that cope with variability. In this paper we describe how to address this need by applying Safe Composition the guarantee that all programs of a product line are type safe. We evaluate our approach with a case study.
Reference:
Detecting Inconsistencies in Multi-View Models with Variability. (Roberto E. Lopez-Herrejon, Alexander Egyed), In Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA 2010), Paris, France (Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier, eds.), 2010.
Bibtex Entry:
@Conference{DBLP:conf/ecmdafa/Lopez-HerrejonE10,
author = {Roberto E. Lopez-Herrejon and Alexander Egyed},
title = {Detecting Inconsistencies in Multi-View Models with Variability.},
booktitle = {Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA 2010), Paris, France},
year = {2010},
editor = {Thomas Kühne and Bran Selic and Marie-Pierre Gervais and François Terrier},
pages = {217-232},
abstract = {Multi-View Modeling (MVM) is a common modeling practice that advocates
the use of multiple, different and yet related models to represent
the needs of diverse stakeholders. Of crucial importance in MVM is
consistency checking - the description and verification of semantic
relationships amongst the views. Variability is the capacity of software
artifacts to vary, and its effective management is a core tenet of
the research in Software Product Lines (SPL). MVM has proven useful
for developing one-of-a-kind systems; however, to reap the potential
benefits of MVM in SPL it is vital to provide consistency checking
mechanisms that cope with variability. In this paper we describe
how to address this need by applying Safe Composition the guarantee
that all programs of a product line are type safe. We evaluate our
approach with a case study.},
doi = {10.1007/978-3-642-13595-8_18},
file = {:Conferences\\ECMFA 2010 - Detecting Inconsistencies in Multi-View Models With Variability\\Detecting Inconsistencies in Multi-View Models With Variability-preprint.pdf:PDF},
keywords = {FWF P21321, FWF M1421},
}