Formal Methods for Open Object-based Distributed Systems: 9th Ifip Wg 6.1 International Conference, Fmoods 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

by Bonsangue, Marcello M.; Johnsen, Einar Broch

• ISBN13: 9783540729198
• ISBN10: 3540729194
• Format: Paperback
• Copyright: 2007-08-03
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. The 17 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topcical sections on model checking rewriting logic components and services algebraic calculi specification, verification and refinenment, and quality of service.

Table of Contents

Asynchronous session types and progress for object oriented languages	p. 1
KeY : a formal method for object-oriented systems	p. 32
Verifying distributed, event-based middleware applications using domain-specific software model checking	p. 44
Model checking of extended OCL constraints on UML models in SOCLe	p. 59
Analysis of UML activities using dynamic meta modeling	p. 76
Distributed applications implemented in Maude with parameterized skeletons	p. 91
On formal analysis of OO languages using rewriting logic : designing for performance	p. 107
Formal modeling and analysis of the OGDC wireless sensor network algorithm in real-time Maude	p. 122
Adaptation of open component-based systems	p. 141
A representation-independent behavioral semantics for object-oriented components	p. 157
A formal language for electronic contracts	p. 174
A mechanized model of the theory of objects	p. 190
Pict correctness revisited	p. 206
A refinement method for Java programs	p. 221
Refactoring object-oriented specifications with data and processes	p. 236
A sound and complete shared-variable concurrency model for multi-threaded Java programs	p. 252
Performance-oriented comparison of Web services via client-specific testing preorders	p. 269
A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems	p. 285
On resource-sensitive timed component connectors	p. 301
Table of Contents provided by Blackwell. All Rights Reserved.