Events and Fairs

Third Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2012)

Date: September 2, 2012
Place: Salvador, Brazil

Co-located with the 16th International Software Product Line Conference (SPLC 2012), September 2 - 7, Salvador, Brazil

Background and Objectives

Software product line engineering (SPLE) aims at developing a family of systems through reuse in order to reduce time to market and to increase product quality. The correctness of the development artifacts intended for reuse as well as the correctness of the developed products is of crucial interest for many safety-critical or business-critical applications. Formal methods and analysis approaches have been successfully applied in single system engineering over the last years in order to rigorously establish critical system requirements. However, in SPLE, formal methods and analysis approaches are not broadly applied yet, despite their potential to improve product quality. One of the reasons is that existing formal approaches from single system engineering do not consider variability, an essential aspect of product lines.

The objective of the workshop “Formal Methods and Analysis in Software Product Line Engineering (FMSPLE)” is to bring together researchers and practitioners from the SPLE community with researchers and practitioners working in the area of formal methods and analysis. So far, both communities are only loosely connected, despite very promising initial work on formal analysis techniques for software product lines. The workshop aims at reviewing the state of the art and the state of the practice in which formal methods and analysis approaches are currently applied in SPLE. This will lead to the discussion of a research agenda for the extension of existing formal approaches and the development of new formal techniques for dealing with the particular needs of SPLE. To achieve the above objectives, the workshop is intended as a highly interactive event fostering discussion and initiating collaborations between the participants from both communities.

Topics

The proposed workshop will focus on the application of formal methods and analysis approaches in all phases of SPLE, including domain and application engineering, in order to ensure the correctness of individual artifacts as well as consistency among them. The topics of interest include, but are not limited to:

Analysis approaches and formal methods for:

  • domain analysis and scoping
  •  variability modeling
  •  specification and verification of functional and non-functional properties in SPLE
  • safety and security aspects in SPLE
  • product line architectures and component-based product line development
  • product line implementation, such as type systems, programming languages, formal semantics
  • formal verification of product lines and product line artifacts
  • correctness-by-construction techniques in SPLE
  • automated test case generation and model-based testing in SPLE
  • product derivation and application engineering
  • product line life-cycle management (e.g., consistency assurance)
  • reuse and evolution of SPLs

Proofs of concept, industrial experiences and empirical evaluations

Tool presentations

Vision and position papers on formal methods and analyses applied to SPLE

Accepted Papers

  • Pim van den Broek: Intersection of Feature Models
  • Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans and Axel Legay: Towards an Incremental Automata-Based Approach for Software Product-Line Model Checking
  • Stefania Gnesi and Marinella Petrocchi: An executable algebra for
    product lines
  • Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ina Schaefer and Ingrid Chieh Yu: A Transformational Proof System for Delta-Oriented Programming
  • Karina Villela, Taslim Arif and Damiano Zanardini: Towards Product
    Configuration Taking into Account Quality Concerns
  • Frank de Boer, Michiel Helvensteijn and Joost Winter: A Modal Logic for Abstract Delta Modeling

Workshop Format

The FMSPLE workshop will be a full-day event, starting with a keynote presentation by David Benavides, University of Seville, Spain. The keynote will be followed by presentations of selected peer-reviewed papers. To foster interaction during the workshop, a discussant will be assigned to each presented paper. The task of the discussant will be to prepare a summary of the paper and initiate the discussion of its results. The workshop will close with a discussion of its participants to summarize the state of the art and the state of the practice as presented in the workshop, to collect research challenges for the application of formal methods in SPLE, and to identify research topics for future workshops.

Program

09:00 - 09:30 Welcome
09:30 - 10:30

Keynote (David Benavides)
Maurice ter Beek will chair the session

10:30 - 11:00 Coffee Break
11:00 - 11:30

Tomi Männistö will chair the session from 11:00 - 12: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
14:00 - 14:30

Andrzej Wasowski will chair the session from 14:00 - 15: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
16:00 - 17:00 Closing discussion
Ina Schaefer will lead the Closing discussion.

Previous Workshops

FMSPLE will merge two workshops, namely

both of which were affiliated with the International Software Product Line Conference (SPLC). A first joint edition was held in 2011 as

This is the 3rd edition of the successful FMSPLE workshop series.

Submission and Publication

The contributed papers are expected to comprise research papers containing novel and previously unpublished results, experience reports, reports of industrial case studies, tool descriptions, and short papers describing work in progress or exploratory ideas. All papers have to follow the ACM two-column conference proceedings format (Letter) and be 4 - 8 pages of length.

The papers should be submitted via the EasyChair conference management system and will be reviewed by at least three members of the program committee. The program committee will select the best papers based on quality, relevance to the workshop, and potential to initiate discussions for presentation. The workshop proceedings will be published in the second volume of the SPLC proceedings.

Important Dates

  • Paper submission: June 1, 2012
  • Notification: June 15, 2012
  • Camera-ready versions: June 29, 2012
  • FMSPLE 2012: September 2, 2012

Program Committee

  • Vander Alves, University of Brasilia, Brazil
  • Hugo Arboleda, Icesi University, Cali, Colombia
  • Jo Atlee, University of Waterloo, Canada
  • Ebrahim Bagheri, Athabasca University, Canada
  • Maurice H. ter Beek (co-chair), ISTI–CNR, Pisa, Italy
  • Dirk Beyer, University of Passau, Germany
  • Paulo Borba, Federal University of Pernambuco, Brazil
  • Manfred Broy, Technical University Munich, Germany
  • Dave Clarke (Katholieke Universiteit Leuven, Belgium)
  • Andreas Classen (co-chair), Intec Software Engineering and University of Namur, Belgium
  • Stefania Gnesi, ISTI–CNR, Pisa, Italy
  • Klaus Havelund, NASA JPL, USA
  • Arnaud Hubaux, University of Namur, Belgium
  • Kim G. Larsen, Aalborg University, Denmark
  • Axel Legay, INRIA Rennes, France
  • Ivan C. Machado, Federal University of Bahia, Salvador, Brazil
  • Tomi Männistö, Aalto University, Finland
  • Marcilio Mendonca, University of Waterloo, Canada
  • Henry Muccini, University of L’Aquila, Italy
  • Antonio Ruiz-Cortés, University of Seville, Spain
  • Ina Schaefer, Technical University of Braunschweig, Germany
  • Erik de Vink, Eindhoven University of Technology, The Netherlands
  • Andrzej Wasowski, ITU Kopenhagen, Denmark

Organizing Committee

Ina Schaefer (Technical University of Braunschweig, Germany)
Martin Becker (Fraunhofer IESE, Germany)
Fabricia Roos-Frantz (UNIJUI University, Brazil)
Peter Y. H. Wong (Fredhopper B.V., Amsterdam, The Netherlands)