PROGRAM OF FASE

Program of FASE

WEDNESDAY 4/4

16.00
17.00 Metamodelling
Session chair: Heinrich Hussmann
Metamodeling and Conformance Checking with PVS
Richard Paige, Jonathan Ostroff (York University, Toronto)
The Meta-Modeling Language Calculus: Foundation Semantics for UML
Tony Clark (King's College London),
Andy Evans (University of York),
Stuart Kent (University of Kent at Canterbury)

17.30
19.00 Distributed Components
Session chair: Hartmut Ehrig
Compositional Checking of Communication Among Observers
Ralf Pinger, Hans-Dieter Ehrich (Technische Universität Braunschweig)
Combining Independent Specifications
Joy Reed (Oxford Brookes University),
Jane Sinclair (University of Warwick)
Proving Deadlock Freedom in Component-Based Programming
Paola Inverardi (Università dell' Aquila),
Sebastian Uchitel (Imperial College)

THURSDAY 5/4

9.00
10.00 Bran Selic (Invited Lecture)

10.30
12.30 UML 1
Session chair: Tom Maibaum
A Real-Time Execution Semantics for UML Activity Diagrams
Rik Eshuis, Roel Wieringa (University of Twente)
A CSP View on UML-RT Structure Diagrams
Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim (Universität Oldenburg)
Strengthening UML Collaboration Diagrams by State Transformations
Reiko Heckel, Stefan Sauer (Universität Paderborn)
Specification of Mixed Systems in Korrigan with the Support of an UML-Inspired Graphical Notation
Christine Choppy (Université Paris XIII),
Pascal Poizat, Jean-Claude Royer (Université de Nantes)

15.00
17.00 UML 2
Session chair: Bernhard Rumpe
On Use Cases and their Relationships in the Unified Modelling Language
Perdita Stevens (University of Edinburgh)
On the Importance of Inter-Scenario Relationships in Hierarchical State Machine Design
Francis Bordeleau, Jean-Pierre Corriveau (Carleton University, Ottawa)
Towards a Rigorous Semantics of UML Supporting its Multiview Approach
Gianna Reggio, Maura Cerioli, Egidio Astesiano (Università di Genova)
Towards Development of Secure Systems using UML
Jan Jürjens (University of Oxford)

FRIDAY 6/4

10.30
12.30 Testing
Session chair: José Fiadeiro
Grammar Testing
Ralf Laemmel (CWI Amsterdam)
Debugging via Run-Time Type Checking
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas Reps (University of Wisconsin-Madison)
Library-based Design and Consistency Checking of System-level Industrial Test Cases
Oliver Niese (METAFrame Technologies, Dortmund),
Bernhard Steffen (Universität Dortmund),
Tiziana Margaria, Andreas Hagerer (METAFrame Technologies, Dortmund),
Georg Brune, Hans-Dieter Ide (Siemens, Witten)
Demonstration of an Automated Integrated Testing Environment for CTI Systems (DEMO)
Oliver Niese, Markus Nagelmann, Andreas Hagerer (METAFrame Technologies, Dortmund),
Klaus Kolodziejczyk-Strunk (HeraKom, Essen),
Werner Goerigk, Andrei Erochok, Bernhard Hammelmann (Siemens, Witten)

15.00
17.00 Formal Methods
Session chair: Michel Bidoit
Semantics of Architectural Specifications in CASL
Lutz Schroeder, Till Mossakowski (Universität Bremen),
Andrzej Tarlecki (Warsaw University),
Bartek Klin (BRICS Aarhus),
Piotr Hoffman (Warsaw University)
Extending Development Graphs with Hiding
Till Mossakowski (Universität Bremen),
Serge Autexier (Universitäat des Saarlandes),
Dieter Hutter (DFKI, Saarbrücken)
A Logic for the Java Modeling Language JML
Bart Jacobs, Erik Poll (University Nijmegen)
A Hoare-Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Rolf Hennicker (Ludwig-Maximilans-Universität München),
Bernhard Reus (University of Sussex at Brighton),
Martin Wirsing (Ludwig-Maximilans-Universität München)

17.30
19.00 Case Studies
Session chair: Martin Wirsing
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
Natasha Sharygina, James C. Browne (University of Texas at Austin),
Robert P. Kurshan (Bell Laboratories)
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
Peter Ölveczky (SRI, Menlo Park),
Mark Keaton (Litton-TASC, Reading),
Jose Meseguer (SRI, Menlo Park),
Carolyn Talcott (Stanford University),
Steve Zabele (Litton-TASC, Reading)

WEDNESDAY 4/4
16.00 17.00	Metamodelling Session chair: Heinrich Hussmann Metamodeling and Conformance Checking with PVS Richard Paige, Jonathan Ostroff (York University, Toronto) The Meta-Modeling Language Calculus: Foundation Semantics for UML Tony Clark (King's College London), Andy Evans (University of York), Stuart Kent (University of Kent at Canterbury)
17.30 19.00	Distributed Components Session chair: Hartmut Ehrig Compositional Checking of Communication Among Observers Ralf Pinger, Hans-Dieter Ehrich (Technische Universität Braunschweig) Combining Independent Specifications Joy Reed (Oxford Brookes University), Jane Sinclair (University of Warwick) Proving Deadlock Freedom in Component-Based Programming Paola Inverardi (Università dell' Aquila), Sebastian Uchitel (Imperial College)
THURSDAY 5/4
9.00 10.00	Bran Selic (Invited Lecture)
10.30 12.30	UML 1 Session chair: Tom Maibaum A Real-Time Execution Semantics for UML Activity Diagrams Rik Eshuis, Roel Wieringa (University of Twente) A CSP View on UML-RT Structure Diagrams Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim (Universität Oldenburg) Strengthening UML Collaboration Diagrams by State Transformations Reiko Heckel, Stefan Sauer (Universität Paderborn) Specification of Mixed Systems in Korrigan with the Support of an UML-Inspired Graphical Notation Christine Choppy (Université Paris XIII), Pascal Poizat, Jean-Claude Royer (Université de Nantes)
15.00 17.00	UML 2 Session chair: Bernhard Rumpe On Use Cases and their Relationships in the Unified Modelling Language Perdita Stevens (University of Edinburgh) On the Importance of Inter-Scenario Relationships in Hierarchical State Machine Design Francis Bordeleau, Jean-Pierre Corriveau (Carleton University, Ottawa) Towards a Rigorous Semantics of UML Supporting its Multiview Approach Gianna Reggio, Maura Cerioli, Egidio Astesiano (Università di Genova) Towards Development of Secure Systems using UML Jan Jürjens (University of Oxford)
FRIDAY 6/4
10.30 12.30	Testing Session chair: José Fiadeiro Grammar Testing Ralf Laemmel (CWI Amsterdam) Debugging via Run-Time Type Checking Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas Reps (University of Wisconsin-Madison) Library-based Design and Consistency Checking of System-level Industrial Test Cases Oliver Niese (METAFrame Technologies, Dortmund), Bernhard Steffen (Universität Dortmund), Tiziana Margaria, Andreas Hagerer (METAFrame Technologies, Dortmund), Georg Brune, Hans-Dieter Ide (Siemens, Witten) Demonstration of an Automated Integrated Testing Environment for CTI Systems (DEMO) Oliver Niese, Markus Nagelmann, Andreas Hagerer (METAFrame Technologies, Dortmund), Klaus Kolodziejczyk-Strunk (HeraKom, Essen), Werner Goerigk, Andrei Erochok, Bernhard Hammelmann (Siemens, Witten)
15.00 17.00	Formal Methods Session chair: Michel Bidoit Semantics of Architectural Specifications in CASL Lutz Schroeder, Till Mossakowski (Universität Bremen), Andrzej Tarlecki (Warsaw University), Bartek Klin (BRICS Aarhus), Piotr Hoffman (Warsaw University) Extending Development Graphs with Hiding Till Mossakowski (Universität Bremen), Serge Autexier (Universitäat des Saarlandes), Dieter Hutter (DFKI, Saarbrücken) A Logic for the Java Modeling Language JML Bart Jacobs, Erik Poll (University Nijmegen) A Hoare-Calculus for Verifying Java Realizations of OCL-Constrained Design Models Rolf Hennicker (Ludwig-Maximilans-Universität München), Bernhard Reus (University of Sussex at Brighton), Martin Wirsing (Ludwig-Maximilans-Universität München)
17.30 19.00	Case Studies Session chair: Martin Wirsing A Formal Object-Oriented Analysis for Software Reliability: Design for Verification Natasha Sharygina, James C. Browne (University of Texas at Austin), Robert P. Kurshan (Bell Laboratories) Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude Peter Ölveczky (SRI, Menlo Park), Mark Keaton (Litton-TASC, Reading), Jose Meseguer (SRI, Menlo Park), Carolyn Talcott (Stanford University), Steve Zabele (Litton-TASC, Reading)