Asynchronous messaging between Web services using SSDL

Author

Parastatidis, Savas ; Woodman, Simon ; Webber, Jim ; Kuo, Dean ; Greenfield, Paul

Author_Institution

Sch. of Comput. Sci., Newcastle Univ., NSW, Australia

Volume

10

Issue

1

fYear

2006

Firstpage

26

Lastpage

39

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.

Keywords

Internet; XML; access protocols; formal verification; message passing; SOAP Service Description Language; SSDL; Web Services Description Language; asynchronous communication; formal verification; message abstraction; message-oriented service; multimessage services; protocol description; service-oriented application; Application software; Buildings; Contracts; Formal verification; Logic; Message-oriented middleware; Object oriented modeling; Simple object access protocol; Web and internet services; Web services; Architecture; Asynchronous/synchronous operation; Distributed Systems; Distributed programming; Internet Applications; SOAP; SSDL; Standards; System architectures; Validation; integration and modelling;

fLanguage

English

Journal_Title

Internet Computing, IEEE

Publisher

ieee

ISSN

1089-7801

Type

jour

DOI

10.1109/MIC.2006.3

Filename

1580411