Web Services and Formal Methods

Third International Workshop, Ws-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

By: Mario Bravetti (Editor), Manuel NÃºÃ±ez (Editor), Gianluigi Zavattaro (Editor)

Write A Review

Paperback | 4 September 2006

At a Glance

Paperback
304 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

DecSerFlow : towards a truly declarative service flow language	p. 1
Service QoS composition at the level of part names	p. 24
SCC : a service centered calculus	p. 38
Computational logic for run-time verification of Web services choreographies : exploiting the SOCS-SI tool	p. 58
Semantic querying of mathematical Web service descriptions	p. 73
Verified reference implementations of WS-security protocols	p. 88
From BPEL processes to YAWL workflows	p. 107
Translating orc features into Petri nets and the join calculus	p. 123
Dynamic constraint-based invocation of Web services	p. 138
A formal account of contracts for Web services	p. 148
Execution semantics for service choreographies	p. 163
Analysis and verification of time requirements applied to the Web services composition	p. 178
A formal approach to service component architecture	p. 193
Evaluating the scalability of a Web service-based distributed e-learning and course management system	p. 214
Choreography conformance analysis : asynchronous communications and information alignment	p. 227
Application of model checking to AXML system's security : a case study	p. 242
Towards a unifying theory for Web services composition	p. 257
Towards the formal model and verification of Web service choreography description language	p. 273
Table of Contents provided by Blackwell. All Rights Reserved.

Web Services and Formal Methods

Third International Workshop, Ws-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Next-Generation Artificial Intelligence

Convergence of Neuroscience, Edge Computing, and Sustainable Technologies

Decision-Making and Analytics

Data-Driven Business Intelligence and Optimization

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Refactoring 2ed

Improving the Design of Existing Code

Fundamentals of Software Architecture

A Modern Engineering Approach

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Business Driven Information Systems ISE

9th Edition

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Systems Analysis and Design

12th edition

Data-driven BIM for Energy Efficient Building Design

1st Edition

Augmented Software Design

A Team Exercise in Empirical Software Design

Site Reliability Engineering

How Google Runs Production Systems

The AI Engineering Bootcamp

Build, Ship, Share

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

DAMA-DMBOK

Data Management Body of Knowledge

Spark : The Definitive Guide

Big Data Processing Made Simple

Systems Analysis and Design, Global Edition

10th edition

AI Engineering

Building Applications with Foundation Models

Cloud Native Application Protection Platforms

A Guide to Cnapps and the Foundations of Comprehensive Cloud Security

The Engineering Leader

Strategies for Scaling Teams and Yourself

Software Engineering at Google

Lessons Learned from Programming Over Time

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Fundamentals of Metadata Management

Uncover the Meta Grid and Unlock Data, Information, and Knowledge Management

This product is categorised by