12th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on April 12th, 2015, London, UK

The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering.


  • Mar 17, 2015: FESCA'15 proceedings have been published in EPTCS
  • Jan 26, 2015: Registration to FESCA 2015 is open via ETAPS registration website
  • Dec 15, 2014: Michael Langhammer (Karlsruhe Institute of Technology, Germany) accepted an invitation to give a tutorial at FESCA 2015 on Co-Evolution of Component-based Architecture and Code using Vitruvius
  • Dec 11, 2014: FESCA deadline for paper registration/submission has been extended to Dec 17/Dec 21, 2014
  • Oct 05: Steffen Zschaler (King's College London, UK) accepted an invitation to give a keynote at FESCA 2015 on Building flexible analysis: Modular formal specification of QoS and QoS analysis
  • Sep 01: EasyChair submission site is now open for paper registration (entering authors, title, abstract and keywords) and paper submission (adding PDF to registered papers)
  • Jul 11, 2014: FESCA'15 website was launched


Workshop Aim

In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity of today's software systems, FESCA aims at addressing two research questions: (1) what role the software architecture can play in systematic addressing of the analytical and modelling challenges, and (2) how formal and semi-formal techniques can be applied effectively to make the issues easier to address automatically, with lower human intervention.

Workshop Topics

We encourage submissions on (semi-)formal techniques and their application that aid analysis, design and implementation of software applications, including the techniques in the realm of Model-Driven Development. The topics include (but are not limited to):

  • Modelling
    • Modelling formalisms;
    • Models, metamodels and model transformations;
  • Correctness checking
    • Temporal properties and their formal verification;
    • Interface compliance and contractual use of components;
    • Correctness of models, metamodels and model transformations
  • Analysis and prediction of quality attributes
    • Formal prediction and analysis;
    • Static and dynamic analysis;
    • Instrumentation and monitoring approaches;
  • Industrial case studies and experience reports.

We encourage not only mature research results, submissions presenting innovative ideas and early results of junior researchers are also of a particular interest.

Submission Guidelines

Three kinds of submissions are solicited:

  • regular papers (up to 15 pages) presenting original and unpublished work related to the workshop topics,
  • position papers (up to 10 pages) presenting ideas and directions of interesting ongoing and yet unpublished research related to the workshop topics, and
  • tool demonstration papers (up to 8 pages) presenting and highlighting the distinguishing features of a topic-related tool (co-developed by the authors).

The papers should be written in English, follow the EPTCS style, and respect the page limit. Papers are to be submitted via the EasyChair conference system, and need to be registered before submission (authors, title, abstract, keywords). All accepted papers are required to be presented at the workshop by one of the authors. Tool demonstration and position papers are required to state "Tool demonstration paper/Position paper" as a subtitle of the publication.


Final versions of all accepted papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS).


  • Paper registration: December 10, 2014 December 17, 2014
  • Submission deadline: December 17, 2014 December 21, 2014
  • Notification of acceptance: January 26, 2015
  • Final versions due: February 16, 2015

Invited Speaker

Steffen Zschaler (King's College London, UK)
Title: Building flexible analysis: Modular formal specification of QoS and QoS analysis


Non-functional properties (NfPs) of systems---for example, performance or reliability---are key to the success of a system development. To avoid costly fixes late in development, it is important to enable predictive analysis of these properties as early as possible. There has been extensive research in enabling such predictive analysis, primarily for performance properties. However, all of these approaches share two issues: 1) the semantics of the analysis techniques are often deeply embedded in complicated transformations, and 2) concerns of system design and analysis are tightly tangled in the realisation of these analysis systems.

In this talk, we will explore an alternative approach to modelling non-functional properties. We will harness the power of meta-modelling and model transformations to help achieve two goals: 1) a generic framework for specifying and analysing a broad range of non-functional properties, and 2) a modular specification of non-functional property semantics and analysis techniques enabling the flexible composition of analysers for particular combinations of properties. Our approach is underpinned by a category-theoretic framework for the amalgamation of graph-transformation systems, enabling us to provide proofs of semantic preservation in the composition of NfP analysers and system specifications.

This technique has very nice applications to component-based software, as we will show by building up a simple component modelling language inspired by PCM.

This is ongoing research in collaboration with Francisco Duran from the University of Malaga. The talk will present the current state of our work as well as current limitations and future challenges.


Michael Langhammer (Karlsruhe Institute of Technology, Germany)
Co-Evolution of Component-based Architecture and Code using Vitruvius


Suitable architecture models are useful for software architects and developers to better
understand the software system. During the evolution of software systems, however,
architecture model and the implementation tend to drift apart. This leads to two well-known problems in today’s software architecture­driven software development: architecture drift and architecture erosion.

To address these problems we developed the view­centric software engineering
approach Vitruvius. Using Vitruvius, developers and architects can design, develop,
and analyse systems with different languages using views that are automatically kept
consistent via a modular underlying model.

In this tutorial, we show how Vitruvius can be used to keep instances of the Palladio
Component Model and Java source code consistent. We also outline how we can
create new views using ModelJoin.

Workshop Programme

08:30-09:00 Registration
09:00-09:15 Workshop opening
09:15-10:30 Invited talk

Steffen Zschaler (King's College London, UK)
Building flexible analysis: Modular formal specification of QoS and QoS analysis

10:30-11:00 Coffee break
11:00-12:30 Session I.

Jean-Michel Hufflen
Using Model-Checking Techniques for Component-Based Systems with Reconfigurations

Nils Jähnig, Thomas Göthel and Sabine Glesner
A Denotational Semantics for Communicating Unstructured Code

Vasileios Koutsoumpas
A Formal Approach based on Fuzzy Logic for the Specification of Interactive Systems

12:30-14:00 Lunch break
14:00-15:15 Tutorial

Michael Langhammer (Karlsruhe Institute of Technology, Germany)
Co-Evolution of Component-based Architecture and Code using Vitruvius

15:15-16:00 Panel discussion

B. Buhnova, J. Kofron and L. Happe
Changing role of Software Architecture in Research and Development

16:00-16:30 Coffee break
16:30-17:45 Session II.

Heinz Riener, Ruediger Ehlers and Goerschwin Fey
Path-Based Program Repair

Diego Marmsoler, Alexander Malkis and Jonas Eckhardt
A Model of Layered Architectures

Ian Cassar, Adrian Francalanza and Simon Said
Improving Runtime Overheads for detectEr

17:45-18:00 Workshop closing

Organizing Committee

Contact address: fesca2015(at)easychair.org, please include the keyword FESCA in the email subject.

Programme Committee

Přemysl Brada (University of West Bohemia in Pilsen, Czech Republic)

Ivana Černá (Masaryk University, Czech Republic)

Yanja Dajsuren (Eindhoven University of Technology, Netherlands)

Antinisca Di Marco (Università dell'Aquila, Italy)

Petr Hnetynka (Charles University in Prague, Czech Republic)

Samuel Kounev (University of Würzburg, Germany)

Markus Lumpe (Swinburne University of Technology, Australia)

Daniel Menasche (UFRJ, Brazil)

Diego Perez Palacin (Politecnico di Milano, Italy)

Dorina Petriu (Carleton Univesity, USA)

Nadia Polikarpova (Massachusetts Institute of Technology, USA)

Ralf Reussner (Karlsruhe Institute of Technology, Germany)

Cristina Seceleanu (Mälardalen University, Sweden)

Catia Trubiani (Gran Sasso Science Institute, Italy)

Steffen Zschaler (King's College London, UK)


Registration and Travelling

Please follow the information at ETAPS 2015 website.

Previous FESCA Workshops

The previous FESCA workshops at ETAPS 2004-2014 enjoyed high-quality submissions and attracted a number of recognized guest speakers, including Colin Atkinson (University of Mannheim), Manfred Broy (Technische Universität München, Munich, Germany), Ivana Černá (Masaryk University, Czech Republic), Vittorio Cortellessa (Università dell'Aquila), José Luiz Fiadeiro, (University of Leicester, UK), Constance L. Heitmeyer (Naval Research Laboratory, USA), Rolf Hennicker (LMU, Munich, Germany), Samuel Kounev (KIT, Germany), František Plášil (Charles University, Prague, Czech Republic) and Martin Wirsing (LMU, Munich, Germany). It is expected that FESCA 2015 will make an equally positive contribution.