Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings /

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

Table of Contents:

• Invited Talk
• Pattern Matching over a Dynamic Network of Tuple Spaces
• Models and Calculi
• A Dynamic Class Construct for Asynchronous Concurrent Objects
• An Abstract Machine for the Kell Calculus
• XPi: A Typed Process Calculus for XML Messaging
• UML
• Checking the Validity of Scenarios in UML Models
• An Extended Type System for OCL Supporting Templates and Transformations
• A Semantics for UML-RT Active Classes via Mapping into Circus
• Security
• Towards an Integrated Formal Analysis for Security and Trust
• A Formal Security Analysis of an OSA/Parlay Authentication Interface
• Composition and Verification
• Tracing Integration Analysis in Component-Based Formal Specifications
• CompAr: Ensuring Safe Around Advice Composition
• Guaranteeing Resource Bounds for Component Software
• Analysis of Java Programs
• Specification and Verification of Encapsulation in Java Programs
• Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions
• Web Services
• Transforming Information in RDF to Rewriting Logic
• Modeling- and Analysis Techniques for Web Services and Business Processes
• A Distributed Implementation of Mobile Nets as Mobile Agents
• Specification and Verification
• On Correctness of Dynamic Protocol Update
• Property-Driven Development of a Coordination Model for Distributed Simulations
• A Timing Analysis of AODV.