Transforming parallel process models into statecharts

A computer-implemented method is provided for automatically transforming a Business Process Model (BPM) into a hierarchical statechart. The BPM has parallel paths with at least one FORK node and at least one JOIN node. The method includes, responsive to identifying each of the at least one FORK node in the BPM in a node analysis: (i) generating a FORK edge sub-statechart having an initial state and a working state for each of edges from the at least one FORK node, and attaching the FORK edge sub-statechart to a hierarchical state for the at least one FORK node; and (ii) generating a synchronizer sub-statechart corresponding to each JOIN node going through the FORK node to receive a synchronization event from each FORK edge sub-statechart, and attaching the synchronizer sub-statechart to the hierarchical state for the at least one FORK node to form an intermediate version of the hierarchical statechart.