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 |