Analysis of WS-BPEL Processes in PRISM.

Chen Deng Hongli Yang Husheng Liao Meng Sun Zongyan Qiu

Published in: TASE (2011)

Keyphrases

decision making
expert systems
statistical analysis
database
real time
information retrieval
wide range
data analysis
business processes
quantitative analysis
ws bpel