VaMoS

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



© 2006-2007 SSE and Lero