VariComp'13

4th International Workshop on Variability & Composition @Modularity·AOSD

, Fukuoka, Japan

Workshop Overview

In applying multi-dimensional separation of concerns, the variability and composition of carefully separated concerns is an important issue. The time at which concern composition is applied can vary depending on the concrete approach at hand. Advanced modularity techniques have extensively been used to enable variability in software product lines, where features are usually composed at build time. Likewise, run-time composition has been investigated, enabling dynamic aspect weaving, recomposition and reconfiguration. Using context-oriented programming, dynamic feature variation is used to react to environmental changes and events using dedicated programming language constructs. This workshop investigates tools and techniques in support of the aforementioned composition stages, potential implementation and optimisation approaches as well as formalisation and verification techniques.

Workshop Goals

Targeted Audience

Researchers and practitioners concerned with software variability management and composition techniques, in particular those that improve modularity. Despite this special focus, all contributions that fall within the realm of software variability and composition are encouraged.

Topics of Interest

The workshop is aimed at fostering cross-fertilisation of the following areas, always with a view to addressing early and late software variability and composition:

Workshop Format

This full-day workshop will consist of an introduction by the organisers, followed by two similar sessions, each of which will include short presentations of selected papers, and a plenary discussion to identify and enrich found topics of interest. According to this discussion, in-depth breakout groups might be formed to carry on discussions, coding sessions, tutorials, etc. The day will be closed with a concluding plenary session presenting the results of the workshop. The number of participants is expected to be between 20 and 30, including authors of accepted contributions.

Participation

Contributions of various kinds are possible, including technical papers, descriptions of work in progress, and position statements of well-argued ideas. Attendees are therefore invited to submit

Attendees are also encouraged to propose complementary activities such as moderated debates, coding sessions, tool demonstrations, or any other material that can enable interaction with other workshop participants. For these kinds of activities, attendees are invited to submit a brief proposal in the form of

Submission

Submitted material will be evaluated based on originality, relevance, technical quality and presentation. To be accepted, contributions should fall within the scope of the workshop and have a minimum quality level, which will be enforced by the program and organising committees.

All submissions must conform to the ACM SIGPLAN format.

Submissions and reviewing are managed through EasyChair. Those who have no EasyChair account are invited to first create one.

For submission of camera-ready versions of accepted papers, see the instructions from the publisher.

Publication

Accepted papers will be published in the ACM Digital Library, provided that such papers are not published or considered for publication elsewhere.

Accepted participation abstracts will appear in this workshop website prior to the workshop date. Participation abstracts will not be disseminated in any other way.

Presentation

Accepted contributions will be granted a presentation slot in the workshop schedule as follows:

The allocated time might vary depending on the amount of scheduled activities for the day.

Important Dates

Papers

Participation abstracts

Program

12:00 Lunch
13:30 Welcome
  Foreword
13:40 Paper presentation
  Towards Efficient SPL Testing by Variant Reduction by Kowal et al. [slides]
14:10 Paper presentation
  Feature Selection for Clustering-Based Aspect Mining by Wang et al. [slides]
14:40 Paper presentation
  Flexible and Expressive Aspect-Based Control Over Service Compositions in the Cloud by Cherrueau et al.
15:10 Coffee break
15:40 Invited talk
  Taming Aspects by Éric Tanter [slides]
16:40 Discussion
  Discussion sparkled by the different talks
17:00 End

Invited talk

Taming Aspects

Abstract

Aspect-oriented programming languages support the modular definition of crosscutting abstractions. In most languages, this is achieved through pointcuts, which provide a means for quantifying over execution events in order to implicitly trigger advice. Notably, an advice is more than a simple event handler because of its ability to override the underlying computation. Unrestricted quantification and arbitrary advice computation are powerful but dangerous.

In this talk we look at a number of approaches to tame aspects in order to retain their benefits without sacrificing important software engineering properties, like modular reasoning, separate development, type soundness, and controlled interferences. Specifically, we report on advances in scoping, interfaces, typing and effects, highlighting recent achievements as well as open challenges.

Short biography

Éric Tanter is an Associate Professor in the Computer Science Department of the University of Chile, where he co-leads the PLEIAD laboratory. He received the PhD degree in computer science from both the University of Nantes and the University of Chile (2004). His research interests include programming languages and tool support for modular and adaptable software.

Committees

Organising committee

The organising committee can be contacted at varicomp13@easychair.org.

Program committee

With the kind support of