Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida (auth.), Marcello M. Bonsangue, Einar Broch Johnsen (eds.)3540729194, 9783540729198

This volume contains the proceedings of the Ninth IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007). The conference is part of the federated conferences on Distributed Computing Techniques (DisCoTec), together with the Ninth International Conference on Coordination Models and Languages (COORDINATION2007) and the Seventh IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2007). It was organized by the Department of Computer Science of the University of Cyprus, and it was held in Paphos, Cyprus during June, 6-8, 2007. The event was the third federated DisCoTec conference series, initiated in Athens in June 2005 and continued in Bologna in June 2006.

---

Table of contents :
Front Matter….Pages –
Asynchronous Session Types and Progress for Object Oriented Languages….Pages 1-31
KeY: A Formal Method for Object-Oriented Systems….Pages 32-43
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking….Pages 44-58
Model Checking of Extended OCL Constraints on UML Models in SOCLe….Pages 59-75
Analysis of UML Activities Using Dynamic Meta Modeling….Pages 76-90
Distributed Applications Implemented in Maude with Parameterized Skeletons….Pages 91-106
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance….Pages 107-121
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude….Pages 122-140
Adaptation of Open Component-Based Systems….Pages 141-156
A Representation-Independent Behavioral Semantics for Object-Oriented Components….Pages 157-173
A Formal Language for Electronic Contracts….Pages 174-189
A Mechanized Model of the Theory of Objects….Pages 190-205
Pict Correctness Revisited….Pages 206-220
A Refinement Method for Java Programs….Pages 221-235
Refactoring Object-Oriented Specifications with Data and Processes….Pages 236-251
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs….Pages 252-268
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders….Pages 269-284
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems….Pages 285-300
On Resource-Sensitive Timed Component Connectors….Pages 301-316
Back Matter….Pages –