Formal Techniques for Distributed Systems

1. Front Matter

   PDF

2. Invited Contribution

   1. The Orc Programming Language

      • David Kitchin, Adrian Quark, William Cook, Jayadev Misra

      Pages 1-25

3. Regular Contributions

   1. Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions

      • Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini

      Pages 26-40

   2. Approximated Context-Sensitive Analysis for Parameterized Verification

      • Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine

      Pages 41-56

   3. Verification of Parameterized Systems with Combinations of Abstract Domains

      • Naghmeh Ghafari, Arie Gurfinkel, Richard Trefler

      Pages 57-72

   4. On Model-Checking Optimistic Replication Algorithms

      • Hanifa Boucheneb, Abdessamad Imine

      Pages 73-89

   5. Recursive Parametric Automata and ε-Removal

      • Lin Liu, Jonathan Billington

      Pages 90-105

   6. A Software Platform for Timed Mobility and Timed Interaction

      • Gabriel Ciobanu, Călin Juravle

      Pages 106-121

   7. Modeling, Validation, and Verification of PCEP Using the IF Language

      • Iksoon Hwang, Mounir Lallali, Ana Cavalli, Dominique Verchere

      Pages 122-136

   8. Distinguing Non-deterministic Timed Finite State Machines

      • Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko

      Pages 137-151

   9. System Model-Based Definition of Modeling Language Semantics

      • Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe

      Pages 152-166

   10. Typing Component-Based Communication Systems

       • Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani

       Pages 167-181

   11. Epistemic Logic for the Applied Pi Calculus

       • Rohit Chadha, Stéphanie Delaune, Steve Kremer

       Pages 182-197

   12. On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

       • Morten Kühnrich, Uwe Nestmann

       Pages 198-212

4. Short Papers

   1. Using First-Order Logic to Reason about Submodule Construction

      • Gregor v. Bochmann

      Pages 213-218

   2. A Model-Checking Approach for Service Component Architectures

      • João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi

      Pages 219-224

   3. Dynamic Symbolic Execution of Distributed Concurrent Objects

      • Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte

      Pages 225-230

   4. Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach

      • Gregorio Díaz, Ismael Rodríguez

      Pages 231-236

   5. A Type Graph Model for Java Programs

      • Arend Rensink, Eduardo Zambon

      Pages 237-242

   6. Conformance Testing of Network Simulators Based on Metamorphic Testing Technique

      • Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang

      Pages 243-248

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.

• algorithms
• automata theory
• epistemic logic
• finite state machines
• first-order logic
• mod
• model checking
• modeling
• network simulator
• object oriented design
• orc
• pi calculus
• testing
• validation
• verification

• 395 Dreese Laboratories, Department of Computer Science and Engineering, The Ohio State University, Columbus, USA

  David Lee

• Faculty of Sciences, Department of Informatics, University of Lisbon, Lisboa, Portugal

  Antónia Lopes

• Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern, Germany

  Arnd Poetzsch-Heffter

Policies and ethics