Breugel. Verification of business processes for Web services (2003)
| Citations: | 21 - 0 self |
BibTeX
@TECHREPORT{Koshkina03breugel.verification,
author = {Mariya Koshkina and Mariya Koshkina and Franck Van Breugel and Franck Van Breugel},
title = {Breugel. Verification of business processes for Web services},
institution = {},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A tool to verify properties, like for example deadlock freedom, of specifications in the business process execution language for web services (BPEL4WS) is presented. The four key steps in the development of this tool are highlighted. First of all, a process algebra named the BPE-calculus, that captures the flow of control of BPEL4WS but abstracts from many details, is introduced. Secondly, this BPE-calculus is modelled by means of a structural operational semantics. Thirdly, the grammar defining the syntax of the BPE-calculus and the rules defining the semantics of the BPE-calculus are used as the input to the process algebra compiler (PAC) to produce a front-end for the concurrency workbench (CWB). Finally, this front-end is used to adapt the CWB to the BPE-calculus, providing us with a tool to check properties of BPE-processes. 1
Citations
| 81 | Verification of Workflow Nets - Aalst - 1997 |
| 52 | Workflow verification: Finding control-flow errors using Petri-netbased techniques - Aalst - 2000 |
