FMOODS 2000 Program

September 6-8, 2000 Stanford California

All talks will take place in Gates B03

Email terminals and internet access for laptops are available in Gates B08

Gates 200 is reserved for random FMOODS 2000 activity.

Wednesday, 6 September 2000

8:15 - 8:45 Registration

8:55 - 9:00 Welcome and Opening Remarks

9:00 - 10:00 Invited Talk

• On the Semantics of JavaSpaces
  Roberto Gorrieri (University of Bologna, Italy)
  Chair: Arend Rensink

10:00 - 10:30 Coffee break

10:30-12:00 Session 1.     Chair: Lynne Blair

• Elements of an Object-based Model for Distributed and Mobile Computation
  Jean-Bernard Stefani, Florence Germain, Elie Najm
• Specification of Mobile Code Systems using Graph Grammars
  Fernando Luís Dotti, Leila Ribeiro
• Atomic Failure in Wide-Area Computation
  Dominic Duggan

12:00 - 14:00 Lunch + Poster/Demo Session

14:00 - 15:00 Invited Talk

• Rewriting Logic and Maude:
  A Wide-spectrum Semantic Framework for Open Object-based Distributed Systems
  Jose Meseguer (SRI International)
  Chair: Carolyn Talcott

15:00 - 15:30 Break

15:30 - 17:30 Session 2.     Chair: Sriram Sankar

• Requirements Level Semantics for UML Statecharts
  Rik Eshuis and Roel Wieringa
• A Step Toward Automatic Distribution of Java Programs
  Isabelle Attali, Denis Caromel and Romain Guider
• Using Relational and Behavioural Semantics in the Verification of Object Models
  Christie Bolton and Jim Davies
• Formally Modeling UML and its Evolution: A Holistic Approach
  Ambrosio Toval Alvarez and Jose Luis Fernandez Aleman

Thursday, 7 September 2000

9:00 - 10:00 Invited Talk

• Object-Oriented Programming for Wide-Area Computing
  Jayadev Misra (University of Texas, Austin Texas, USA)
  Chair: Scott Smith

10:00 - 10:30 Coffee break

10:30-12:00 Session 3.    Chair: Alessandro Fantechi

• Behavioural Subtyping and Property Preservation
  Heike Wehrheim
• A Practical Approach to Incremental Specification
  Charles Lakos and Glenn Lewis
• Refinement of objects and operations in Object-Z
  John Derrick, Eerke Boiten

12:00 - 14:00 Lunch + Poster/Demo Session

14:00 - 15:00 Invited Talk

• High Confidence Adaptive and Reflective Middleware: Fact or Fiction?
  Doug Schmidt (DARPA ISO)
  Chair: Jose Meseguer

15:00 - 15:30 Discussion

15:30 - 16:00 Break

16:00 - 17:30 Session 4.    Chair: John Derrick

• On a Temporal Logic for Object-Based Systems
  Dino Distefano, Joost-Pieter Katoen and Arend Rensink
• Stochastically Enhanced Timed Automata
  Lynne Blair, Trevor Jones and Gordon Blair
• Behavior Expression and OMDD: A New Methodology for Real-time Distributed Systems
  Yunming Wang, Albert Benveniste, Jean-Pierre Talpin and Paul Le Guernic

19:00 Conference Dinner -- Minokichi 150 University Ave. Palo Alto

Friday, 8 September 2000

9:00 - 10:00 Invited Talk

• E-speak: the Technology for Ubiquitous E-services
  Alan H. Karp (Hewlett-Packard Laboratories)
  Chair: Nalini Venkatasubramanian

10:00 - 10:30 Coffee break

10:30-12:00 Session 5.    Chair: Dusko Pavlovic

• Fail-Stop Components by Pattern Matching
  Tomasz Janowski, Wojciech Mostowski
• A Formal Specification of the CORBA Event Service
  Remi Bastide, Philippe Palanque, Ousmane Sy and David Navarre
• Components as Processes: An Exercise in Coalgebraic Modeling
  L. S. Barbosa

12:00 - 14:00 Lunch

14:00 - 17:00 Informal groups and Birds-of-Feather sessions

• See notice board for further details