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
Author(s)
Bibliographic Information
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
(The International Federation for Information Processing, 49)
Kluwer Academic Publishers, c2000
Available at / 10 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Stanford||2000.900061032
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
Description and Table of Contents
Description
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 (R);
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
- Preface. Part I: Invited Talk. On the Semantics of Java Spaces
- N. Busi, et al. Part II: Mobility. Elements of an object-based model for distributed and mobile computation
- J.-B. Stefani, et al. Specification of Mobile Code Systems using Graph Grammars
- F.L. Dotti, L. Ribeiro. Atomic Failure in Wide-Area Computation
- D. Duggan. Part III: Invited Talk. Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems
- J. Meseguer. Part IV: Java / UML. Requirements Level Semantics for UML Statecharts
- R. Eshuis, R. Wieringa. A Step Toward Automatic Distribution of Java Programs
- I. Attali, et al. Using Relationals and Behavioural Semantics in the Verification of Object Models
- C. Bolton, J. Davies. Formally Modeling UML and its Evolution: A Holistic Approach
- A.T. Alvarez, et al. Part V: Invited Talk. Object-Oriented Programming for Wide-Area Computing
- J. Misra. Part VI: Refinement and Subtyping. Behavioural Subtyping and Property Preservation
- H. Wehrheim. A Practical Approach to Incremental Specification
- C. Lakos, G. Lewis. Refinement of objects and operations in Object-Z
- J. Derrick, E. Boiten. Part VII: Invited Talk. E-speak: the Technology for Ubiquitous E-services
- A.H. Karp. Part VIII: Time. Behavior Expression and OMDD
- Y. Wang. On a Temporal Logic for Object-Based Systems
- D. Distefano, et al. Stochastically Enhanced Timed Automata
- L. Blair, et al. Part IX: Components. Fail-Stop Components by Pattern Matching
- T. Janowski, W.I. Mostowski. A Formal Specification of the CORBAEvent Service
- R. Bastide, et al. Components as Processes: An Exercise in Coalgebraic Modeling
- L.S. Barbosa.
by "Nielsen BookData"