This volume contains the proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2013), 23-25 January 2013, hosted by the ISTI-CNR, Pisa, Italy. Previous editions were held in Leipzig (2012), Namur (2011), Linz (2010), Sevilla (2009), Essen (2008) and Limerick (2007).
The VaMoS workshop series aims at bringing together researchers from different areas dedicated to mastering variability to discuss advantages, drawbacks, and complementarities of various approaches and to present new results for mastering variability throughout the whole life cycle of systems, system families, and product lines. VaMoS has always been a highly interactive event that is one of the major venues of the variability modelling community, where most of the core researchers in the field meet and exchange ideas.
Proceeding Downloads
CVL: common variability language or chaos, vanity and limitations?
What is CVL - the standardization initiative on variability modeling in OMG? As initiator and organizer of this initiative Ø. Haugen will talk about what CVL is, what the language status is, and what will happen next. He will argue why CVL will be ...
Taming the uncertainty: variability as a means for predictable system evolution
Software systems are increasingly request to evolve during their life time. Evolutions cannot always be anticipated or it might not be convenient to anticipate all possible system changes. This introduces levels of uncertainty in the predictable ...
Towards modeling and analyzing variability in evolving software ecosystems
A software ecosystem (SECO) encompasses a set of interdependent software systems where individual products are created by combining a common software platform with variable extensions. Examples are the SECOs surrounding Eclipse or Android. Due to ...
First-class variability modeling in Matlab/Simulink
Modern cars exist in an vast number of variants. Thus, variability has to be dealt with in all phases of the development process, in particular during model-based development of software-intensive functionality using Matlab/Simulink. Currently, ...
A design feature-based approach to deriving program code from features: a step towards feature-oriented software development
Feature-oriented software development is a software development paradigm that uses "features" as the first class objects in designing program instead of objects as with the object-orientation. Most of researches on feature-oriented software development ...
Predicting quality attributes of software product lines using software and network measures and sampling
Software product-line engineering aims at developing families of related products that share common assets to provide customers with tailor-made products. Customers are often interested not only in particular functionalities (i.e., features), but also ...
A survey of variability modeling in industrial practice
- Thorsten Berger,
- Ralf Rublack,
- Divya Nair,
- Joanne M. Atlee,
- Martin Becker,
- Krzysztof Czarnecki,
- Andrzej Wąsowski
Over more than two decades, numerous variability modeling techniques have been introduced in academia and industry. However, little is known about the actual use of these techniques. While dozens of experience reports on software product line ...
Integrating heterogeneous variability modeling approaches with invar
- Deepak Dhungana,
- Dominik Seichter,
- Goetz Botterweck,
- Rick Rabiser,
- Paul Grünbacher,
- David Benavides,
- José A. Galindo
There have been several proposals to describe the variability of software product lines by using modeling languages. In larger organizations or projects (e.g., multi product line environments) this can lead to a situation where multiple variability ...
Automated analysis of dependent feature models
Feature models specify valid combinations of features in software product lines. With dependent feature models (DFMs), we apply separation of concerns to feature models for two main benefits. First, we can modularize feature models into parts relevant ...
SMartyParser: a XMI parser for UML-based software product line variability models
Variability management is an important issue for the software-intensive systems domain. Such an issue is essential for the success of software product line (SPL) adoption strategies. Although it is a well-discussed subject in the SPL community, there is ...
Feature-oriented language families: a case study
Software-language engineering is gaining momentum in research and practice, but it faces many challenges regarding language evolution, reuse, and variation. We propose language families, a feature-oriented approach to language engineering inspired by ...
CAptLang: a language for context-aware and adaptable business processes
Run-time adaptability is a key feature of dynamic business environments, where the processes need to be constantly refined and restructured to deal with context changes. In this paper, we present CAptLang, a language to model context-aware and adaptable ...
Adding configuration to the choice calculus
The choice calculus, a formal language for representing variation in software artifacts, features syntactic forms to map dimensions of variability to local choices between source code variants. However, the process of selecting alternatives from ...
The PLA model: on the combination of product-line analyses
Product-line analysis has received considerable attention in the last decade. As it is often infeasible to analyze each product of a product line individually, researchers have developed analyses, called variability-aware analyses, that consider and ...
Ensuring consistency of feature-based decisions with a business rule system
Feature Models are widely used in some domains to represent variabilities and support decisions that configure a specific combination of domain elements. A feature configuration is created by selecting a features set that satisfies constraints imposed ...
Using feature model knowledge to speed up the generation of covering arrays
Combinatorial Interaction Testing has shown great potential for effectively testing Software Product Lines (SPLs). An important part of this type of testing is determining a subset of SPL products in which interaction errors are more likely to occur. ...
Feature-oriented software evolution
In this paper, we develop a vision of software evolution based on a feature-oriented perspective. From the fact that features provide a common ground to all stakeholders, we derive a hypothesis that changes can be effectively managed in a feature-...
Model-driven planning and monitoring of long-term software product line evolution
In order to increase the level of efficiency and automation, we propose a conceptual model and corresponding tool support to plan and manage the systematic evolution of software-intensive systems, in particular software product lines (SPL). We support ...
Mining complex feature correlations from software product line configurations
As a Software Product Line (SPL) evolves with increasing number of features and feature values, the feature correlations become extremely intricate, and the specifications of these correlations tend to be either incomplete or inconsistent with their ...
Support for reverse engineering and maintaining feature models
Feature Models (FMs) are a popular formalism for modelling and reasoning about commonality and variability of a system. In essence, FMs aim to define a set of valid combinations of features, also called configurations. In this paper, we tackle the ...
Cross product line analysis
Due to increase in market competition and merger and acquisition of companies, different software product lines (SPLs) may exist under the same roof. These SPLs may be developed applying different domain analysis processes, but are likely not disjoint. ...
Index Terms
- Proceedings of the 7th International Workshop on Variability Modelling of Software-Intensive Systems