[PDF] academia.edu

[PDF][PDF] Formalizing ws-bpel in binding bigraphs

M Bundgaard, AJ Glenstrup, T Hildebrandt… - academia.edu
We provide a bigraphical formalization of a non-trivial subset of WS-BPEL, including
concurrent flows, shared variables, nested scopes, dynamic manipulation of links between …
被引用次数：2 相关文章
[PDF] researchgate.net

[PDF][PDF] Formalizing WS-BPEL in Binding Bigraphs

M Bundgaard, AJ Glenstrup, T Hildebrandt… - researchgate.net
We provide a bigraphical formalization of a non-trivial subset of WS-BPEL, including
concurrent flows, shared variables, nested scopes, dynamic manipulation of links between …