Ebook: 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: Nadia Busi Roberto Gorrieri Gianluigi Zavattaro (auth.) Scott F. Smith Carolyn L. Talcott (eds.)
- Tags: Processor Architectures, Computing Methodologies, Data Structures Cryptology and Information Theory, Programming Languages Compilers Interpreters
- Series: IFIP Advances in Information and Communication Technology 49
- Year: 2000
- Publisher: Springer US
- Edition: 1
- Language: English
- pdf
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.
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.
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.
Content:
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
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.
Content:
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
....
Download the book 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 for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)