Product Line Variability Modeling Based on Model Difference and Merge

Author(s):  
Kunming Nie ◽  
Li Zhang ◽  
Zengtao Geng
2006 ◽  
pp. 195-241 ◽  
Author(s):  
Joachim Bayer ◽  
Sebastien Gerard ◽  
Øystein Haugen ◽  
Jason Mansell ◽  
Birger Møller-Pedersen ◽  
...  

2012 ◽  
Vol 22 ◽  
pp. 134-140
Author(s):  
María Karen Cortés-Verdín ◽  
María Lucía López-Araujo ◽  
Jorge Octavio Ocharán-Hernández

Software Product Lines (SPL) take economic advantage of commonality and variability among a set of software systems that exist within a specific domain. Therefore, Software Product Line Engineering defines a series of processes for the development of a SPL that consider commonality and variability during the software life cycle. Variability modeling is therefore an essential activity in a Software Product Line Engineering approach. There are several techniques for variability modeling nowadays. COVAMOF stands out among them since it allows the modeling of variation points, variants and dependencies as first class elements. COVAMOF, therefore, provides an uniform manner for representing such concepts in different levels of abstraction within a SPL. In order to take advantage of COVAMOF benefits, it is necessary to have a computer aided tool, otherwise variability modeling and management canbe a hard tasks for the software engineer. This paper presents the development of a Eclipse plug-in for COVAMOF.


2013 ◽  
Vol 9 (1) ◽  
pp. 995-1003
Author(s):  
Cristian Martinez ◽  
Silvio Gonnet ◽  
Horacio Leone

The software product line (SPL) paradigm is used for developing software system products from a set of reusable artifacts, known as platform. The Orthogonal Variability Modeling (OVM) is a technique for representing and managing the variability and composition of those artifacts for deriving products in the SPL. Nevertheless, OVM does not support the formal analysis of the models. For example, the detection of dead artifacts (i.e., artifcats that cannot be included in any product) is an exhaustive activity which implies the verification of relationships between artifacs, artifacts parents, and so on. In this work, we introduce a Petri nets approach for representing and analyzing OVM models. The proposed net is built from elemental topologies that represents OVM concepts and relationships. Finally, we simulate the net and study their properties in order to avoid the product feasibility problems.


2013 ◽  
Vol 5 (2) ◽  
pp. 470-477
Author(s):  
Chiraz Bouzid ◽  
Naoufel Kraiem ◽  
Camille Salinesi

Dynamic software adaptability is one of the central features leveraged by autonomic computing. However, developing software that changes its behavior at run time in response to dynamically varying user needs and resource constraints is a challenging task. With the emergence of mobile and service oriented computing, such variation is becoming increasingly common, and the need for adaptivity is increasing accordingly. Software product line engineering has proved itself as an efficient way to deal with varying user needs and resource constraints. In this paper we present an approach to specifying adaptive systems based on product line oriented technique such as variability modeling: we propose to combine goal modeling techniques to represent architectural and environmental variability, with constraint programming to provide the analyst with a means to identify the system variants best suited to the various environmental contexts that a system might encounter at runtime.


Sign in / Sign up

Export Citation Format

Share Document