Goodness-of-fit techniques
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
IEEE Internet Computing
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
XL: an XML programming language for Web service specification and composition
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Model-Driven Development: A Metamodeling Foundation
IEEE Software
The Grid 2: Blueprint for a New Computing Infrastructure
The Grid 2: Blueprint for a New Computing Infrastructure
Dynamic Data Integration Using Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
WS-Net: A Petri-net Based Specification Model for Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Understanding SOA with Web Services (Independent Technology Guides)
Understanding SOA with Web Services (Independent Technology Guides)
Service-Oriented Architecture: Concepts, Technology, and Design
Service-Oriented Architecture: Concepts, Technology, and Design
Asynchronous Messaging between Web Services Using SSDL
IEEE Internet Computing
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
A framework for managing the evolution of business protocols in web services
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
A survey on web services composition
International Journal of Web and Grid Services
Services Mashups: The New Generation of Web Applications
IEEE Internet Computing
An Online Platform for Web APIs and Service Mashups
IEEE Internet Computing
SODA A Distributed Data Management Framework for the Internet of Services
GCC '08 Proceedings of the 2008 Seventh International Conference on Grid and Cooperative Computing
Daios: Efficient Dynamic Web Service Invocation
IEEE Internet Computing
A Grid-Based Integration Model of Heterogeneous Database Systems
ITCS '09 Proceedings of the 2009 International Conference on Information Technology and Computer Science - Volume 02
An approach for the systematic development of domain-specific languages
Software—Practice & Experience
Grid service composition in BPEL for scientific applications
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part II
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Hi-index | 0.00 |
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 we introduce SEPL (SErvice Protocol Language), a domain-specific language (DSL) for defining executable intra-service protocols. Notable features of the DSL include support for WS-Addressing and simple creation of new Web service instances, synchronous and asynchronous service invocation facilities and easy access to WSRF-style service resource properties. Service providers use SEPL to define the procedure that clients must adhere to in order to achieve a certain higher-level functionality. Clients use the combined information of the SEPL document and the WSDL definitions to execute an intra-service protocol. We provide a graphical representation of SEPL the form of UML Activity Diagrams, and tools to generate executable code from these models. We further present a solution to host and execute SEPL protocols in a server application based on Web services technology.