This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005).
The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML, security, composition and verification, analysis of java programs, Web services, specification and verification.
Author(s): Rocco De Nicola, Daniele Gorla, Rosario Pugliese (auth.), Martin Steffen, Gianluigi Zavattaro (eds.)
Series: Lecture Notes in Computer Science 3535 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 326
Tags: Computer Communication Networks; Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Operating Systems; Logics and Meanings of Programs
Front Matter....Pages -
Pattern Matching over a Dynamic Network of Tuple Spaces....Pages 1-14
A Dynamic Class Construct for Asynchronous Concurrent Objects....Pages 15-30
An Abstract Machine for the Kell Calculus....Pages 31-46
XPi: A Typed Process Calculus for XML Messaging....Pages 47-66
Checking the Validity of Scenarios in UML Models....Pages 67-82
An Extended Type System for OCL Supporting Templates and Transformations....Pages 83-98
A Semantics for UML-RT Active Classes via Mapping into Circus....Pages 99-114
Towards an Integrated Formal Analysis for Security and Trust....Pages 115-130
A Formal Security Analysis of an OSA/Parlay Authentication Interface....Pages 131-146
Tracing Integration Analysis in Component-Based Formal Specifications....Pages 147-162
CompAr: Ensuring Safe Around Advice Composition....Pages 163-178
Guaranteeing Resource Bounds for Component Software....Pages 179-194
Specification and Verification of Encapsulation in Java Programs....Pages 195-210
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions....Pages 211-226
Transforming Information in RDF to Rewriting Logic....Pages 227-242
Modeling- and Analysis Techniques for Web Services and Business Processes....Pages 243-258
A Distributed Implementation of Mobile Nets as Mobile Agents....Pages 259-274
On Correctness of Dynamic Protocol Update....Pages 275-289
Property-Driven Development of a Coordination Model for Distributed Simulations....Pages 290-305
A Timing Analysis of AODV....Pages 306-321
Back Matter....Pages -
