Detecting Inconsistencies in Multi-View Models with Variability
Detecting Inconsistencies in Multi-View Models with Variability
复制标题
检测具有可变性的多视图模型中的不一致
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Alexander Egyed
中科院分区：
文献类型：
--
作者：
R. Lopez;Alexander Egyed
多视图建模（Multi-View Modeling，MVM）是一种常见的建模实践，提倡使用多个不同但相关的模型来表示不同涉众的需求。在MVM中至关重要的是一致性检查-视图之间语义关系的描述和验证。可变性是软件产品的可变能力，对其进行有效的管理是软件产品线研究的核心原则。MVM已被证明对开发独一无二的系统很有用;然而，要在SPL中获得MVM的潜在好处，提供科普可变性的一致性检查机制至关重要。在本文中，我们描述了如何解决这一需要，通过应用安全组合-保证所有程序的产品线是类型安全的。我们用案例研究来评估我们的方法。
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.