Book Volume 7843 2013

Web Services and Formal Methods

9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Editors:

ISBN: 978-3-642-38229-1 (Print) 978-3-642-38230-7 (Online)

Table of contents (9 chapters)

  1. Front Matter

    Pages -

  2. Invited Papers

    1. No Access

      Chapter and Conference Paper

      Pages 1-15

      Formal Approaches for Synthesis of Web Service Business Protocols

    2. No Access

      Chapter and Conference Paper

      Pages 16-29

      Contract-Oriented Services

  3. Web Service Modeling and Analysis with Petri Nets and CSP

    1. No Access

      Chapter and Conference Paper

      Pages 30-48

      Service Discovery with Cost Thresholds

    2. No Access

      Chapter and Conference Paper

      Pages 49-68

      Conformance Checking of Services Using the Best Matching Private View

    3. No Access

      Chapter and Conference Paper

      Pages 69-86

      Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes

    4. No Access

      Chapter and Conference Paper

      Pages 87-102

      Formal Modeling and Analysis of the REST Architecture Using CSP

  4. Formal Methods Applied to Service Discovery and Coordination

    1. No Access

      Chapter and Conference Paper

      Pages 103-117

      SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications

    2. No Access

      Chapter and Conference Paper

      Pages 118-133

      Preference and Similarity-Based Behavioral Discovery of Services

    3. No Access

      Chapter and Conference Paper

      Pages 134-149

      Reconfiguration Mechanisms for Service Coordination

  5. Back Matter

    Pages -