Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes.

Ziyang Duan Arthur J. Bernstein Philip M. Lewis Shiyong Lu

Published in: ICWS (2004)

Keyphrases

bpel ws
business processes
database
domain specific
process model
model checking
web services
description logics