Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
A correspondence between ALGOL 60 and Church's Lambda-notations: Part II
Communications of the ACM
The Definition of Standard ML
Efficient Analysis of BPEL 2.0 Processes Using p-Calculus
APSCC '07 Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
An abstract machine architecture for web service based business process management
BPM'05 Proceedings of the Third international conference on Business Process Management
Hi-index | 0.00 |
We present a core subset of the Web Services Business Process Execution Language 2.0 (WS-BPEL), called Core BPEL, and a complete, idempotent transformation from WS-BPEL to the Core BPEL subset. This has two benefits: (1) it clarifies the WS-BPEL semantics by showing how complex constructs map to a composition of simpler constructs, and (2) it reduces the effort required for working formally with WS-BPEL, as one, without loss of generality, needs only consider the much simpler Core BPEL. We provide an XML Schema for Core BPEL, XSLT implementations of the presented transformations, and a web application where one may apply the transformations to WS-BPEL processes.