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


Invited Talks

Asynchronous Session Types and Progress for Object Oriented Languages.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida


KeY: A Formal Method for Object-Oriented Systems.

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


Model Checking

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

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


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

John Mullins, Raveca Oarga


Analysis of UML Activities Using Dynamic Meta Modeling.

Gregor Engels, Christian Soltenborn, Heike Wehrheim


Rewriting Logic

Distributed Applications Implemented in Maude with Parameterized Skeletons.

Adrián Riesco, Alberto Verdejo


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

Mark Hills, Grigore Rosu


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

Peter Csaba Ölveczky, Stian Thorvaldsen


Components and Services

Adaptation of Open Component-Based Systems.

Pascal Poizat, Gwen Salaün


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

Arnd Poetzsch-Heffter, Jan Schäfer


A Formal Language for Electronic Contracts.

Cristian Prisacariu, Gerardo Schneider


Algebraic Calculi

A Mechanized Model of the Theory of Objects.

Ludovic Henrio, Florian Kammüller


Pict Correctness Revisited.

Philippe Bidinger, Adriana B. Compagnoni


Specification, Verfication and Refinenment

A Refinement Method for Java Programs.

Holger Grandy, Kurt Stenzel, Wolfgang Reif


Refactoring Object-Oriented Specifications with Data and Processes.

Thomas Ruhroth, Heike Wehrheim


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

Frank S. de Boer


Quality of Service

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

Marco Bernardo, Luca Padovani


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


On Resource-Sensitive Timed Component Connectors.

Sun Meng, Farhad Arbab