|
|
 |
FMOODS 07
9th IFIP International Conference on
Formal Methods for Open Object-Based Distributed Systems
|
PROGRAM
WEDNESDAY June 6th
9:30 - 10:30
| INVITED SPEAKER FMOODS (Chair: Martin Steffen)
Mariangiola Dezani-Ciancaglini
Asynchronous Session Types and Progress for Object Oriented Languages
|
|
| Break
|
11:00 - 12:30
| SESSION 1:REWRITING LOGIC (Chair: Carolyn Talcott)
On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
M. Hills and G. Rosu
Distributed applications implemented with parameterized skeletons in Maude
A. Riesco and A. Verdejo
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
P. C. Olveczky and S. Thorvaldsen
|
|
| Lunch
| 14:30 - 15:30
| SESSION 2: ALGEBRAIC CALCULI (Chair: Mariangiola Dezani-Ciancaglini)
A Mechanized Model of the Theory of Objects
L. Henrio and F. Kammueller
Pict Correctness Revisited
P. Bidinger and A. Compagnoni
|
|
| Break
| 16:00 - 17:30
| SESSION 3: MODEL CHECKING (Chair: Wolfgang Ahrendt)
Analysis of UML Activities using Dynamic Meta Modeling
C. Soltenborn, H. Wehrheim and G. Engels
Verifying Distributed, Event-Based Middleware Applications Using
Domain-Specific Software Model Checking
L. R. Cai, J. Bradbury and J. Dingel
Model checking of Extended OCL constraints on UML models in SOCLe
J. Mullins and R. Oarga
|
THURSDAY June 7th
9:30 - 10:30
| INVITED SPEAKER COORDINATION(Chair: Jan Vitek)
Rocco de Nicola
Quantitative analysis of Mobile and Distribute Systems: The Klaim Approach
|
|
| Break
| 11:00 - 12:30
| SESSION 4: QUANTITATIVE ANALYSIS (Chair: Heike Wehrheim)
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
M. Bernardo and L. Padovani
A Probabilistic Formal Analysis Approach to Cross Layer Optimization
in Distributed Embedded Systems
M. Kim, M.-O. Stehr, C. Talcott, N. Dutt and N. Venkatasubramanian
On Resource-Sensitive Timed Component Connectors
M. Sun and F. Arbab
|
|
| Lunch
| 14:30 - 16:00
| SESSION 5: COMPONENTS AND SERVICES I (Chair: Jean-Marie Jacquet)
(Joint session FMOODS and Coordination)
A Representation-Independent Behavioral Semantics for
Object-Oriented Components (FMOODS)
A. Poetzsch-Heffter and J. Schäfer
Combining Formal Methods and Aspects for Specifying and
Enforcing Architectural Invariants (COORD)
S. Kallel, A. Charfi, M. Mezini, M. Jmaiel
A Formal Language for Electronic Contracts(FMOODS)
C. Prisacariu and G. Schneider
|
FRIDAY June 8th
9:30 - 10:30
| INVITED SPEAKER FMOODS (Chair: Frank de Boer)
Wolfgang Ahrendt
KeY - A Formal Method for Object-Oriented Systems
|
|
| Break
| 11:00 - 12:30
| SESSION 6: SPECIFICATION, VERIFICATION, AND REFINEMENT (Chair: Arnd Poetzsch-Heffter)
A Sound and Complete Shared-Variable Concurrency Model for
Multi-Threaded Java Programs
F. de Boer
Refactoring object-oriented specifications with data and processes
T. Ruhroth and H. Wehrheim
A Refinement Method for Java Programs
H. Grandy, K. Stenzel and W. Reif
|
|
| Lunch
| 14:30 - 16:00
| SESSION 7: COMPONENTS AND SERVICES II (Chair: Gianluigi Zavattaro)
(Joint session Coordination and FMOODS)
Component Connectors with QoS Guarantees (COORD)
F. Arbab, T. Chothia, M. Sun, Y.-J. Moon
Adaptation of Open Component-based Systems (FMOODS)
P. Poizat and G. Salaün
Context-Based Adaptation of Component Behavioural Interfaces (COORD)
J. Ca'mara, C. Canal Velasco, J. Cubo, E. Pimentel, G. Salaun
|
|
|
