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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bonsangue, Marcello M. (Editor), Johnsen, Einar Broch (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
• Series: Lecture Notes in Computer Science, 4468
• Subjects: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Programming Techniques.; Software Engineering.; Operating Systems.; Logics and Meanings of Programs.

Table of Contents:

• Invited Talks
• Asynchronous Session Types and Progress for Object Oriented Languages
• KeY: A Formal Method for Object-Oriented Systems
• Model Checking
• Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
• Model Checking of Extended OCL Constraints on UML Models in SOCLe
• Analysis of UML Activities Using Dynamic Meta Modeling
• Rewriting Logic
• Distributed Applications Implemented in Maude with Parameterized Skeletons
• On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance
• Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
• Components and Services
• Adaptation of Open Component-Based Systems
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• A Formal Language for Electronic Contracts
• Algebraic Calculi
• A Mechanized Model of the Theory of Objects
• Pict Correctness Revisited
• Specification, Verfication and Refinenment
• A Refinement Method for Java Programs
• Refactoring Object-Oriented Specifications with Data and Processes
• A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
• Quality of Service
• Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
• A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
• On Resource-Sensitive Timed Component Connectors.