Concepedia

A Mapping from Pi-Calculus into BPEL

Faisal Abouzaid

2006 · 11 citations · 5 references

Abstract

Abstract. In the world of Web services composition languages, Business Process Execution Language for Web Services (BPEL or BPEL4WS), proposed by major

References

5

Workflow Patterns

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski et al. · Distributed and Parallel Databases · 2003 · 2.6K citations · Full text

A pi-calculus based semantics for WS-BPEL

Roberto Lucchi, Manuel Mazzara · The Journal of Logic and Algebraic Programming · 2006 · 257 citations

, , +6

Web services

Andrea Ferrara · 2004 · 241 citations

, , +17

Pi calculus versus petri nets: let us eat humble pie rather than further inflate the Pi hype

Wil M. P. van der Aalst, van der · TU/e Research Portal (Eindhoven University of Technology) · 2005 · 123 citations

Translating workflow nets to BPEL

Wil M. P. van der Aalst, KB Kristian Bisgaard Lassen · 2005 · 36 citations

, , +19