Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus

Abstract

Business Processing Execution Language (BPEL) and BPEL for People (BPEL4People) are two web services orchestration languages for composing web services. To describe formally their semantics, we introduce the Pi_it-calculus, a new variant of the pi-calculus, in this paper. The good feature of the Pi_it-calculus is that its execution can be interrupted and… (More)
DOI: 10.1109/COMPSAC.2010.75

Topics

1 Figure or Table

Slides referencing similar topics