IFIP TC6 Open Digital Library

8. FMOODS 2006: Bologna, Italy

Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Roberto Gorrieri, Heike Wehrheim

Springer, Lecture Notes in Computer Science 4037, ISBN: 3-540-34893-X


Invited Speakers

Security Issues in Service Composition.

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari


Separating Distribution from Coordination and Computation as Architectural Dimensions.

José Luiz Fiadeiro


The Bisimulation Proof Method: Enhancements and Open Problems.

Davide Sangiorgi


Regular Papers

An Approach to Quality Achievement at the Architectural Level: AQUA.

Heeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon


Bounded Analysis and Decomposition for Behavioural Descriptions of Components.

Pascal Poizat, Jean-Claude Royer, Gwen Salaün


Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.

Iulian Ober, Susanne Graf, David Lesens


Synchronizing Behavioural Mismatch in Software Composition.

Carlos Canal, Pascal Poizat, Gwen Salaün


Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux


Temporal Superimposition of Aspects for Dynamic Software Architecture.

Carlos Enrique Cuesta Quintero, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano


Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina


Transformation Laws for UML-RT.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota


Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.

Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen


Generating Instance Models from Meta Models.

Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer, Jessica Winkelmann


KM3: A DSL for Metamodel Specification.

Frédéric Jouault, Jean Bézivin


Defining Object-Oriented Execution Semantics Using Graph Transformations.

Harmen Kastenberg, Anneke Kleppe, Arend Rensink


Type-Safe Runtime Class Upgrades in Creol.

Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe


Abstract Interface Behavior of Object-Oriented Languages with Monitors.

Erika Ábrahám, Andreas Grüner, Martin Steffen


Mobility Mechanisms in Service Oriented Computing.

Claudio Guidi, Roberto Lucchi


Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.

Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He