S
Stephan Breutel
Researcher at Queensland University of Technology
Publications - 7
Citations - 1071
Stephan Breutel is an academic researcher from Queensland University of Technology. The author has contributed to research in topics: Business Process Execution Language & Petri net. The author has an hindex of 5, co-authored 7 publications receiving 1064 citations.
Papers
More filters
Formal semantics and analysis of control flow in WS-BPEL
Chun Ouyang,W.M.P. van der Aalst,Stephan Breutel,Marlon Dumas,A.H.M. ter Hofstede,H. M. W. Verbeek +5 more
TL;DR: A tool is described that performs two useful types of static checks and extracts meta-data to optimise dynamic resource management by translating BPEL processes into Petri nets and exploiting existing Petri net analysis techniques.
Journal ArticleDOI
Formal semantics and analysis of control flow in WS-BPEL
Chun Ouyang,Eric Verbeek,Wil M. P. van der Aalst,Stephan Breutel,Marlon Dumas,Arthur H. M. ter Hofstede +5 more
TL;DR: In this paper, the authors present a comprehensive and rigorously defined mapping of BPEL constructs onto Petri net structures, and use this for the analysis of various dynamic properties related to unreachable activities, conflicting messages, garbage collection, conformance checking, and deadlocks and lifelocks in interaction processes.
Book ChapterDOI
WofBPEL: a tool for automated analysis of BPEL processes
Chun Ouyang,Eric Verbeek,Wil M. P. van der Aalst,Stephan Breutel,Marlon Dumas,Arthur H. M. ter Hofstede +5 more
TL;DR: The Business Process Execution Language for Web Service, known as BPEL4WS, more recently as WS-BPEL (or BPEL for short), is a process definition language geared towards Service-Oriented Computing (SOC) and layered on top of the Web services technology stack.
Journal Article
Translating standard process models to BPEL
TL;DR: In this paper, a technique for generating BPEL code from process models expressed in a core subset of BPMN and UML AD is presented, which is a necessary ingredient to the emergence of modeldriven business process development environments based on these standards.
Book ChapterDOI
Translating standard process models to BPEL
TL;DR: This paper presents a technique for generating BPEL code from process models expressed in a core subset of BPMN and UML AD, and proposes a model-to-code translation is a necessary ingredient to the emergence of model-driven business process development environments based on these standards.