IFIP TC6 Open Digital Library

9. FMOODS 2007: Paphos, Cyprus

Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Marcello M. Bonsangue, Einar Broch Johnsen

Springer, Lecture Notes in Computer Science 4468, ISBN: 978-3-540-72919-8



Contents

Invited Talks

Asynchronous Session Types and Progress for Object Oriented Languages.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida

 1-31

KeY: A Formal Method for Object-Oriented Systems.

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

 32-43

Model Checking

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

L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel

 44-58

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

John Mullins, Raveca Oarga

 59-75

Analysis of UML Activities Using Dynamic Meta Modeling.

Gregor Engels, Christian Soltenborn, Heike Wehrheim

 76-90

Rewriting Logic

Distributed Applications Implemented in Maude with Parameterized Skeletons.

Adrián Riesco, Alberto Verdejo

 91-106

On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.

Mark Hills, Grigore Rosu

 107-121

Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.

Peter Csaba Ölveczky, Stian Thorvaldsen

 122-140

Components and Services

Adaptation of Open Component-Based Systems.

Pascal Poizat, Gwen Salaün

 141-156

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

Arnd Poetzsch-Heffter, Jan Schäfer

 157-173

A Formal Language for Electronic Contracts.

Cristian Prisacariu, Gerardo Schneider

 174-189

Algebraic Calculi

A Mechanized Model of the Theory of Objects.

Ludovic Henrio, Florian Kammüller

 190-205

Pict Correctness Revisited.

Philippe Bidinger, Adriana B. Compagnoni

 206-220

Specification, Verfication and Refinenment

A Refinement Method for Java Programs.

Holger Grandy, Kurt Stenzel, Wolfgang Reif

 221-235

Refactoring Object-Oriented Specifications with Data and Processes.

Thomas Ruhroth, Heike Wehrheim

 236-251

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

Frank S. de Boer

 252-268

Quality of Service

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

Marco Bernardo, Luca Padovani

 269-284

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

Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian

 285-300

On Resource-Sensitive Timed Component Connectors.

Sun Meng, Farhad Arbab

 301-316