A standard-driven implementaion of WS-BPEL 2.0

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Standard

A standard-driven implementaion of WS-BPEL 2.0. / Hallwyl, Tim; Henglein, Fritz; Hildebrandt, Thomas.

Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, 2010. p. 2472-2476.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Harvard

Hallwyl, T, Henglein, F & Hildebrandt, T 2010, A standard-driven implementaion of WS-BPEL 2.0. in Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, pp. 2472-2476, 25th ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland, 22/03/2010. https://doi.org/10.1145/1774088.1774599

APA

Hallwyl, T., Henglein, F., & Hildebrandt, T. (2010). A standard-driven implementaion of WS-BPEL 2.0. In Proceedings of the 2010 ACM Symposium on Applied Computing (pp. 2472-2476). Association for Computing Machinery. https://doi.org/10.1145/1774088.1774599

Vancouver

Hallwyl T, Henglein F, Hildebrandt T. A standard-driven implementaion of WS-BPEL 2.0. In Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery. 2010. p. 2472-2476 https://doi.org/10.1145/1774088.1774599

Author

Hallwyl, Tim ; Henglein, Fritz ; Hildebrandt, Thomas. / A standard-driven implementaion of WS-BPEL 2.0. Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, 2010. pp. 2472-2476

Bibtex

@inproceedings{c3205760be3e11debda0000ea68e967b,
title = "A standard-driven implementaion of WS-BPEL 2.0",
abstract = "We present a systematic study of the WS-BPEL 2.0 standard based on two complementary methods: the process of constructing a new high-level WS-BPEL implementation driven by the structure of the standard, and an empirical evaluation of existing interpretations of the standard reflected in five widely available WS-BPEL-implementations, both commercial and open source.In doing so we uncover a number of new ambiguities. Most notably, WS-BPEL's integration of XPath 1.0, the data access component of WS-BPEL, turns out to be inconsistent with the XPath standard itself, which is evidenced by substantially differing results produced by existing implementations on test cases constructed to exercise their interpretation.The core concepts in WS-BPEL have been formalized and analyzed successfully previously. Our choice to study the standard by constructing a high-level, standard-driven implementation rather than an abstract, mathematical formalization has made it feasible to cover the complete standard, notably the integration with XPath. Given WS-BPEL's design goal of being platform-independent the inconsistencies are arguably a serious concern since they cannot be attributed to the quality of any particular implementation.",
author = "Tim Hallwyl and Fritz Henglein and Thomas Hildebrandt",
year = "2010",
doi = "10.1145/1774088.1774599",
language = "English",
isbn = "978-1-60558-639-7",
pages = "2472--2476",
booktitle = "Proceedings of the 2010 ACM Symposium on Applied Computing",
publisher = "Association for Computing Machinery",
note = "null ; Conference date: 22-03-2010 Through 26-03-2010",

}

RIS

TY - GEN

T1 - A standard-driven implementaion of WS-BPEL 2.0

AU - Hallwyl, Tim

AU - Henglein, Fritz

AU - Hildebrandt, Thomas

PY - 2010

Y1 - 2010

N2 - We present a systematic study of the WS-BPEL 2.0 standard based on two complementary methods: the process of constructing a new high-level WS-BPEL implementation driven by the structure of the standard, and an empirical evaluation of existing interpretations of the standard reflected in five widely available WS-BPEL-implementations, both commercial and open source.In doing so we uncover a number of new ambiguities. Most notably, WS-BPEL's integration of XPath 1.0, the data access component of WS-BPEL, turns out to be inconsistent with the XPath standard itself, which is evidenced by substantially differing results produced by existing implementations on test cases constructed to exercise their interpretation.The core concepts in WS-BPEL have been formalized and analyzed successfully previously. Our choice to study the standard by constructing a high-level, standard-driven implementation rather than an abstract, mathematical formalization has made it feasible to cover the complete standard, notably the integration with XPath. Given WS-BPEL's design goal of being platform-independent the inconsistencies are arguably a serious concern since they cannot be attributed to the quality of any particular implementation.

AB - We present a systematic study of the WS-BPEL 2.0 standard based on two complementary methods: the process of constructing a new high-level WS-BPEL implementation driven by the structure of the standard, and an empirical evaluation of existing interpretations of the standard reflected in five widely available WS-BPEL-implementations, both commercial and open source.In doing so we uncover a number of new ambiguities. Most notably, WS-BPEL's integration of XPath 1.0, the data access component of WS-BPEL, turns out to be inconsistent with the XPath standard itself, which is evidenced by substantially differing results produced by existing implementations on test cases constructed to exercise their interpretation.The core concepts in WS-BPEL have been formalized and analyzed successfully previously. Our choice to study the standard by constructing a high-level, standard-driven implementation rather than an abstract, mathematical formalization has made it feasible to cover the complete standard, notably the integration with XPath. Given WS-BPEL's design goal of being platform-independent the inconsistencies are arguably a serious concern since they cannot be attributed to the quality of any particular implementation.

U2 - 10.1145/1774088.1774599

DO - 10.1145/1774088.1774599

M3 - Article in proceedings

SN - 978-1-60558-639-7

SP - 2472

EP - 2476

BT - Proceedings of the 2010 ACM Symposium on Applied Computing

PB - Association for Computing Machinery

Y2 - 22 March 2010 through 26 March 2010

ER -

ID: 15294450