Web services and formal methods : 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 s...
Saved in:
Corporate Authors: | ; |
---|---|
Group Author: | ; |
Published: |
Springer,
|
Publisher Address: | Berlin : |
Publication Dates: | [2013] |
Literature type: | eBook |
Language: | English |
Series: |
Lecture notes in computer science,
7843 LNCS sublibrary. SL 2, Programming and software engineering |
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-3-642-38230-7 |
Summary: |
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. |
Carrier Form: | 1 online resource (viii, 149 pages) : illustrations |
Bibliography: | Includes bibliographical references and index. |
ISBN: |
9783642382307 (electronic book) 3642382304 (electronic book) |
Index Number: | TK5105 |
CLC: | TP393-532 |
Contents: |
Invited Papers. Formal Approaches for Synthesis of Web Service Business Protocols / Contract-Oriented Services / Web Service Modeling and Analysis with Petri Nets and CSP. Service Discovery with Cost Thresholds / Conformance Checking of Services Using the Best Matching Private View / Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes / Formal Modeling and Analysis of the REST Architecture Using CSP / Formal Methods Applied to Service Discovery and Coordination. SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications / Preference and Similarity-Based Behavioral Discovery of Services / Reconfiguration Mechanisms for Service Coordination / |