Formal methods for open object based distributed systems

This volume contains the proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, held in Paris, France, from November 19–21, 2003. This event marked the sixth in a series of conferences that occur approximately every 18 months, with previous meetings in locations such as Canterbury, Florence, Stanford, and Twente. The FMOODS series aims to unite researchers from three interrelated fields: formal methods, distributed systems, and object-based technology. This convergence reflects recent advancements in distributed systems and fosters connections among various scientific and technological communities, including those represented by conferences like FORTE/PSTV, CONCUR, and ECOOP. FMOODS serves as an integrated forum for presenting research and exchanging ideas related to formal methods supporting open object-based distributed systems. Topics of interest for submissions included formal models, specification and design techniques, component-based design, verification, testing, semantics of programming languages, type systems, behavioral typing, multiple viewpoint modeling, model transformations, integration of quality of service requirements, security models, and practical applications.