A Formal Account of WS-BPEL.

Alessandro Lapadula Rosario Pugliese Francesco Tiezzi

Published in: COORDINATION (2008)

Keyphrases

ws bpel
business process
business processes
service composition
formal specification
database systems
machine learning
web services
case study
formal model