Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.
Stefan LeueAlin StefanescuWei WeiPublished 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