Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project

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.

Download Full-text

Domain-specific Adaptations of Product Line Variability Modeling

IFIP — The International Federation for Information Processing - Situational Method Engineering: Fundamentals and Experiences ◽

10.1007/978-0-387-73947-2_19 ◽

2007 ◽

pp. 238-251 ◽

Cited By ~ 10

Author(s):

Deepak Dhungana ◽

Paul Grünbacher ◽

Rick Rabiser

Keyword(s):

Product Line ◽

Domain Specific ◽

Variability Modeling

Download Full-text

A Petri Net approach for representing Orthogonal Variability Models

INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY ◽

10.24297/ijct.v9i1.4158 ◽

2013 ◽

Vol 9 (1) ◽

pp. 995-1003

Author(s):

Cristian Martinez ◽

Silvio Gonnet ◽

Horacio Leone

Keyword(s):

Petri Nets ◽

Petri Net ◽

Formal Analysis ◽

Software Product Line ◽

Product Line ◽

Software System ◽

Variability Modeling ◽

Software Product

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.

Download Full-text