Third International Workshop on Formal Methods and Analysis

in Software Product Line Engineering (FMSPLE)

Date: September 2, 2012

Organization: Ina Schaefer

Website: http://www.iese.fraunhofer.de/en/events/fmsple2012.html

Schedule:

Session 1

Chair: Maurice ter Beek

09:00 - 09:30 Welcome

09:30 - 10:30 Keynote

        (David Benavides)

10:30 - 11:00 Coffee Break

Session 2

Chair: Tomi Männistö

11:00 - 11:30 Intersection of Feature Models (short paper)
        (Pim van den Broek)

11:30 - 12:00 Towards Product Configuration Taking into Account Quality Concerns
        (Karina Villela, Taslim Arif and Damiano Zanardini)

12:00 - 12:30 Towards an Incremental Automata-Based Approach for Software Product-Line Model Checking
        (Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans and Axel Legay)

12:30 - 14:00 Lunch

Session 3

Chair: Andrzej Wasowski

14:00 - 14:30 Towards an Executable Algebra for Product Lines
        (Stefania Gnesi and Marinella Petrocchi)

14:30 - 15:00 A Transformational Proof System for Delta-Oriented Programming
        (Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ina Schaefer and Ingrid Chieh Yu)

15:00 - 15:30 A Modal Logic for Abstract Delta Modeling
        (Frank de Boer, Michiel Helvensteijn and Joost Winter)

15:30 - 16:00 Coffee Break

Session 4

Chair: Ina Schaefer

16:00 - 17:00 Closing discussion

Sixth International Workshop on Dynamic Software Product Lines (DSPL)

Date: September 3, 2012

Organization: Mike Hinchey (mike [dot] hinchey [at] lero [dot] ie)

Website: http://sites.lero.ie/dspl2012

Schedule:

09:00 - 09:10 Introductory Remarks

09:10 - 09:50 Reducing Feature Models to Improve Runtime Adaptivity on Resource Limited Devices

        (Karsten Saller, Sebastian Oster and Andy Schürr)

09:50 - 10:30 Towards Model-Centric Engineering of a Dynamic Access Control Product Line

        (Mahdi Derakhshanmanesh, Mazeiar Salehie and Jürgen Ebert)

10:30 - 11:00 Coffee Break

11:00 - 11:40 Dynamic Delta Modeling

        (Michiel Helvensteijn)

11:40 - 12:20 Runtime Variability for Dynamic Reconfiguration in Wireless Sensor Network Product Lines

        (Oscar Ortiz, Ana Belen Garcia, Rafael Capilla, Jan Bosch and Mike Hinchey)

12:20 - 12:30 Discussion Planning

12:30 - 14:00 Lunch

14:00 - 15:30 Group Discussion

15:30 - 16:00 Coffee Break

Third International Workshop on Knowledge Oriented Product Line Engineering (KOPLE)

Date: September 3, 2012

Organization: Haitham S. Hamza ( hshamza [at] acm [dot] org), Jabier Martinez (jabier [dot] martinez [at] tecnalia [dot] com), Jitender S. Deogun (deogun [at] cse [dot] unl [dot] edu) and Anil Kumar Thurimella (anilkumar [dot] thurimella [at] harman [dot] com)

Website: http://www.tecnalia.com/en/kople2012

Schedule:

09:00 - 09:15 Workshop Opening, Welcome Note and Introduction

        (Workshop organizers)

09:15 - 10:30 Keynote: Representing Variability – applying metamodels, ontologies, DSLs

        (Øystein Haugen)

10:30 - 11:00 Coffee Break

11:00 - 11:45 Improving Domain Representation with Multi-Paradigm Modeling

        (Andrea Leitner, Weiss Reinhold, Wolfgang Ebner and Christian Kreiner)

11:45 - 12:30 An Approach for Semantic Enrichment of Software Product Lines

        (João Bosco Ferreira Filho, Olivier Barais, Benoit Baudry, Windson Viana and Rossana Andrade)

12:30 - 14:00 Lunch

14:00 - 14:45 Collaboration and Source Code Driven Bottom-Up Product Line Engineering

        (Jabier Martinez and Anil Thurimella)

14:45 - 15:30 Squid: An Extensible Infrastructure for Analyzing Software Product Lines Implementations

        (Alexandre Vianna, Felipe Pinto, Uirá Kulesza, Roberta Coelho, Demóstenes Sena, Jadson Santos,

        Jalerson Lima and Gleydson Lima)

15:30 - 16:00 Coffee Break

16:00 - 17:30 Discussion Themes and Group Work, Discussion Presentations

Fourth International Workshop on Model-driven Approaches

in Software Product Line Engineering (MAPLE)

Date: September 4, 2012

Organization: Goetz Botterweck, Deepak Dhungana and Rick Rabiser

Website: http://sites.lero.ie/maple2012

Schedule:

09:00 - 09:15 Welcome & Opening

        (The organizers)

09:15 - 10:30 Keynote: "Variability Specification and Realization in the Wild"

        (Andrzej Wąsowski)

10:30 - 11:00 Coffee Break

11:00 - 11:35 Code-based Variability Model Extraction for Software Product Line Improvement

        (Bo Zhang and Martin Becker)

11:35 - 12:10 Model-Based Product Line Evolution: an Incremental Growing by Extension

        (Stephen Creff, Joel Champeau, Jean-Marc Jézéquel and Arnaud Monegier)

12:10 - 12:30 Supporting Commonality and Variability Analysis of Requirements and Structural Models  (short paper)

        (Kentaro Kumaki, Ryosuke Tsuchiya, Hironori Washizaki and Yoshiaki Fukazawa)

12:30 - 14:00 Lunch

14:00 - 14:35 Extractive SPL adoption using multi-level variability modeling

        (Carlos Parra, Leonardo Giral, Alvaro Infante and Camilo Cortes)

14:35 - 15:10 Supporting the Effective Configuration of  Software Product Lines

        (Sascha El-Sharkawy and Klaus Schmid)

15:10 - 15:30 Collection of Topics for Discussion

15:30 - 16:00 Coffee Break

16:00 - 17:00 General Discussion Session

17:00 - 17:15 Wrap up & Summary

        (The organizers)

Second International Workshop on Services, Clouds, and Alternative Design Strategies for

Variant-Rich Software Systems  (SCArVeS)

Date: September 4, 2012

Organization: Luciano Baresi, Sholom Cohen, Jaejoon Lee, Klaus Schmid and Karina Villela

Website: http://www.iese.fraunhofer.de/en/events/scarves2012.html

Schedule:

09:00 - 09:30 Introduction

09:30 - 10:30 Keynote

        (Dr. Dirk Muthig - Lufthansa Systems, Germany)

10:30 - 11:00 Coffee Break

11:00 - 11:30 Dynamic Configuration Management of Cloud-based Applications

        (Julia Schroeter, Peter Mucha, Marcel Muth, Kay Jugel and Malte Lochau)

11:30 - 12:00 Exploiting Software Product Lines to Develop Cloud Computing Applications

        (Everton Cavalcante, Andre Almeida, Thais Batista, Nelio Cacho, Frederico Lopes, Flavia C. Delicato,

        Diego Souza, Thiago Sena and Paulo F. Pires)

12:00 - 12:30 A Study on Service Identification Methods for Software Product Lines

        (Tassio Vale, Eduardo Almeida, Silvio Meira and Gustavo Figueiredo)

12:30 - 14:00 Lunch

14:00 - 14:30 Cloud-based Software Product Lines

        (Klaus Schmid and Andreas Rummler)

14:30 - 15:00 Comparison of Customer-Centric and Product-Centric Organizations for Software Product Line Engineering (short paper)

        (Eray Tuzun, Bedir Tekinerdogan and Hikmet Arif Topcuoglu)

15:00 - 15:30 A Software Product Line for Developing Compact, Simple, and Flexible Enterprise Systems Using Only Fact Data

        (Takumi Yasumasu and Yuzo Ishida)

15:30 - 16:00 Coffee Break

16:00 - 17:30 Discussion in Groups

        (led by organizers)

First International Workshop on Requirements Engineering Practices On

Software Product Line Engineering (REPOS)

Date: September 4, 2012

Organization: Emilio Insfran (einsfran [at] dsic [dot] upv [dot] es), Gary Chastek (gjc [at] sei [dot] cmu [dot] edu) and Patrick Donohoe (pd [at] sei [dot] cmu [dot] edu)

Website: http://users.dsic.upv.es/workshops/repos2012/motivation.html

Schedule:

09:00 - 09:45 Requirements Engineering In Feature Oriented Software Product Lines: An Initial Analytical Study

        (Mohsen Asadi, Ebrahim Bagheri, Bardia Mohabbati and Dragan Gasevic)

09:45 - 10:30 Adopting Feature-Centric Reuse of Requirements Assets: An Industrial Experience Report

        (Mahdi Derakhshanmanesh, Joachim Fox and Jürgen Ebert)

10:30 - 11:00 Coffee Break

11:00 - 11:45 Generating Feature Model from Creative Requirements using Model Driven Design

        (Fernando Wanderley, Denis Silveira, Joao Araujo and Maria Lencastre)

11:45 - 12:30 Automatic Generation of Feature Models from UML Requirement Models

        (Hernán Casalánguida and Juan Eduardo Durán)

12:30 - 14:00 Lunch

14:00 - 14:45 Modeling and Analysis of Product-Line Variants

        (Shamim Ripon, Jahir Hossain, Keya Azad and Mehidee Hassan)

14:45 - 15:30 On Adopting Multi-Criteria Decision-Making Approaches for Variability Management in Software Product Lines   

        (Anil Thurimella and Srini Ramaswamy)

15:30 - 16:00 Coffee Break

16:00 - 17:30 Summary and discussion session