Description |
1 online resource (viii, 149 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 7843 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7843.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
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 |
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 |
Analysis |
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 |
|
computerwetenschappen |
|
computer sciences |
|
man-machine interaction |
|
computers |
|
gebruikersinterfaces |
|
user interfaces |
|
informatiesystemen |
|
internet |
|
programmeertalen |
|
programming languages |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
Includes author index |
Bibliography |
Includes bibliogr. references |
Notes |
Print version record |
Subject |
Web services -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
Computer networks.
|
|
Information services.
|
|
Intenet
|
|
Computer Communication Networks
|
|
Information Services
|
|
Information services
|
|
Computer networks
|
|
Formal methods (Computer science)
|
|
Web services
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Beek, Maurice H. ter, editor
|
|
Lohmann, N. (Niels), editor.
|
ISBN |
9783642382307 |
|
3642382304 |
|
3642382290 |
|
9783642382291 |
|