Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Marcello M. Bonsangue
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Einar Broch Johnsen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4468)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FMOODS 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Asynchronous Session Types and Progress for Object Oriented Languages

      • Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
      Pages 1-31

    2. KeY: A Formal Method for Object-Oriented Systems

      • Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
      Pages 32-43

  3. Model Checking

    1. Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking

      • L. Ruhai Cai, Jeremy S. Bradbury, Juergen Dingel
      Pages 44-58

    2. Model Checking of Extended OCL Constraints on UML Models in SOCLe

      • John Mullins, Raveca Oarga
      Pages 59-75

    3. Analysis of UML Activities Using Dynamic Meta Modeling

      • Gregor Engels, Christian Soltenborn, Heike Wehrheim
      Pages 76-90

  5. Components and Services

    1. Adaptation of Open Component-Based Systems

      • Pascal Poizat, Gwen Salaün
      Pages 141-156

    2. A Representation-Independent Behavioral Semantics for Object-Oriented Components

      • Arnd Poetzsch-Heffter, Jan Schäfer
      Pages 157-173

    3. A Formal Language for Electronic Contracts

      • Cristian Prisacariu, Gerardo Schneider
      Pages 174-189

  6. Algebraic Calculi

    1. A Mechanized Model of the Theory of Objects

      • Ludovic Henrio, Florian Kammüller
      Pages 190-205

    2. Pict Correctness Revisited

      • Philippe Bidinger, Adriana Compagnoni
      Pages 206-220

  7. Specification, Verfication and Refinenment

    1. A Refinement Method for Java Programs

      • Holger Grandy, Kurt Stenzel, Wolfgang Reif
      Pages 221-235

    2. Refactoring Object-Oriented Specifications with Data and Processes

      • Thomas Ruhroth, Heike Wehrheim
      Pages 236-251

    3. A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs

      • Frank S. de Boer
      Pages 252-268

  8. Quality of Service

    1. Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders

      • Marco Bernardo, Luca Padovani
      Pages 269-284

    2. A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems

      • Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian
      Pages 285-300

    3. On Resource-Sensitive Timed Component Connectors

      • Sun Meng, Farhad Arbab
      Pages 301-316
Back to top

Other volumes

  1. Formal Methods for Open Object-Based Distributed Systems

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation