Table of Contents for: Web services and formal methods : 9th In

 Staff view

You must be logged in to Tag Records

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers /

edited by Maurice H. ter Beek, Niels Lohmann.

Book Cover
Names: Beek, Maurice H. ter, | Lohmann, N.
Published: Berlin ; New York : Springer, [2013]
Series: Lecture notes in computer science ; 7843.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Web services - Congresses. | Formal methods (Computer science) - Congresses. | Computer Communication Networks. | Information Services. | Intenet.
Genres: Electronic books. | Conference papers and proceedings. | Ebook. | Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Invited Papers. Formal Approaches for Synthesis of Web Service Business Protocols / Lhouari Nourine, Farouk Toumani -- Contract-Oriented Services / Emilio Tuosto -- Web Service Modeling and Analysis with Petri Nets and CSP. Service Discovery with Cost Thresholds / Jan Sürmeli -- Conformance Checking of Services Using the Best Matching Private View / Richard Müller, Wil M.P. van der Aalst, Christian Stahl -- Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes / Abel Armas-Cervantes [and others] -- Formal Modeling and Analysis of the REST Architecture Using CSP / Xi Wu [and others] -- Formal Methods Applied to Service Discovery and Coordination. SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications / Guillaume Demarty [and others] -- Preference and Similarity-Based Behavioral Discovery of Services / Farhad Arbab, Francesco Santini -- Reconfiguration Mechanisms for Service Coordination / Nuno Oliveira, Luís S. Barbosa.

Table of Contents for: Web services and formal methods : 9th In