Skip to main content
  • Conference proceedings
  • © 2007

Formal Methods for Open Object-Based Distributed Systems

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

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

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

Conference series link(s): FMOODS: International Conference on Formal Methods for Open Object-Based Distributed Systems

Conference proceedings info: FMOODS 2007.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

  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. Analysis of UML Activities Using Dynamic Meta Modeling

      • Gregor Engels, Christian Soltenborn, Heike Wehrheim
      Pages 76-90
  4. Rewriting Logic

  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
  8. Quality of Service

    1. 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
    2. On Resource-Sensitive Timed Component Connectors

      • Sun Meng, Farhad Arbab
      Pages 301-316

Other Volumes

  1. Formal Methods for Open Object-Based Distributed Systems

Keywords

  • Ada
  • Java
  • Unified Modeling Language (UML)
  • Variable
  • algorithm
  • algorithmic skeleton
  • algorithms
  • component-based systems
  • constraint automata
  • formal language
  • model checking
  • model-based design
  • modeling
  • object-oriented programming
  • serv

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions