com.inubit.research.validation.bpmn.soundness

Class BPMNSimulator

java.lang.Object

com.inubit.research.validation.bpmn.soundness.BPMNSimulator

public class BPMNSimulator
extends java.lang.Object

this is a simple Simulator for BPMN used for checking soundness of BPMN-diagrams. This Simulator does not simulate attached events, as they are removed and replaced by a decision-gateway while preprocessing the model.

Constructor Summary

Constructors

Constructor and Description
BPMNSimulator(ModelAdaptor model, java.util.Collection<NodeAdaptor> cancellationNodes, NodeAdaptor outgoingNode)

Method Summary

Modifier and Type	Method and Description
boolean	areAllIncommingFlowsEnabled(NodeAdaptor node, ProcessState state)
java.util.List<ProcessState>	execute(NodeAdaptor node, ProcessState state)
java.util.List<ProcessState>	executeInitial(NodeAdaptor initialNode)
java.util.List<NodeAdaptor>	getEnabledNodes(ProcessState state)
boolean	isEnabled(GatewayAdaptor gateway, ProcessState state)
boolean	isEnabled(NodeAdaptor node, ProcessState state)
boolean	isOneIncommingFlowEnabled(NodeAdaptor node, ProcessState state)

Methods inherited from class java.lang.Object

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

Constructor Detail

BPMNSimulator

public BPMNSimulator(ModelAdaptor model,
                     java.util.Collection<NodeAdaptor> cancellationNodes,
                     NodeAdaptor outgoingNode)

Method Detail

executeInitial

public java.util.List<ProcessState> executeInitial(NodeAdaptor initialNode)

getEnabledNodes

public java.util.List<NodeAdaptor> getEnabledNodes(ProcessState state)

isEnabled

public boolean isEnabled(NodeAdaptor node,
                         ProcessState state)

isOneIncommingFlowEnabled

public boolean isOneIncommingFlowEnabled(NodeAdaptor node,
                                         ProcessState state)

areAllIncommingFlowsEnabled

public boolean areAllIncommingFlowsEnabled(NodeAdaptor node,
                                           ProcessState state)

isEnabled

public boolean isEnabled(GatewayAdaptor gateway,
                         ProcessState state)

execute

public java.util.List<ProcessState> execute(NodeAdaptor node,
                                            ProcessState state)