Control Flow Error Checking with ISIS.

Francisco Rodríguez Juan José Serrano

Published in: ICESS (2005)

Keyphrases

control flow
data flow
process model
software testing
business process models
error rate
reactive systems
transition systems
conceptual framework
database
decision making
cooperative
workflow management systems