skip to main content
10.1145/2430502acmotherconferencesBook PagePublication PagesvamosConference Proceedingsconference-collections
VaMoS '13: Proceedings of the 7th International Workshop on Variability Modelling of Software-Intensive Systems
ACM2013 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
VaMoS '13: The Seventh International Workshop on Variability Modelling of Software-intensive Systems Pisa Italy January 23 - 25, 2013
ISBN:
978-1-4503-1541-8
Published:
23 January 2013
Sponsors:
ICAR, National Research Council, Section of Naples, Italy, CNR

Bibliometrics
Skip Abstract Section
Abstract

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.

Skip Table Of Content Section
SESSION: Invited papers
research-article
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 ...

research-article
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 ...

SESSION: Modularity
research-article
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 ...

research-article
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, ...

SESSION: Quality attributes
research-article
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 ...

research-article
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 ...

SESSION: Industry and tools
research-article
A survey of variability modeling in industrial practice

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 ...

research-article
Integrating heterogeneous variability modeling approaches with invar

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 ...

research-article
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 ...

research-article
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 ...

SESSION: Languages
research-article
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 ...

research-article
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 ...

research-article
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 ...

SESSION: Reasoning about and with variability
research-article
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 ...

research-article
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 ...

research-article
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. ...

SESSION: Evolution
research-article
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-...

research-article
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 ...

SESSION: Reverse engineering
research-article
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 ...

research-article
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 ...

research-article
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. ...

Contributors
  • Italian National Research Council
  • University of Côte d’Azur
  • University of Hildesheim
Index terms have been assigned to the content through auto-classification.

Recommendations

Acceptance Rates

Overall Acceptance Rate66of147submissions,45%
YearSubmittedAcceptedRate
VaMoS '19241458%
VAMOS '18341544%
VaMoS '15341647%
VaMoS '14552138%
Overall1476645%