| Abstract [eng] |
This paper analyzes the two most widely used workflow models – BPMN and Windows Workflow Foundation (WF). It also analyzes how a BPMN workflow can be transformed into a WF execution model. BPMN and WF represent two fundamentally different classes of languages and the basic problem is related to convertion of unstructured cycles to their structured equivalents. A known algorithm used for similar cyclic constructions transformations using continuation semantics was chosen. This algorithm was adopted for the BPMN model. The continuation semantics were extended in regards to BPMN and WF model constructions and the specifics of the improved algorithm. Finally, in order to solve the transformation, three new algorithms were created: algorithm for BPMN workflow specification with extended continuation semantics; algorithm for transforming the specification to structured model; algorithm for converting structured model specification to WF model. A specialized program, which transforms extended continuation semantics to a structured model, was written to test the transformation algorithm. Testing this program with exemplary transformations proved that the transformation algorithm was working correctly. |
