Requirements-driven Verification of WSBPEL Processes.

Mohsen Rouached Claude Godart

Published in: ICWS (2007)

Keyphrases

formal verification
data driven
model checking
process management
decision trees
verification method
real time
neural network
genetic algorithm
computational model
application specific
user requirements
face verification
formal analysis
person identification