Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)3642021379, 9783642021374

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.

The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

Table of contents :
Front Matter….Pages –
The Orc Programming Language….Pages 1-25
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions….Pages 26-40
Approximated Context-Sensitive Analysis for Parameterized Verification….Pages 41-56
Verification of Parameterized Systems with Combinations of Abstract Domains….Pages 57-72
On Model-Checking Optimistic Replication Algorithms….Pages 73-89
Recursive Parametric Automata and ε -Removal….Pages 90-105
A Software Platform for Timed Mobility and Timed Interaction….Pages 106-121
Modeling, Validation, and Verification of PCEP Using the IF Language….Pages 122-136
Distinguing Non-deterministic Timed Finite State Machines….Pages 137-151
System Model-Based Definition of Modeling Language Semantics….Pages 152-166
Typing Component-Based Communication Systems….Pages 167-181
Epistemic Logic for the Applied Pi Calculus….Pages 182-197
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems….Pages 198-212
Using First-Order Logic to Reason about Submodule Construction….Pages 213-218
A Model-Checking Approach for Service Component Architectures….Pages 219-224
Dynamic Symbolic Execution of Distributed Concurrent Objects….Pages 225-230
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach….Pages 231-236
A Type Graph Model for Java Programs….Pages 237-242
Conformance Testing of Network Simulators Based on Metamorphic Testing Technique….Pages 243-248
Back Matter….Pages –