Detecting Inconsistencies in Multi-View Models with Variability.

Lopez-Herrejon, Roberto Erick; Egyed, Alexander

doi:10.1007/978-3-642-13595-8_18

Detecting Inconsistencies in Multi-View Models with Variability.

by Roberto Erick 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:

Roberto Erick Lopez-Herrejon, Alexander Egyed, "Detecting Inconsistencies in Multi-View Models with Variability.", pp. 217-232, 2010.

Bibtex Entry:

@Conference{DBLP:conf/ecmdafa/Lopez-HerrejonE10,
  Title                    = {Detecting Inconsistencies in Multi-View Models with Variability.},
  Author                   = {Roberto Erick Lopez-Herrejon and Alexander Egyed},
  Booktitle                = {6th European Conference on Modelling Foundations and Applications (ECMFA), Paris, France},
  Year                     = {2010},
  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                     = {Detecting Inconsistencies in Multi-View Models With Variability:Conferences\\ECMFA 2010 - Detecting Inconsistencies in Multi-View Models With Variability\\Detecting Inconsistencies in Multi-View Models With Variability.pdf:PDF},
  Keywords                 = {consistency, FWF P21321-N15, FWF M1421-N15}
}