The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
XL: an XML programming language for web service specification and composition
Proceedings of the 11th international conference on World Wide Web
MPI-The Complete Reference, Volume 1: The MPI Core
MPI-The Complete Reference, Volume 1: The MPI Core
CRPIT '02 Proceedings of the seventh Asia-Pacific conference on Computer systems architecture
Modern Concurrency Abstractions for C#
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More
A programming language for web service development
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Programming and compiling web services in GPSL
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Correlation patterns in service-oriented architectures
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
The conceptualization of a configurable multi-party multi-message request-reply conversation
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 I
A middleware for adaptive service orientation in pervasive computing environments
Proceedings of the 5th International Workshop on Middleware for Service Oriented Computing
Hi-index | 0.00 |
At present, there is a dichotomy of approaches to supporting web service implementation: extending mainstream programming languages with libraries and metadata notations vs. designing new languages. While the former approach has proven suitable for interconnecting services on a simple point-to-point fashion, it turns to be unsuitable for coding concurrent, multi-party, and interrelated interactions requiring extensive XML manipulation. As a result, various web service programming languages have been proposed, most notably (WS-)BPEL. However, these languages still do not meet the needs of highly concurrent and dynamic interactions due to their bias towards statically-bounded concurrency. In this paper we introduce a new web service programming language with a set of features designed to address this gap. We describe the implementations in this language of non-trivial scenarios of service interaction and contrast them to the corresponding BPEL implementations. We also define a formal semantics for the language by translation to the join calculus. A compiler for the language has been implemented based on this semantics.