Title :
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
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;
Journal_Title :
Internet Computing, IEEE
