File size: 1,931 Bytes
8097001
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
import os
import unittest
import pm4py
from pm4py.objects.conversion.bpmn import converter as bpmn_converter
from pm4py.objects.conversion.process_tree import converter as tree_converter
from pm4py.objects.bpmn.importer import importer as bpmn_importer
from pm4py.objects.bpmn.layout import layouter as bpmn_layouter
from pm4py.objects.bpmn.exporter import exporter as bpmn_exporter


class BPMNTests(unittest.TestCase):
    def test_tree_to_bpmn(self):
        log = pm4py.read_xes(os.path.join("input_data", "running-example.xes"))
        tree = pm4py.discover_process_tree_inductive(log)
        bpmn_graph = tree_converter.apply(tree, variant=tree_converter.Variants.TO_BPMN)

    def test_bpmn_to_petri_net(self):
        log = pm4py.read_xes(os.path.join("input_data", "running-example.xes"))
        bpmn_graph = bpmn_importer.apply(os.path.join("input_data", "running-example.bpmn"))
        net, im, fm = bpmn_converter.apply(bpmn_graph, variant=bpmn_converter.Variants.TO_PETRI_NET)
        fitness_tbr = pm4py.fitness_token_based_replay(log, net, im, fm)

    def test_bpmn_layouting(self):
        log = pm4py.read_xes(os.path.join("input_data", "running-example.xes"))
        tree = pm4py.discover_process_tree_inductive(log)
        bpmn_graph = tree_converter.apply(tree, variant=tree_converter.Variants.TO_BPMN)
        bpmn_graph = bpmn_layouter.apply(bpmn_graph)

    def test_bpmn_exporting(self):
        bpmn_graph = bpmn_importer.apply(os.path.join("input_data", "running-example.bpmn"))
        bpmn_exporter.apply(bpmn_graph, os.path.join("test_output_data", "running-example.bpmn"))
        os.remove(os.path.join("test_output_data", "running-example.bpmn"))

    def test_bpmn_importing_and_layouting(self):
        bpmn_graph = bpmn_importer.apply(os.path.join("input_data", "running-example.bpmn"))
        bpmn_graph = bpmn_layouter.apply(bpmn_graph)


if __name__ == "__main__":
    unittest.main()