|
|
 |
FMOODS
06
8th
IFIP International Conference on
Formal Methods for Open Object-Based Distributed Systems
Bologna, Italy, 14 - 16 June, 2006
|
Preliminary program:
Wednesday
14 June
Registration: 8:00-8:45
(P.zza San Giovanni in Monte, 2)
Welcome: 8:45-9:00
(Aula Absidale)
Invited speaker:
9:00-10:00 (Aula Absidale)
Coffee break: 10:00-10:30
Session I: 10:30-12:30
(Aula Grande) - Analysis and Quality of Models
Lunch: 12:30-14:00
Invited speaker:
14:00-15:00 (Aula Prodi)
Coffee break: 15:00-15:30
Joint session I:
15:30-17:30 (Aula Prodi) - FMOODS/COORDINATION
-
Synchronizing
Behavioural Mismatch in Software Composition
Carlos Canal, Pascal Poizat, Gwen Salaün (FMOODS)
-
Evolution
on-the-fly with Paradigm
Luuk Groenewegen, Erik de Vink (COORDINATION)
-
Workflow
Patterns in Orc
William R. Cook, Sourabh Patwardhan, Jayadev Misra (COORDINATION)
-
Actors,
Roles, and Coordinators - A Coordination Model for Open
Distributed Embedded Systems
Shangping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne
Poirot, Limin Shen (COORDINATION)
Thursday
15 June
Invited speaker:
9:00-10:00 (Aula Absidale)
-
Separating
Distribution from Coordination and Computation as Architectural
Dimensions
José Luiz Fiadeiro (Department of Computer
Science - University of Leicester - UK)
Coffee
break: 10:00-10:30
Joint
session II: 10:30-12:30 (Aula Prodi) - FMOODS/COORDINATION
-
Static
Safety for an Actor Dedicated Process Calculus by Abstract
Interpretation
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux (FMOODS)
-
Temporal
Superimposition of Aspects for Dynamic Software Architecture
Carlos E. Cuesta, M. Pilar Romay, Pablo de la Fuente, Manuel
Barrio-Solorzano (FMOODS)
-
Compositional
Semantics of an Actor-Based Language using Constraint Automata
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier,
Farhad Arbab (COORDINATION)
-
Synthesizing
Concurrency Control Components from Process Algebraic Specifications
Edoardo Bonta`, Marco Bernardo, Jeff Magee, Jeff Kramer
(COORDINATION)
Lunch: 12:30-14:00
Invited speaker:
14:00-15:00 (Aula Prodi)
Coffee break: 15:00-15:30
Session II: 15:30-17:00
(Aula Grande) - UML and Modelling
-
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
Friday
16 June
Invited speaker:
9:00-10:00 (Aula Absidale)
Coffee break: 10:00
-10:30
Session III: 10:30-12:30
(Aula Grande) - Object-orientation
-
Generating
Instance Models from Meta Models
Karsten Ehrig, Jochen 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
-
An
Approach to Quality Achievement at the Architectural Level:
AQUA
Heeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon
Lunch: 12:30-14:00
Session IV: 14:00-15:30
(Aula Grande) - Mobility and Interfaces
-
Abstract
Interface Behavior of Object-Oriented Programs with Monitors
Erika Abraham, Andreas Gruener, Martin Steffen
-
Mobility
mechanisms in service oriented computing
Claudio Guidi, Roberto Lucchi
-
Theoretical
Foundation of Scope-based Compensable Flow Language for
Web Service
Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng
Zhao, Jifeng He
Coffee break: 15:30-16:00
Joint closing:
16:00-17:00 (Aula Absidale)
|
|
