This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.
The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.
Author(s): Andrew Myers (auth.), Gilles Barthe, Frank S. de Boer (eds.)
Series: Lecture Notes in Computer Science 5051
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 259
Tags: Computer Communication Networks; Programming Techniques; Software Engineering; Operating Systems; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs
Front Matter....Pages -
Guiding Distributed Systems Synthesis with Language-Based Security Policies....Pages 1-1
Termination Analysis of Java Bytecode....Pages 2-18
Sessions and Pipelines for Structured Service Programming....Pages 19-38
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers....Pages 39-58
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus....Pages 59-77
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack....Pages 78-95
Symbolic Step Encodings for Object Based Communicating State Machines....Pages 96-112
Modeling and Model Checking Software Product Lines....Pages 113-131
Semantic Foundations and Inference of Non-null Annotations....Pages 132-149
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking....Pages 150-169
A Minimal Set of Refactoring Rules for Object-Z....Pages 170-184
Formal Modeling of a Generic Middleware to Ensure Invariant Properties....Pages 185-200
CoBoxes: Unifying Active Objects and Structured Heaps....Pages 201-219
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language....Pages 220-239
A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language....Pages 240-258
Back Matter....Pages -
