A Tool for the Automatic Verification of BPMN Choreographies.

Ellis Solaiman Wenzhong Sun Carlos Molina-Jiménez

Published in: SCC (2015)

Keyphrases

business process
user friendly
business processes
data mining
business process modeling
databases
neural network
genetic algorithm
learning algorithm
artificial intelligence
decision making
database systems