GPSL: A Programming Language for Service Implementation
(2006) GPSL: A Programming Language for Service Implementation. In Baresi, Luciano and Heckel, Reiko, Eds. Proceedings Ninth International Conference on Fundamental Approaches to Software Engineering, pages pp. 3-17, Vienna, Austria.
Full text available as: |
Abstract
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.
| Item Type: | Conference Paper |
|---|---|
| Status: | Published |
| Keywords: | Web Service; Programming Language; Join Calculus |
| Subjects: | 280000 Information, Computing and Communication Sciences |
| ID Code: | 4005 |
| Deposited By: | Dumas, Marlon |
| Deposited On: | 03 May 2006 |
| Alternative Locations: | http://dx.doi.org/10.1007/11693017_3 |
| Copyright Owner: | Copyright 2006 Springer |
| Copyright Statement: | This is the author-version of the work. Conference proceedings published, by Springer Verlag, will be available via SpringerLink. http://www.springer.de/comp/lncs/ Lecture Notes in Computer Science |