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



Contents

Invited Speakers

Security Issues in Service Composition.

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari

 1-16

Separating Distribution from Coordination and Computation as Architectural Dimensions.

José Luiz Fiadeiro

 17

The Bisimulation Proof Method: Enhancements and Open Problems.

Davide Sangiorgi

 18-19

Regular Papers

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

Heeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon

 20-32

Bounded Analysis and Decomposition for Behavioural Descriptions of Components.

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

 33-47

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

Iulian Ober, Susanne Graf, David Lesens

 48-62

Synchronizing Behavioural Mismatch in Software Composition.

Carlos Canal, Pascal Poizat, Gwen Salaün

 63-77

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

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

 78-92

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

 93-107

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.

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

 108-122

Transformation Laws for UML-RT.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

 123-137

Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.

Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen

 138-155

Generating Instance Models from Meta Models.

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

 156-170

KM3: A DSL for Metamodel Specification.

Frédéric Jouault, Jean Bézivin

 171-185

Defining Object-Oriented Execution Semantics Using Graph Transformations.

Harmen Kastenberg, Anneke Kleppe, Arend Rensink

 186-201

Type-Safe Runtime Class Upgrades in Creol.

Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe

 202-217

Abstract Interface Behavior of Object-Oriented Languages with Monitors.

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

 218-232

Mobility Mechanisms in Service Oriented Computing.

Claudio Guidi, Roberto Lucchi

 233-250

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

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

 251-266