PROGRAMME OF FASE

Programme of FASE

MONDAY, 8 April

9.00
9.30 Welcome

9.30
10.30 FASE Invited Talk
Hellmuth Broda (Sun Microsystems (Schweiz) AG)
Jini Software Architecture - The End of Protocols as we know them
Session chair: Herbert Weber

10.30
11.15 Coffee

11.15
12.45 FASE
Components & Architectures I: Formal Frameworks

Session chair: Michael Perin (Grenoble, France)

An Approach to Composition Motivated by wp
Michel Charpentier (University of New Hampshire, USA)
Compositional Verification of Secure Applet Interactions
Gilles Barthe, Dilian Gurov, Marieke Huisman (INRIA Sophia-Antipolis, France and Swedish Institute of Computer Science, Kista, Sweden)
A Generic Component Framework for System Modeling
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen (Technical University of Berlin, Germany and Universidad Politecnica de Catalunya, Spain)

12.45
14.15 Lunch

14.15
16.15 FASE
Model and Program Analysis

Session chair: Gabriele Taentzer (Paderborn, Germany)

Implementing Condition/Event Nets in the Circal Process Algebra
Antonio Cerone (University of Queensland, Australia)
Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs
Fei Xie, James C. Browne (University of Texas at Austin, USA)
Model Generation by Moderated Regular Extrapolation
Oliver Niese, Andreas Hagerer, Hardi Hungar, Bernhard Steffen (METAFrame-Technologies GmbH, Dortmund, Germany and University of Dortmund, Germany)
Better Slicing of Programs with Jumps and Switches
Sumit Kumar, Susan Horwitz (University of Wisconsin, USA and Gramma Tech., Inc.)

16.15
16.45 Coffee

16.45
18.15 FASE
Components & Architectures II: Architecture Descriptions

Session chair: Herbert Weber (Berlin, Germany)

Architectural Types Revisited: Extensible And/Or Connections
Marco Bernardo, Francesco Franzè (Libera Universita di Urbino, Italy)
Mapping an ADL to a Component-based Application Development Environment
Virginia C. C. de Paula, Thais V. Batista (Federal University of Rio Grande do Norte, Brasil)
From EDOC components to CCM components: a precise mapping specification
Mariano Belaunde, Mikael Peltier (France Telecom, R & D, France)

20.00 Reception

TUESDAY, 9 April

9.00
10.00 ESOP Invited Talk
Greg Morrisett (Cornell University, USA)
Type Checking Systems Code
Session chair: Daniel Le Métayer

10.00
10.45 Coffee

10.45
12.45 FASE
Tool Demos

Session chair: Peter Mosses

The Coordination Development Environment
João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro (Univ. Nova de Lisboa, Portugal)
The KeY System: Integrating Object-Oriented Design and Formal Methods
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski (Universität Karlsruhe, Germany and Chalmers University, Gothenburg, Sweden)
ObjectCheck: A Model Checking Tool for Executable Object-oriented Software System Designs
Fei Xie, Vladimir Levin, James C. Browne (University of Texas, Austin, USA)
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems
Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide (METAFrame-Technologies GmbH, Dortmund, Germany and University of Dortmund, Germany)

12.45
14.15 Lunch

14.15
15.15 TACAS Invited Talk
Michael Lowry (NASA Ames Research Center)
Software Construction and Analysis Tools for Future Space Missions
Session chair: Perdita Stevens

15.15
16.00 Coffee

16.00
17.30 FASE
Meta-models

Session chair: Ralf-D. Kutsche (Berlin, Germany)

Engineering Modelling Languages: A Precise Meta-Modelling Approach
Tony Clark, Andy Evans, Stuart Kent (King's College, London, University of York and University of Kent, United Kingdom)
ATOM3: A Tool for Multi-formalism Modelling and Meta-modelling
Juan de Lara, Hans Vangheluwe (Universidad Autonoma de Madrid, Spain and McGill University, Montreal, Canada)
A Toolbox for Automating Visual Software Engineering
Luciano Baresi, Mauro Pezzé (Politecnico di Milano, Italy and Universita degli Studi di Milano, Italy)

17.30
17.45 Short Break

17.45
18.45 FASE
Formal Approaches towards UML

Session chair: Martin Grosse-Rhode (Berlin, Germany)

Enriching OCL using observational mu-calculus
Julian Bradfield, Juliana Küster Filipe, Perdita Stevens (University of Edinburgh, United Kingdom)
Formal Verification of UML Statecharts with Real-time Extensions
Alexandre David, M. Oliver Möller, Wang Yi (Uppsala University, Sweden and Aarhus University, Denmark)

18:45
19:30 EASST General Assembly

Session chair:

20.00 nyd

WEDNESDAY, 10 April

9.00
10.00 ETAPS Invited Talk
Daniel Jackson (MIT Lab for Computer Science)
Alloy: A New Technology for Software Modelling
Session chair: Susanne Graf

10.00
10.45 Coffee

10.45
12.45 FASE
Requirements Engineering

Session chair: Tiziana Margaria (Dortmund, Germany)

An Authoring Tool for Informal and Formal Requirements Specifications
Reiner Hähnle, Kristofer Johannisson, Aarne Ranta (Chalmer University of Technology, Gothenburg, Sweden)
Introducing Context-Based Constraints for Requirements Engineering
Felix Bübl (Technical University of Berlin, Germany)
Formal Requirements Engineering using Observer Models
Andreas Nonnengart, Georg Rock, Werner Stephan (German Research Centre for Artificial Intelligence, Saarbruecken, Germany)
Automatic Generation of Use Cases from Workflows: a Petri net based approach
Oscar López, Miguel A. Laguna, Francisco J. García (Technological Institute of Costa Rica, University of Valladolid, University of Salamanca, Spain)

12.45
14.15 Lunch

14.15
15.15 ETAPS Invited Talk
Mary Shaw (Carnegie Mellon University)
What Makes Good Research in Software Engineering?
Session chair: José Fiadeiro

15.15
16.00 Coffee

16.00
17.30 FASE
Case tools

Session chair: Marie-Claude Gaudel (Orsay, France)

Meta-modeling Techniques Meet Web Application Design Tools
Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini (Politecnico di Milano, Italy)
Formal-Driven Conceptualization and Prototyping of Hypermedia Applications
Antonio Navarro, Baltasar Fernandez-Manjon, Alfredo Fernandez-Valmayor, Jose Luis Sierra (Universidad Complutense de Madrid, Spain)

MONDAY, 8 April
9.00 9.30	Welcome
9.30 10.30	FASE Invited Talk Hellmuth Broda (Sun Microsystems (Schweiz) AG) Jini Software Architecture - The End of Protocols as we know them Session chair: Herbert Weber
10.30 11.15	Coffee
11.15 12.45	FASE Components & Architectures I: Formal Frameworks Session chair: Michael Perin (Grenoble, France) An Approach to Composition Motivated by wp Michel Charpentier (University of New Hampshire, USA) Compositional Verification of Secure Applet Interactions Gilles Barthe, Dilian Gurov, Marieke Huisman (INRIA Sophia-Antipolis, France and Swedish Institute of Computer Science, Kista, Sweden) A Generic Component Framework for System Modeling Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen (Technical University of Berlin, Germany and Universidad Politecnica de Catalunya, Spain)
12.45 14.15	Lunch
14.15 16.15	FASE Model and Program Analysis Session chair: Gabriele Taentzer (Paderborn, Germany) Implementing Condition/Event Nets in the Circal Process Algebra Antonio Cerone (University of Queensland, Australia) Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs Fei Xie, James C. Browne (University of Texas at Austin, USA) Model Generation by Moderated Regular Extrapolation Oliver Niese, Andreas Hagerer, Hardi Hungar, Bernhard Steffen (METAFrame-Technologies GmbH, Dortmund, Germany and University of Dortmund, Germany) Better Slicing of Programs with Jumps and Switches Sumit Kumar, Susan Horwitz (University of Wisconsin, USA and Gramma Tech., Inc.)
16.15 16.45	Coffee
16.45 18.15	FASE Components & Architectures II: Architecture Descriptions Session chair: Herbert Weber (Berlin, Germany) Architectural Types Revisited: Extensible And/Or Connections Marco Bernardo, Francesco Franzè (Libera Universita di Urbino, Italy) Mapping an ADL to a Component-based Application Development Environment Virginia C. C. de Paula, Thais V. Batista (Federal University of Rio Grande do Norte, Brasil) From EDOC components to CCM components: a precise mapping specification Mariano Belaunde, Mikael Peltier (France Telecom, R & D, France)
20.00	Reception
TUESDAY, 9 April
9.00 10.00	ESOP Invited Talk Greg Morrisett (Cornell University, USA) Type Checking Systems Code Session chair: Daniel Le Métayer
10.00 10.45	Coffee
10.45 12.45	FASE Tool Demos Session chair: Peter Mosses The Coordination Development Environment João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro (Univ. Nova de Lisboa, Portugal) The KeY System: Integrating Object-Oriented Design and Formal Methods Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski (Universität Karlsruhe, Germany and Chalmers University, Gothenburg, Sweden) ObjectCheck: A Model Checking Tool for Executable Object-oriented Software System Designs Fei Xie, Vladimir Levin, James C. Browne (University of Texas, Austin, USA) Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide (METAFrame-Technologies GmbH, Dortmund, Germany and University of Dortmund, Germany)
12.45 14.15	Lunch
14.15 15.15	TACAS Invited Talk Michael Lowry (NASA Ames Research Center) Software Construction and Analysis Tools for Future Space Missions Session chair: Perdita Stevens
15.15 16.00	Coffee
16.00 17.30	FASE Meta-models Session chair: Ralf-D. Kutsche (Berlin, Germany) Engineering Modelling Languages: A Precise Meta-Modelling Approach Tony Clark, Andy Evans, Stuart Kent (King's College, London, University of York and University of Kent, United Kingdom) ATOM3: A Tool for Multi-formalism Modelling and Meta-modelling Juan de Lara, Hans Vangheluwe (Universidad Autonoma de Madrid, Spain and McGill University, Montreal, Canada) A Toolbox for Automating Visual Software Engineering Luciano Baresi, Mauro Pezzé (Politecnico di Milano, Italy and Universita degli Studi di Milano, Italy)
17.30 17.45	Short Break
17.45 18.45	FASE Formal Approaches towards UML Session chair: Martin Grosse-Rhode (Berlin, Germany) Enriching OCL using observational mu-calculus Julian Bradfield, Juliana Küster Filipe, Perdita Stevens (University of Edinburgh, United Kingdom) Formal Verification of UML Statecharts with Real-time Extensions Alexandre David, M. Oliver Möller, Wang Yi (Uppsala University, Sweden and Aarhus University, Denmark)
18:45 19:30	EASST General Assembly Session chair:
20.00	nyd
WEDNESDAY, 10 April
9.00 10.00	ETAPS Invited Talk Daniel Jackson (MIT Lab for Computer Science) Alloy: A New Technology for Software Modelling Session chair: Susanne Graf
10.00 10.45	Coffee
10.45 12.45	FASE Requirements Engineering Session chair: Tiziana Margaria (Dortmund, Germany) An Authoring Tool for Informal and Formal Requirements Specifications Reiner Hähnle, Kristofer Johannisson, Aarne Ranta (Chalmer University of Technology, Gothenburg, Sweden) Introducing Context-Based Constraints for Requirements Engineering Felix Bübl (Technical University of Berlin, Germany) Formal Requirements Engineering using Observer Models Andreas Nonnengart, Georg Rock, Werner Stephan (German Research Centre for Artificial Intelligence, Saarbruecken, Germany) Automatic Generation of Use Cases from Workflows: a Petri net based approach Oscar López, Miguel A. Laguna, Francisco J. García (Technological Institute of Costa Rica, University of Valladolid, University of Salamanca, Spain)
12.45 14.15	Lunch
14.15 15.15	ETAPS Invited Talk Mary Shaw (Carnegie Mellon University) What Makes Good Research in Software Engineering? Session chair: José Fiadeiro
15.15 16.00	Coffee
16.00 17.30	FASE Case tools Session chair: Marie-Claude Gaudel (Orsay, France) Meta-modeling Techniques Meet Web Application Design Tools Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini (Politecnico di Milano, Italy) Formal-Driven Conceptualization and Prototyping of Hypermedia Applications Antonio Navarro, Baltasar Fernandez-Manjon, Alfredo Fernandez-Valmayor, Jose Luis Sierra (Universidad Complutense de Madrid, Spain)