Software architect at Sirius IT, Tim Hallwyl, has submitted a scientific research paper which has been through a selective review and accepted for publication and presentation at the ACM Symposium On Applied Computing 2010 in Switzerland.
Tim Hallwyl, software architect at Sirius IT, has written the paper together with Professor Fritz Henglein, University of Copenhagen, and Associate Professor Thomas Hildebrandt, IT-University of Copenhagen. As primary author of the paper Tim Hallwyl will be presenting the paper at the symposium in March 2010 in Sierre, Switzerland.
The topic of the paper is the Business Process Execution Language (WS-BPEL). A language used to describe business processes by combining existing web services and expose the composition as a single coherent web service. The semantics of the language are described in prose and hence open for different interpretations of the semantics.
This paper presents a complete analysis of the complete language and the integration with other standards, using a so-called standard-driven implementation called “beepell”. In this way the analysis reaches the outer limits of the language, which formal method abstracts from.
Several critical ambiguities are identified in this paper – all with a direct impact on the execution of business processes. The results are supported by a number of test cases comparing different existing implementations. It turns out, that there are legal sentences in the language that are subject for different interpretations. This is a contradiction of the foundation of the language itself.
You can read more about ACM (Association for Computing Machinery) and the Symposium On Applied Computing here.