Programme of FESCA at ETAPS 2010

(International Workshop on Formal Engineering approaches to Software Components and Architectures)

Saturday, March 27

08:30 - 09:00 Registration

09:00 - 09:20 Workshop opening

09:20 - 10:30 Invited Talk

Formal Verification of Component-based Architectures - Motivation, Methods & Challenges

 

Ivana Cerna

10:30 - 11:00 Coffee Break

11:00-12:30 SESSION 1

Verifying Service Orchestrations: A Strict-Observational Interface Theory

 

Philip Mayer, Andreas Schroeder and Sebastian Bauer

 

Contract-based Verification of Kmelia Component Assemblies using Event-B

 

Pascal Andre, Gilles Ardourel, Christian Attiogbe and Arnaud Lanoix

Describing Secure Interfaces with Interface Automata

 

Matias Lee and Pedro D'Argenio

 

12:30 - 14:00 Lunch 

12:30-14:00 SESSION 2

Semi-automatic Specification of Behavioural Service Adaptation Contracts

 

Javier Camara, Jose Antonio Martin, Gwen Salaun, Carlos Canal and Ernesto Pimentel

 

Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL

 

Muhammad Uzair Khan and Ludovic Henrio

Towards Context Independent Extra-functional Properties Descriptor for Components

 

Kamil Jezek, Premek Brada and Petr Stepan

Systematic Refinement of Performance Models for Concurrent Software Systems

 

Lucia Kapova and Steffen Becker

16:00 - 16:30 Coffee Break

16:30-17:50 SESSION 3

Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations

 

Franz Brosch, Ralf Gitzel, Heiko Koziolek and Simone Krug

 

Behaviour-Driven Development of Foundational UML Components

 

Ioan Lazar, Simona Motogna and Bazil Parv

A unified toolset for business process model formalization

 

Behnaz Changizi, Natallia Kokash and Farhad Arbab

17:50 - 18:00 Workshop closing

19:30 - 22:30 Joint Workshops Dinner