Sciweavers

Share
ECMDAFA
2010
Springer

Detecting Inconsistencies in Multi-View Models with Variability

11 years 6 months ago
Detecting Inconsistencies in Multi-View Models with Variability
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.
Roberto Erick Lopez-Herrejon, Alexander Egyed
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where ECMDAFA
Authors Roberto Erick Lopez-Herrejon, Alexander Egyed
Comments (0)
books