Asynchronous Messaging between Web Services Using SSDL

Authors:
Savas Parastatidis;Simon Woodman;Jim Webber;Dean Kuo;Paul Greenfield
Affiliations:
University of Newcastle;University of Newcastle;ThoughtWorks;CSIRO Information and Communication Technology Centre;CSIRO Information and Communication Technology Centre
Venue:
IEEE Internet Computing
Year:
2006

Citing 2
Cited 3

Notations for the Specification and Verification of Composite Web Services

EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual

Semi-automated adaptation of service interactions

Proceedings of the 16th international conference on World Wide Web
Soya: a programming model and runtime environment for component composition using SSDL

CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
SEPL--a domain-specific language and execution environment for protocols of stateful Web services

Distributed and Parallel Databases

Quantified Score

Hi-index	0.00

Visualization

Abstract

The SOAP Service Description Language (SSDL) is designed for describing asynchronous, message-oriented, and multimessage interactions between Web services. SSDL provides the basis for a range of protocol description frameworks. At one end of the spectrum, such frameworks can be simple, SOAP-centric replacements for the Web Services Description Language. At the other end, they're a more expressive contract-definition language enabling formal verification of asynchronous application protocol properties. This is possible because SSDL focuses on the "message" abstraction as the building block for service-oriented applications.