Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.

Stefan Leue Alin Stefanescu Wei Wei

Published in: SPIN (2008)

Keyphrases

control flow
dependency analysis
process model
reactive systems
data flow
workflow management systems

communication channels
impact analysis
ontology driven
software testing
workflow processes

information entropy
process mining
business process models
business process
business processes

modeling language
decision making
data sets
transition systems
database