Sequencing Constraints SSDL Protocol Framework
Simon Woodman, Savas Parastatidis, J Webber · School of Computing Science Technical Report Series · 2005
The Sequencing Constraints (SC) SSDL Protocol Framework defines a collection of XML Infoset element information items that can be used to describe a multi-party, multi-message exchange protocol using notations based on the pi-calculus. SSDL documents An Introduction to the SOAP Service Description Language [1] SOAP Service Description Language (SSDL) v1.3 [2] MEP SSDL Protocol Framework v1.3 [3] CSP SSDL Protocol Framework v1.3 [4] Rules SSDL Protocol Framework v1.3 [5] Sequencing Constraints SSDL Protocol Framework v1.3 [6] (this document) Status of this document Version: 1.3 Date: April 2005 http://ssdl.org Disclaimer The contents of this document may not reflect the views of, and may not be endorsed by, the employers of the authors. This document is provided for informational purposes only. The authors and their employers will not accept any responsibility for any use or misuse of the information contained herein. 1 School of Computing Science, University of Newcastle, Newcastle upon Tyne, NE1 7RU, UK 2 ThoughtWorks Australia Pty. Ltd. Table of