| Preface |
| Invited Talk / Part I： |
| On the Semantics of JavaSpaces / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro |
| Mobility / Part II： |
| 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 Luis Dotti ; Leila Ribeiro |
| Atomic Failure in Wide-Area Computation / Dominic Duggan |
| Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems / Jose MeseguerPart III： |
| Java / UML / Part IV： |
| Requirements Level Semantics for UML Statecharts / Rik Eshuis ; Roel Wieringa |
| A Step Toward Automatic Distribution of Java Programs / Isabelle Attali ; Denis Caromel ; Romain Guider |
| Using Relational and Behavioural Semantics in the Verification of Object Models / Christie Bolton ; Jim Davies |
| Formally Modeling UML and its Evolution: A Holistic Approach / Ambrosio Toval Alvarez ; Jose Luis Fernandez Aleman |
| Object-Oriented Programming for Wide-Area Computing / Jayadev MisraPart V： |
| Refinement and Subtyping / Part VI： |
| Behavioural Subtyping and Property Preservation / Heike Wehrheim |
| A Practical Approach to Incremental Specification / Charles Lakos ; Glenn Lewis |
| Refinement of objects and operations in Object-Z / John Derrick ; Eerke Boiten |
| E-speak: the Technology for Ubiquitous E-services / Alan H. KarpPart VII： |
| Time / Part VIII： |
| Behavior Expression and OMDD / Yunming Wang |
| On a Temporal Logic for Object-Based Systems / Dino Distefano ; Joost-Pieter Katoen ; Arend Rensink |
| Stochastically Enhanced Timed Automata / Lynne Blair ; Trevor Jones ; Gordon Blair |
| Components / Part IX： |
| Fail-Stop Components by Pattern Matching / Tomasz Janowski ; Wojciech I. Mostowski |
| A Formal Specification of the CORBA Event Service / Remi Bastide ; Ousmane Sy ; David Navarre ; Philippe Palanque |
| Components as Processes: An Exercise in Coalgebraic Modeling / L. S. Barbosa |
| Invited presentations / I： |
| Software Model Checking: The Bandera approach / M. Dwyer |
| Verifying Authentication Protocol Implementations / S. Schneider |
| A Semantic Framework for Specifying and Reasoning about Composable Distributed Middelware Services / C. Talcott |
| Multiple Viewpoint Modelling / II： |
| Formal Semantics for Interacting UML Subsystems / J. Jnrjens |
| A Compositional Formalism for Object Viewpoints / E.B. Johnsen ; O. Owe |
| Interpreting ODP Viewpoint Specification: Observations from a Case Study / C. Taylor, et al. |
| Types, Service Types and Subtyping / III： |
| Checking Behavioural Subtypes via Refinement / H. Wehrheim |
| Behavioural Suptyping and Property Preservation for Active Objects / N. Hameurlain |
| A Formal Service Specification for IIOP Based on ISO/IEC 14752 / A. Singh ; J. Billington |
| Semantics of Object-Based Programming Languages / IV： |
| Mobile Objects `Must' Move Safely / S. Briais ; U. Nestmann |
| A Theory of May Testing for Actors / P. Thati, et al. |
| Computer-Aided Specification and Verification of Annotated Object-Oriented Programs / F. de Boer ; C. Pierik |
| Verification and Validation / V： |
| Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm / K. Ogata ; Kokichi Futatsugi |
| Control Flow Analysis of Mobile Ambients with Security Boundaries / C. Braghin, et al. |
| Specification and Analysis Techniques / VI： |
| A Feature Manager Approach to the Analysis of Component-Interactions / L. Blair, et al. |
| Supporting Collaborative Design / Yanjie Wang ; C. George |
| A Visual Modeling Framework for Distributed Object Computing / G. Taentzer |
| Author Index |
| Preface |
| Invited Talk / Part I： |
| On the Semantics of JavaSpaces / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro |
| Mobility / Part II： |
| 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 Luis Dotti ; Leila Ribeiro |
