fmoodsFMOODS'96 Preliminary Program

Monday, March 4

Registration 8:15 - 9:00 Welcome Session 9:00 - 9:30

Session 1: Types and Behaviour 9:30 - 12:20

Chair: Jean-Bernard Stefani (FT - CNET, France)

9:30 - 10:30
Invited Talk: "Processes, Types, and Observations" Benjamin Pierce (Univ. Cambridge, UK)
10:30 - 11:00
Coffee Break
11:00 - 11:30
"Types for Active Objects based on Trace Semantics" Franz Puntigam (Univ. Vienna, Austria)
11:30 - 12:00
"A Type Description Language Supporting Interoperability in Open Distributed Systems" Wayne Brookes (Univ. Queensland, Australia)
12:00 - 12:20
"Including Behaviour into Interfaces" Andreas Prinz (Humboldt-University, Germany)
12:20 - 14:00
Lunch

Session 2: Formalising Object-Oriented Methods 14:00 - 15:30

Chair: Haim Kilov (IBM Watson Research Center, USA)
14:00 - 14:30
"Formalising Fusion Object Oriented Analysis Models" B. W. Bates, J-M. Bruel, R. B. France, M. M. Larrondo-Petrie (Florida Atlantic University, USA)
14:30 - 15:00
"An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols" Claude Jard, Jean-Marc Jezequel, Laurence Nedelka (IRISA, France)
15:00 - 15:30
"Introducing formal notations in the development of object-based distributed applications" Simon Pickin, Carlos Sanchez, Juan Carlos Yelmo (Technical University of Madrid, Spain) Juan Jose Gil, Emilio Rodriguez (Telefonica I+D, Spain)
15:30 - 16:00
Coffee Break

Session 3: Case Studies I 16:00 - 17:00

Chair: Patrick Bellot (ENST, France)

16:00 - 16:30
"Refinement of Distributed Object Systems" K. Lano, S. Goldsack (Imperial College, UK)
16:30 - 17:00
"Some Specification and Proof Steps of a Spanning Tree Algorithm with an Object-Oriented Method" L. Bonnet, L. Duchien, G. Florin, L. Seinturier (CNAM, France)
18:00 - 19:00
Welcome Cocktail

Tuesday, March 5

Opening 9:30

Session 4: Actors 9:30 - 12:10

Chair: Guy Leduc (Univ. Liege)

9:30 - 10:30
Invited Talk: "title to be provided" Gul Agha (Univ. Illinois, USA)
10:30 - 11:00
Coffee Break
11:00 - 11:30
"Interaction Semantics for Components of Distributed Systems" Carolyn Talcott (Stanford University, USA)
11:30 - 11:50 "Using Actors as computational model for OORAM" Hakon Vestli (Telenor R&D, Norway)
11:50 - 12:10 "An Example for Concurrent Reflective Computations in Rewriting Logic" Hiroshi Ishikawa, Kokichi Futatsugi, Takuo Watanabe (JAIST, Japan)
12:10 - 14:00
Lunch

Session 5: Open Distributed Processing (I) 14:00 - 15:20

Chair: Takuo Watanabe (JAIST, Japan)

14:00 - 14:30
"Viewpoint Consistency in ODP, a General Interpretation" H. Bowman, E.A. Boiten, J. Derrick and M.W.A. Steen (Univ. Kent, UK)
14:30 - 15:00
"Specification of Composite Objects based on the ODP Reference Model" D. Ramazani, G. Bochman (Univ. Montreal, Canada)
15:00 - 15:20
"An experience modelling telecommunication systems using ODP-DLcomp" B. Stepien, K. Farooqui, L. Logrippo (Univ. Ottawa, Canada)
15:20 - 16:00
Coffee Break

Session 6: Case Studies II 16:00 - 17:20

Chair: John Derrick (Univ. Kent, UK)

16:00 - 16:30
"Advantages of Formal Specifications: A Case Study of Replication in Lotus Notes" Marc Bourgois (ECRC, Germany)
16:30 - 17:00
"CPN Modelling of an Object Based System: The ODP Trader" Andrew Tokmakoff, Jonathan Billington (Univ. Australia, Australia)
17:00 - 17:20
"An object based description of services in a distributed system" C. Popien, A. Kuepper (Aachen Univ. Technology, Germany)
20:30 Social Event

Wednesday,March 6

Opening 9:30

Session 7: Object and Process Calculi 9:30 - 12:10

Chair: Elie Najm (ENST, France)

9:30 - 10:30
Invited Talk: "Formalizing Composable Software Systems -- A Research Agenda" Oscar Nierstrasz (Univ. Bern, Switzerland)
10:30 - 11:00
Coffee Break
11:00 - 11:30
"Towards a Calculus for Generative Communication" P. Ciancarini, R. Gorrieri, G. Zavattaro (Univ. Bologna, Italy)
11:30 - 11:50 "An Object-Oriented Calculus" Else K. Nordhagen (Univ. Oslo, Norway)
11:50 - 12:10 "A Stream based mathematical model for distributed information processing" C. Klein, B. Rumpe, M. Broy (Technical Univ. Munich, Germany)
12:10 - 14:00
Lunch

Session 8: Specification and Design of 14:00 - 15:30

Distributed Systems Chair: Howard Bowman (Univ. Kent, UK)

14:00 - 14:30
"Formal Specification and Design of Distributed Systems" Alioune DIAGNE and Pascal ESTRAILLIER (Univ. Paris VI & MASI, France)
14:30 - 15:00
"Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling" Shusaku Iida, Kokichi Futatsugi, Takuo Watanabe (JAIST, Japan)
15:00 - 15:30
"Expressing Runtime Structure and Synchronisation in Concurrent OO Languages with MONSTR" R. Banach (Univ. Manchester, UK), G. A. Papadopoulos (Univ. Cyprus, Cyprus)
15:30 - 16:00
Coffee Break

Session 9: Open Distributed Processing (II) 16:00 - 17:10

Chair: Kathleen Milsted (FT - CNET, France)

16:00 - 16:30
"Specifying ODP Computational Objects in Z" R. Sinnott, K. Turner (Univ. Stirling, UK)
16:30 - 16:50
"Can a flat notation be used to specify an OO system: using Z to describe RM-ODP constructs" D.Randolph Johnson, Haim Kilov (IBM Watson Research Center, USA)
16:50 - 17:10
"Supporting ODP - Translating LOTOS to Z" John Derrick, Eerke Boiten, Howard Bowman and Maarten Steen (Univ. Kent, UK)
FMOODS'96 Closing Cocktail
IWQOS'96 Opening
Bureau des ThésardsPage Created and Maintained by Arnaud Février.