Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

✍ Scribed by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Scott F. Smith, Carolyn L. Talcott (eds.)

• Publisher: Springer US
• Year: 2000
• Tongue: English
• Leaves: 408
• Series: IFIP Advances in Information and Communication Technology 49
• Edition: 1
• Category: Library

✦ Synopsis

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Papers in this volume focus on the following specific technologies:

• components;
• mobile code;
• Java®;
• The Unified Modeling Language (UML);
• refinement of specifications;
• types and subtyping;
• temporal and probabilistic systems.

This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

✦ Table of Contents

Front Matter....Pages i-xii
Front Matter....Pages 1-1
On the Semantics of Javaspaces....Pages 3-19
Front Matter....Pages 21-21
Elements of an Object-Based Model for Distributed and Mobile Computation....Pages 23-43
Specification of Mobile Code Systems Using Graph Grammars....Pages 45-64
Atomic Failure in Wide-Area Computation....Pages 65-86
Front Matter....Pages 87-87
Rewriting Logic and Maude: A Wide-Spectrum Semantic Framework for Object-Based Distributed Systems....Pages 89-117
Front Matter....Pages 119-119
Requirements-Level Semantics for UML Statecharts....Pages 121-140
A Step Toward Automatic Distribution of Java Programs....Pages 141-161
Using Relational and Behavioural Semantics in the Verification of Object Models....Pages 163-182
Formally Modeling UML and its Evolution: A Holistic Approach....Pages 183-206
Front Matter....Pages 207-207
Object-Oriented Programming for Wide-Area Computing....Pages 209-209
Front Matter....Pages 211-211
Behavioural Subtyping and Property Preservation....Pages 213-231
A Practical Approach to Incremental Specification....Pages 233-256
Refinement of Objects and Operations in Object-Z....Pages 257-277
Front Matter....Pages 279-279
E-Speak: The Technology for Ubiquitous E-Services....Pages 281-281
Front Matter....Pages 283-283
Behavior Expression and OMDD....Pages 285-304
On a Temporal Logic for Object-Based Systems....Pages 305-325
Stochastically Enhanced Timed Automata....Pages 327-347
Front Matter....Pages 349-349
Fail-Stop Components by Pattern Matching....Pages 351-370
A Formal Specification of the CORBA Event Service....Pages 371-395
Components as Processes: An Exercise in Coalgebraic Modeling....Pages 397-417

✦ Subjects

Processor Architectures; Computing Methodologies; Data Structures, Cryptology and Information Theory; Programming Languages, Compilers, Interpreters