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.

• Type: Conference
• Year: 2010
• Where: ECMDAFA
• Authors: Roberto Erick Lopez-Herrejon, Alexander Egyed
• Keywords: Common Modeling Practice, Consistency Checking Mechanisms, ECMDAFA 2010, Hardware, Product Line