11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on April 12th, 2014, Grenoble, France

The aim of the FESCA workshop is to bring together both young and senior 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.


  • April 01, 2014: FESCA'14 proceedings have been published in EPTCS
  • Oct 30, 2012: Colin Atkinson accepted the invitation to give a keynote talk and tutorial at FESCA'14
  • Sep 8, 2013: FESCA'14 Call for Papers (CfP) is now available
  • May 1, 2013: FESCA'14 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. In this context, 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.

Besides general software systems, FESCA is interested in methods focusing on a specific application domain, such as:

  • Cloud environment
  • Mobile and embedded systems
  • Information systems
  • Hardware infrastructures

We encourage not only mature research results, submissions presenting innovative ideas and early results are also of 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 accepted regular and position papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS). The tool demonstration papers will not appear in the EPTCS proceedings, but will be included in the electronic pre-proceedings (distributed at the workhop) and made available on the workshop website.


  • Paper registration: December 6, 2013
  • Submission deadline: December 13, 2013
  • Notification of acceptance: January 20, 2014
  • Final versions due: February 10, 2014

Invited Speaker

Colin Atkinson (University of Mannheim)
Facilitating Formal Views in View-Driven (Orthographic) Software Engineering


Orthographic software engineering is an approach for describing software services, components and architectures using interconnected lattices of views, each representing a projection of information about the system for a particular purpose or perspective. The approach is not tied to one particular methodology, but works particularly well with methods like KobrA which were designed to support views on components. A key foundation of the approach is the ability to define and create, on demand, purpose-specific views customized for the needs and expertise of different stakeholders. This includes, ideally, formal views. However, formal languages are difficult to fit into such a paradigm given their limited support for modularity and their sensitivity to background assumptions (e.g. closed world versus open world assumption). In this talk, Colin Atkinson will discuss the issues involved in introducing formal views into orthographic software engineering environments and present some solutions based on the notion of deep (multi-level) modelling.




Colin Atkinson (University of Mannheim)
Orthographic and Deep Modeling with Melanee


In this tutorial Colin Atkinson will describe and demonstrate the deep modelling tool, Melanee, under development at the University of Mannheim with a focus on supporting view-driven (orthographic) software engineering.



Workshop Programme

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

Colin Atkinson (University of Mannheim)
Facilitating Formal Views in View-Driven (Orthographic) Software Engineering

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

Mounira Kezadri, Benoit Combemale, Marc Pantel and Xavier Thirioux
Correct-by-construction model composition: Application to the Invasive Software Composition method

Faiz Ul Muram, Huy Tran and Uwe Zdun
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking

Fenglin Han, Jan Blech, Peter Herrmann and Heinz Schmidt
Towards Verifying Safety Properties of Real-Time Probabilistic Systems

Luciana Santos, Valdivino Santiago Júnior and Nandamudi Vijaykumar
Transformation of UML Behavioral Diagrams to Support Software Model Checking

12:30-14:00 Lunch
14:00-14:55 Tutorial

Colin Atkinson (University of Mannheim)
Orthographic and Deep Modeling with Melanee


Session II.

Arnaud Lanoix and Olga Kouchnarenko
Component Substitution through Dynamic Reconfigurations

Rui Couto, António Nestor Ribeiro and José Creissac Campos
Application of Ontologies in Identifying Requirements Patterns in Use Cases

Wei Bai, Emmanuel Tadjouddine and Yu Guo
Enabling Automatic Certification of Online Auctions

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

Antinisca Di Marco and Catia Trubiani
A model-driven approach to broaden the detection of software performance antipatterns at runtime

Stefan Stattelmann, Manuel Oriol and Thomas Gamer
Execution Time Analysis for Industrial Control Applications

Christian Colombo and Gordon Pace
Comprehensive Monitor-Oriented Compensation Programming

17:45-18:00 Workshop closing

Organizing Committee

Contact address: fesca2014(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)

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

Petr Hnetynka (Charles University in Prague, Czech Republic)

Samuel Kounev (Karlsruhe Institute of Technology, Germany)

Ralf Küsters (Universität Trier, Germany)

Markus Lumpe (Swinburne University of Technology, Australia)

Daniel Menasche (UFRJ, Brazil)

Raffaela Mirandola (Politecnico di Milano, Italy)

Dorina Petriu (Carleton Univesity, USA)

Nadia Polikarpova (ETH Zürich, Switzerland)

Ralf Reussner (Karlsruhe Institute of Technology, Germany)

Cristina Seceleanu (Mälardalen University, Sweden)

Kishor Trivedi (Duke University, USA)

Catia Trubiani (Università dell'Aquila, Italy)

Steffen Zschaler (King's College London, UK)


Registration and Travelling

Please follow the information at ETAPS 2014 website.

Previous FESCA Workshops

The previous FESCA workshops at ETAPS 2004-2013 enjoyed high-quality submissions and attracted a number of recognized guest speakers, including 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 2014 will make an equally positive contribution.