Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems.

Andreas Both Wolf Zimmermann

Published in: ECOWS (2008)

Keyphrases

formal methods
management system
lightweight
web services
network protocols
knowledge base
distributed systems
fully automatic
database systems
expert systems
service oriented
parallel computing
communication protocol