Darbe yra nagrinėjami du paplitę darbo sekų modeliai – BPMN ir Windows Workflow Foundation (WF), bei tiriama, kaip BPMN darbo sekas transformuoti į WF vykdymo modelį. BPMN ir WF yra iš esmės skirtingos kalbos ir pagrindinė transformavimo problema yra susijusi su nestruktūrizuotų ciklų eliminavimu, t.y. jų konvertavimu į proceso atžvilgiu ekvivalenčias struktūrizuotas konstrukcijas. Darbe pasirinktas žinomas algoritmas, skirtas panašioms ciklinėms konstrukcijoms transformuoti naudojant tęstinumo semantiką. Jis buvo adaptuotas BPMN modeliui. Algoritme naudojama tęstinumo semantika buvo praplėsta atsižvelgiant į BPMN ir WF modeliuose esančias konstrukcijas bei patobulinto algoritmo ypatumus. Buvo sukurti nauji algoritmai, skirti nagrinėjamai transformacijai atlikti. Transformavimo algoritmui patikrinti buvo sukurta programa, leidžianti tęstinumo semantika užrašytą BPMN darbo seką transformuoti į pavidalą, nesunkiai konvertuojamą į WF. Atliktos eksperimentinės darbo sekų transformacijos parodė, kad sukurtas algoritmas yra veiksmingas. / 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.
| Identifer | oai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2008~D_20090908_201803-30366 |
| Date | 08 September 2009 |
| Creators | Kisly, Miroslav |
| Contributors | Kurtinaitis, Andrius, Vilnius University |
| Publisher | Lithuanian Academic Libraries Network (LABT), Vilnius University |
| Source Sets | Lithuanian ETD submission system |
| Language | Lithuanian |
| Detected Language | English |
| Type | Master thesis |
| Format | application/pdf |
| Source | http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2008~D_20090908_201803-30366 |
| Rights | Unrestricted |
Page generated in 0.0023 seconds