WofBPEL: A tool for automated analysis of BPEL processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3826 LNCS, Issue , 2005, Pages 484-489

  Ouyang, Chun ^a   Verbeek, Eric ^b   Van Der Aalst, Wil M P ^a,b   Breutel, Stephan ^a   Dumas, Marion ^a   Ter Hofstede, Arthur H M ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33744958417     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11596141_37     Document Type: Conference Paper

References (7)

1. A. Arkin, S. Askary, B. Bloch, F. Curbera, Y. Goland, N. Kartha, C. K. Liu, S. Thatte, P. Yendluri, and A. Yiu, editors. Web Services Business Process Execution Language Version 2.0. WS-BPEL TC OASIS, May 2005. Available via http://www.oasis-open.org/committees/download.php/12791/.
2. J. Dehnert. A Methodology for Workflow Modelling: from Business Process Modelling towards Sound Workflow Specification. PhD thesis, Technische Universität Berlin, Berlin, Germany, August 2003.
3. B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst. Fundamentals of control flow in workflows. Acta Informatica, 39(3):143-209, 2003.
4. A. Martens. Verteilte Geschäftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services (In German). PhD thesis, Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany, 2003.
5. C. Ouyang, H.M.W. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. ter Hofstede. Formal semantics and analysis of control flow in WS-BPEL. Technical Report BPM-05-15, BPMcenter.org, 2005. Available via http://www.bpmcenter.org/reports/2005/BPM-05-15.pdf.
6. C. Stahl. Transformation von BPEL4WS in Petrinetze (In German). Master's thesis, Humboldt University, Berlin, Germany, 2004.
7. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnozing workflow processes using Woflan. The Computer Journal, 44(4):246-279, 2001.