Published: 20th February 2013
DOI: 10.4204/EPTCS.108
ISSN: 2075-2180

EPTCS 108

Proceedings 10th International Workshop on
Formal Engineering Approaches to Software Components and Architectures
Rome, Italy, March 23, 2013

Edited by: Barbora Buhnova, Lucia Happe and Jan Kofroň

Preface
Jan Kofroň, Barbora Buhnova and Lucia Happe
Extensible Technology-Agnostic Runtime Verification
Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon J. Pace
1
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets
Sven Sieverding, Christian Ellen and Peter Battram
17
Software model refactoring based on performance analysis: better working on software or performance side?
Davide Arcelli and Vittorio Cortellessa
33
Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks
Helena Gruhn and Sabine Glesner
49
Assembling the Proofs of Ordered Model Transformations
Maribel Fernández and Jeffrey Terrell
63
Towards a Framework for Behavioral Specifications of OSGi Components
Jan Olaf Blech
79

Preface

These are the proceedings of the 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on March 23, 2013 in Rome (Italy) as a satellite event to the European Joint Conference on Theory and Practice of Software (ETAPS'13).
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 component-based software engineering.
Component-based software design has received considerable attention in industry and academia in the past decade. In recent years, with the emergence of new platforms (such as smartphones), new areas advocating software correctness along with new challenges have appeared. These include development of new methods and adapting existing ones to accommodate unique features of the platforms, such as inherent distribution, openness, and continuous migration. On the other hand, with the growing power of computers, more and more is possible with respect to practical applicability of modelling and specification methods as well as verification tools to real-life software, i.e, to scale to more complex systems.
FESCA aims to address the open question of how formal methods can be applied effectively to these new contexts and challenges. FESCA is interested in both the development and application of formal methods in component-based development and tries to cross-fertilize their research and application.
The previous FESCA workshops at ETAPS 2004 to 2012 enjoyed high-quality submissions and attracted a number of recognized guest speakers, including Raffaela Mirandola (Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy), Rolf Hennicker (Ludwig-Maximilians-Universität, München, Germany), Constance L. Heitmeyer (Naval Research Laboratory, USA), Manfred Broy, (Technische Universität München, Germany), Jose Luiz Fiadeiro, (University of Leicester, UK), František Plášil (Charles University, Czech Republic), Martin Wirsing (Ludwig-Maximilians-Universität, München, Germany), Ivana Černá (Masaryk University, Czech Republic), and Samuel Kounev (Karlsruher Institut für Technologie, Germany).


The program committee of FESCA'13 consisted of


The papers were refereed by the program committee and by several outside referees, whose help is gratefully acknowledged.
For the tenth time, FESCA has been organized as a satellite event to ETAPS. We are very grateful to the ETAPS organizers for taking care of all the local organization and for accommodating all our special requests.

Prague, February 11, 2013, Jan Kofroň, Barbora Buhnova, and Lucia Happe