Description

BPMN reader.

Read a BPMN diagram and infer a state machine which implements a given participant of the business proces. When multiple BPMN loaders used, the final state machine will implement all of the business processes.

See also: https://camunda.org/bpmn/tool/

Public Member Functions
	enableTimeLog (bool $enable=true)

	getTimeLog ()

	getBpmnGraph ()

	setSvgFileName (?string $svgFileName)

	getSvgFileName ()

	inferStateMachine (StateMachineDefinitionBuilder $builder, string $state_machine_participant_id, bool $rewriteGraph=false)

Static Public Member Functions
static	readBpmnFile (string $bpmnFileName)

static	readGraph (Graph $bpmnGraph)

Member Function Documentation

◆ enableTimeLog()

enableTimeLog ( bool $enable = true )

◆ getTimeLog()

getTimeLog ( )

◆ readBpmnFile()

static readBpmnFile ( string $bpmnFileName )

static

◆ readGraph()

static readGraph ( Graph $bpmnGraph )

static

◆ getBpmnGraph()

getBpmnGraph ( )

◆ setSvgFileName()

setSvgFileName ( ?string $svgFileName )

◆ getSvgFileName()

getSvgFileName ( )

◆ inferStateMachine()

inferStateMachine	(	StateMachineDefinitionBuilder	$builder,
		string	$state_machine_participant_id,
		bool	$rewriteGraph = `false`
	)

See also: Node[] $receiving_nodes; Edge[] $visited_arrows; Node[] $visited_nodes; Node[] $active_receiving_nodes; Node $rcv_node; Node $receiving_node; Node[] $next_invoking_nodes; Node $invoking_node; Node $s_target; Node $t_target