Design of a BPEL Verification Tool.

Elie Fares Jean-Paul Bodeveix Mamoun Filali

Published in: WS-FM (2011)

Keyphrases

formal methods
web services
building blocks
design tools
user interface
artificial intelligence
case study
business processes
modeling language
real time
data sets
neural network
learning environment
knowledge based systems
computer aided
assessment tool