<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Using formal methods to develop WS-BPEL applications"^^ . "In recent years, WS-BPEL has become a de facto standard language for orchestration of Web Services. However, there are still some well-known difficulties that make programming\r\nin WS-BPEL a tricky task. In this paper, we firstly point out major loose points of the WS-BPEL specification by means of many examples, some of which are also exploited\r\nto test and compare the behaviour of three of the most known freely available WS-BPEL engines. We show that, as a matter of fact, these engines implement different\r\nsemantics, which undermines portability of WS-BPEL programs over different platforms. Then we introduce Blite, a prototypical orchestration language equipped with a formal\r\noperational semantics, which is closely inspired by, but simpler than, WS-BPEL. Indeed, Blite is designed around some of WS-BPEL distinctive features like partner links, process termination, message correlation, long-running business transactions and compensation handlers. Finally, we present BliteC, a software tool supporting a rapid and easy development of WS-BPEL applications via translation of service orchestrations written in Blite into executable WS-BPEL programs. We illustrate our approach by means of a running example borrowed from the official specification of WS-BPEL."^^ . "2012" . . "77" . "3" . . "Elsevier"^^ . . . "Science of Computer Programming"^^ . . . "01676423" . . . . . . . . . . . . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Alessandro"^^ . "Lapadula"^^ . "Alessandro Lapadula"^^ . . . . . . "Using formal methods to develop WS-BPEL applications (PDF)"^^ . . . "LPT_scico.pdf"^^ . . . "Using formal methods to develop WS-BPEL applications (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Using formal methods to develop WS-BPEL applications (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Using formal methods to develop WS-BPEL applications (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Using formal methods to develop WS-BPEL applications (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1563 \n\nUsing formal methods to develop WS-BPEL applications\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .