A WSDL-based type system for asynchronous WS-BPEL processes.

Alessandro Lapadula Rosario Pugliese Francesco Tiezzi

Published in: Formal Methods Syst. Des. (2011)

Keyphrases

ws bpel
asynchronous communication
web services
description language
business process
data sets
process model
service composition
computational models
machine learning
decision trees
expert systems
semantic annotation
communication channels