Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus


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


1 Figure or Table

Slides referencing similar topics