SEPL- A Domain-Specific Language and Execution Environment for Protocols of Stateful Web Services

In order to interact with stateful Web services, clients need to obtain information about the intra-service protocol, which contains valid operation sequences and the expected input-output transformation across invocations. While the community has widely agreed on WSDL as the standard for functional service description (the "Static" service interface), there is still an evident lack of languages to describe the dynamic, behavioral interface of services. In this paper the authors introduce SEPL (SErvice Protocol Language), a Domain-Specific Language (DSL) for defining executable intraservice protocols.