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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/MIC.2006.3 | Internet Computing, IEEE |
Keywords | Field | DocType |
expressive contract-definition language,soap-centric replacement,building block,web services description language,asynchronous application protocol property,protocol description framework,web service,soap service description language,multimessage interaction,formal verification,architecture,system architecture,spectrum,message passing,distributed systems,xml,distributed programming,soap,distributed system,internet | Asynchronous communication,World Wide Web,Programming language,XML,Computer science,Computer network,Formal specification,SOAP,Web service,Message passing,Formal verification,The Internet | Journal |
Volume | Issue | ISSN |
10 | 1 | 1089-7801 |
Citations | PageRank | References |
19 | 1.60 | 1 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Savas Parastatidis | 1 | 186 | 20.63 |
Simon Woodman | 2 | 45 | 4.92 |
Jim Webber | 3 | 181 | 18.83 |
Dean Kuo | 4 | 185 | 31.95 |
Paul Greenfield | 5 | 232 | 17.53 |