Control-Flow-Based Methods to Support the Development of Sound Workflows by Thomas M. Prinz, Wolfram Amme

“…The state of the art in workflow verification can detect such behaviors, but gives no indication of causes, does not provide detailed diagnostic information, or is slow. …”
Get full text