A Java Based System for Specifying Hierarchical Control Flow Graph Models.

Thorsten Daum Robert G. Sargent

Published in: WSC (1997)

Keyphrases

control flow
data flow
software testing
process model
lightweight
business process models
cooperative
database
machine learning
multi agent
workflow management systems
reactive systems
transition systems