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
Contents
Invited Talks
Asynchronous Session Types and Progress for Object Oriented Languages.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
1-31
KeY: A Formal Method for Object-Oriented Systems.
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
32-43
Model Checking
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel
44-58
Analysis of UML Activities Using Dynamic Meta Modeling.
Gregor Engels, Christian Soltenborn, Heike Wehrheim
76-90
Rewriting Logic
Distributed Applications Implemented in Maude with Parameterized Skeletons.
Adrián Riesco, Alberto Verdejo
91-106
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.
Mark Hills, Grigore Rosu
107-121
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.
Peter Csaba Ölveczky, Stian Thorvaldsen
122-140
Components and Services
A Representation-Independent Behavioral Semantics for Object-Oriented Components.
Arnd Poetzsch-Heffter, Jan Schäfer
157-173
Algebraic Calculi
Specification, Verfication and Refinenment
Refactoring Object-Oriented Specifications with Data and Processes.
Thomas Ruhroth, Heike Wehrheim
236-251
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.
Frank S. de Boer
252-268
Quality of Service
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.
Marco Bernardo, Luca Padovani
269-284
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
285-300