Web Services and Formal Methods [recurso electrónico] 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets. Front Matter....Pages - Formal Approaches for Synthesis of Web Service Business Protocols....Pages 1-15 Contract-Oriented Services....Pages 16-29 Service Discovery with Cost Thresholds....Pages 30-48 Conformance Checking of Services Using the Best Matching Private View....Pages 49-68 Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes....Pages 69-86 Formal Modeling and Analysis of the REST Architecture Using CSP....Pages 87-102 SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications....Pages 103-117 Preference and Similarity-Based Behavioral Discovery of Services....Pages 118-133 Reconfiguration Mechanisms for Service Coordination....Pages 134-149 Back Matter....Pages -