Formal Methods for Open Object-Based Distributed Systems
This volume contains the proceedings of the 8th IFIP International Conf- enceonFormalMethodsforOpenObject-basedDistributedSystems(FMOODS 2006). The conference was held in Bologna, Italy, 14-16 June 2006, as part of the federated multiconference DisCoTec (Distributed Computing Techniques), together with the 8th International Conference on Coordination Models and Languages (COORDINATION) and the 6th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). DisCoTec was organizedby the Department of Computer Science of the University of Bologna. Established in 1996, the FMOODS series of conferences aims to provide an integratedforum for researchon formalaspects of open object-baseddistributed systems. The FMOODS 2006 especially attracted novel contributions re?ecting recent developments in the area, such as component- and model-based design, service-oriented computing, and software quality. Some more speci?c topics of interest were: semantics and implementation of object-oriented programming and (visual) modelling languages; formal techniques for speci?cation, design, analysis,veri?cation,validation and testing; formal methods for service-oriented computing;andintegrationofqualityofservicerequirementsintoformalmodels. These proceedings contain a selection of 16 research contributions, out of 51 submissions, which went through a rigorous review process by international reviewers.We therefore owe special thanks to all members of the ProgramC- mittee, and their sub-referees,for the excellent work they have done in the short time they had. Additionally, these proceedings include three invited papers by Pierpaolo Degano (University of Pisa), Jos´ e Luiz Fiadeiro (University of Leicester) and Davide Sangiorgi (University of Bologna).
Proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006Presents 16 revised full papers together with an invited paper and abstracts of 2 invited talksCoverage includes component- and model-based design, service-oriented computing, software quality and more