 |
Program
& Schedule
The VaMoS proceedings
can be found here.
| Day
1 — Wednesday, January 28 — Morning |
8:30
— 9.30
|
Workshop
Registration
|
9:30
— 10:00
|
Welcome & Opening
Session
The organisers
|
10:00
— 11:00
Keynote
Talk
[Session Chair:
David Benavides]
|
"Dimensions of Variability in Software
Product Lines"
Don Batory
|
| 11:00
— 11:30 |
Coffee
break |
11:30
— 13:10
Paper Session #1
Automotive Domain
[Session Chair:
Ulrich Eisenecker]
|
| Presentation |
Duration |
Paper 1 — "Functional
Variant Modeling for Adaptable Functional Networks"
Cem Mengi, Ibrahim Armac
|
15' |
Discussion of paper 1
[Discussants: Stefan
Mann, Andreas Classen]
|
25' |
Paper 2 — "Dealing
with Variability in Architecture Descriptions to Support Automotive
Product Lines "
Georg Rock, Stefan Mann
|
15' |
Discussion of paper 2
[Discussants: Cem Mengi, Vander Alves]
|
25' |
| General discussion |
20' |
|
| 13:10
— 14:20 |
Lunch
break |
| Day
1 — Wednesday, January 28 — Afternoon |
14:20
— 16:00
Paper Session #2
Visualisation
& Metaphors
[Session Chair:
Roberto Lopez-Herrejon] |
| Presentation |
Duration |
Paper
3 — "Visualising Inter-Model
Relationships in Software Product Lines "
Ciaran Cawley, Steffen Thiel, Goetz Botterweck, Daren Nestor
|
15' |
Discussion
of paper 3
[Discussants: Carlos Cetina, Pim van den Broek]
|
25' |
Paper 4 — "Towards End-User Development of Smart Homes
by means of Variability Engineering"
Francisca Pérez, Carlos Cetina, Pedro Valderas, Joan Fons
|
15' |
Discussion of paper 4
[Discussants: Ciaran
Cawley, Michail Anastasopoulos] |
25' |
| General discussion |
20' |
|
| 16:00
— 16:30 |
Coffee
break & Tool Demo #1
| Demonstration |
Duration |
Tool 1 — "Using First
Order Logic to Validate Feature
Model"
Abdelrahman
Elfaki, Somnuk Phon-Amnuaisuk, Ho Chin Kuan
|
20' |
|
16:30
— 18:10
Paper Session #3
Reasoning
[Session Chair:
Kyo Kang
|
| Presentation |
Duration |
Paper 5 — "Handling
Imperfect Product Line Requirements using Fuzzy Feature Diagrams "
Joost Noppen, Pim van den Broek, Nathan Weston, Awais Rashid
|
15' |
Discussion of paper 5
[Discussants: Pablo Trinidad, Deepak Dhungana]
|
25' |
Paper 6 — "Abductive
Reasoning and Automated Analysis of Feature Models: How are they
connected?"
Pablo Trinidad, Antonio Ruiz-Cortéz
|
15' |
Discussion of paper 6
[Discussants: Joost Noppen, Patrizia Asirelli] |
25' |
| General discussion |
20' |
|
| 22:00
— |
Wine, Tapas and Flamenco
Location: La Carboneria
|
| Day
2 — Thursday, January 29 — Morning |
9:30
— 11:10
Paper Session #4
Configuration
[Session Chair:
David Benavides] |
| Presentation |
Duration |
Paper
7 — "Evolving a Software Product Line
Reuse Infrastructure: A Configuration Management solution"
Michail Anastasopoulos, Thiago Henrique Burgos de Oliveira, Dirk
Muthig, Eduardo Santana Almeida , Silvio Romero de Lemos Meira
|
15' |
Discussion
of
paper 7
[Discussants:Arnaud
Hubaux, Krzysztof Wnuk] |
25' |
Paper
8 — "A Formal Semantics for
Multi-level Staged Configuration"
Andreas Classen, Arnaud Hubaux, Patrick Heymans
|
15' |
Discussion
of
paper 8
[Discussants: Michail Anastasopoulos, Fabricia Roos] |
25' |
| General
discussion |
20' |
|
| 11:10
— 11:40 |
Coffee
break & Tool Demo #2
| Demonstration |
Duration |
Tool 2 — "A Design of a Configurable Feature Model
Configurator"
Goetz Botterweck, Mikolas Janota, Denny Schneeweiss
|
20' |
|
11:40
— 13:20
Paper Session #5
Automated
Analysis
[Session Chair:
Don Batory]
|
| Presentation |
Duration |
Paper 9 — "Analysis
of Feature Models using Generalised Feature Trees"
Pim van den Broek, Ismenia Galvao
|
15' |
Discussion of paper 9
[Discussants: Sergio Segura, Joost Noppen]
|
25' |
Paper 10 — "Benchmarking on the Automated Analyses of
Feature Models: A Preliminary Roadmap"
Sergio Segura, Antonio Ruiz-Cortéz
|
15' |
Discussion of paper 10
[Discussants: Ismenia Galvao, Mikolas Janota] |
25' |
| General discussion |
20' |
|
| 13:20
— 14:30 |
Lunch
break |
| Day
2 — Thursday, January 29 — Afternoon |
14:30
— 16:10
Paper Session #6
Process
[Session Chair:
Ulrich Eisenecker] |
| Presentation |
Duration |
Paper 11 — "Modeling Variation in Production Planning
Artifacts"
Gary Chastek, John D. McGregor
|
15' |
Discussion of paper 11
[Discussants: Nicolás González-Deleito, Georg Rock] |
25' |
Paper 12 — "A
Model for Trading off Flexibility and Variability in Software Intensive
Product Development"
Wim Codenie, Nicolás González-Deleito, Jeroen Deleu, Vladimir
Blagojevic, Pasi Kuvaja, Jouni Similä
|
15' |
Discussion of paper 12
[Discussants: Gary Chastek, Raul Mazo] |
25' |
| General discussion |
20' |
|
| 16:10
— 16:40 |
Coffee
break & Tool Demo #3
| Demonstration |
Duration |
Tool 3 — "VMWare Tool Support for Automatic
Verification of Structural and Semantic Correctness in Product Line
Models"
Camille Salinesi, Colette Rolland, Raul Mazo
|
20' |
|
16:40 — 18:20
Paper
Session #7
Runtime Variability
[Session Chair:
Paul Grünbacher]
|
| Presentation |
Duration |
Paper 13 — "Comparitive Study of Variability
Management in Software Product Lines and Runtime Adaptable Systems"
Vander Alves, Daniel Schneider, Martin Becker, Nelly Bencomo, Paul Grace
|
15' |
Discussion of paper 13
[Discussants: Alessandro Fantechi, Carlos Cetina] |
25' |
Paper 14 — "Deontic
Logics for Modeling Behavioural Variability"
Alessandro Fantechi, Patrizia Asirelli, Maurice ter Beek, Stefania Gnesi
|
15' |
Discussion of paper 14
[Discussants: Nelly Bencomo, Pablo Trinidad] |
25' |
| General discussion |
20' |
|
| 20:00
— |
Social Event &
Dinner
Visit of the Alcazar of Seville and guided
tour by the "Barrio de Santa Cruz", followed by the VaMoS Dinner
|
| Day
3 — Friday, January 30 — Morning |
10:00
— 11:40
Paper Session #8
Model
Relationships
[Session Chair:
Pim van den Broek] |
| Presentation |
Duration |
Paper
15 — "A Preliminary Comparison of
Formal Properties on Orthogonal Variability Model and Feature Models"
Fabricia Roos
|
15' |
Discussion
of
paper 15
[Discussants: Germain Saval, Alessandro Fantechi]
|
25' |
Paper
16 — "Some Challenges of
Feature-based Merging of Class Diagrams"
Germain Saval, Jorge Pinna Puissant, Patrick Heymans, Tom Mens
|
15' |
Discussion
of
paper 16
[Discussants: Fabricia Roos, Christophe Gnaho] |
25' |
| General
discussion |
20' |
|
| 11:40
— 12:10 |
Coffee
break & Tool Demo #4
| Demonstration |
Duration |
Tool 4 — "A Tool for Modelling Variability at Goal
Level"
Farida Semmak, Christophe Gnaho, Régine Laleau
|
20' |
|
12:10
— 13:50
Paper
Session #9
Complexity
[Session Chair:
Gary Chastek]
|
| Presentation |
Duration |
Paper 17 — "Structuring the Product Line Modeling
Space: Strategies and Examples"
Paul Gruenbacher, Rick Rabiser, Deepak Dhungana, Martin Lehofer
|
15' |
Discussion of paper 17
[Discussants: Krzysztof Wnuk, Abdelrahman Elfaki -->
Cem Mengi]
|
25' |
Paper 18 — "An Industrial Case Study on Large-Scale
Variability Management for Product Configuration in the Mobile Handset
Domain"
Krzysztof Wnuk, Bjorn Regnell, Jonas Andersson, Samuel Nygren
|
15' |
Discussion of paper 18
[Discussants: Deepak Dhungana, Stefan Mann] |
25' |
| General discussion |
20' |
|
| 13:50
— 14:00 |
Closing
session
The organisers
|
| 14:00
— 15:00 |
Lunch
|
|
