de.viadee.bpm.vPAV.processing.code.flow

Class FlowAnalysis

java.lang.Object

de.viadee.bpm.vPAV.processing.code.flow.FlowAnalysis

public class FlowAnalysis
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	LOGGER

Constructor Summary

Constructors

Constructor and Description
FlowAnalysis()

Method Summary

Modifier and Type	Method and Description
void	analyze(Collection<Graph> graphCollection) Given a collection of graphs, this method is the sole entrance to the analysis of the graphs.
LinkedHashMap<String,AnalysisElement>	getNodes()
int	getOperationCounter()
void	incrementOperationCounter()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

LOGGER

public static final Logger LOGGER

Constructor Detail

FlowAnalysis

public FlowAnalysis()

Method Detail

analyze

public void analyze(Collection<Graph> graphCollection)

Given a collection of graphs, this method is the sole entrance to the analysis of the graphs. First process model and control flow graph of delegates are embedded to create a single graph. Then the graph is analyzed conservatively by following the Reaching Definition algorithm. For discovering data flow anomalies inside a single block, a sequential check on unit basis is performed. Lastly, anomalies are extracted and appended to the parent element (for visualization)

Parameters:

graphCollection - Collection of graphs

getNodes

public LinkedHashMap<String,AnalysisElement> getNodes()

getOperationCounter

public int getOperationCounter()

incrementOperationCounter

public void incrementOperationCounter()