Reset Filters
Author: 文岐

Cover is for reference only

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...

Full description

Saved in:
Bibliographic Details
Corporate Authors: WS-FM (Workshop) Tallinn, Estonia); SpringerLink (Online service)
Group Author: Beek, Maurice H. ter; Lohmann, N. (Niels)
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:
Intenet > Congresses.
Software > Congresses.
Web services > Congresses.
Formal methods (Computer science) > Congresses.
Computer science.
Software engineering.
Logic design.
Information Systems.
Management of Computing and Information Systems.
Logics and Meanings of Programs.
User Interfaces and Human Computer Interaction.
Electronic books.
Conference proceedings.
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 /

Related Book Recommendations