Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy in June 2006.

The 16 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 51 submissions. Among the topcis addressed are component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.

Booknews

The proceedings of the February 1999 conference collects works at the convergence of three related fields: formal methods, distributed systems, and object-based technology. The 19 regular papers and seven short papers are arranged under the headings of languages, semantics, Java and coordination, object composition and reuse, telecommunications, formal methods, and emerging standards. Topics include observation equivalences for the semantics of inheritance, specifying reusable controllers for behavioral specifications, pattern application versus inheritance in SDL, protocol assuring universal language, modular reasoning for actor specification diagrams, and formal development of object-based systems in a temporal logic setting. No indexing is provided. Annotation c. Book News, Inc., Portland, OR (booknews.com)