A pi-calculus based semantics for WS-BPEL.

Roberto Lucchi Manuel Mazzara

Published in: J. Log. Algebraic Methods Program. (2007)

Keyphrases

ws bpel
business process
business processes
formal language
service composition
formal semantics
process algebra
database query languages
algebraic structure
logic programming
asynchronous communication
semantic information
web services
relational calculus
formal specification
case study
model checking