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.

No description available.

The work targets the very important part of service oriented architecture -- web services. It is focused at one of its practical implementation, from the Microsoft Corporation, especially in the last two releases of .NET Framework. The main target of this work is comprehensive summary and demonstration of Microsoft web services development. The principles of web services and their base in the .NET Framework are described here. At the beginning of this work the web services are put into the scope of service oriented architecture and their main principles are described. Subsequently the .NET Framework is explained with its main principles and with the comparison to the JAVA technology. This part is finished with the explanation of classic ASMX web services. The main part of this work focuses at detailed description of the theoretical and practical aspects of web services in the Windows Communication Foundation and the Windows Workflow Foundation context. Even the development of Windows Forms application is not left out, because they also have done a large progress and they are often consumers of web services. The options of securing web services in the .NET Framework are shown both theoretically and practically including authentication and authorization. The methods of transactional behavior are shown too. The work also focuses at the orchestration of web services including the explanation of workflows with the deployment example. At the end of the work there is revealed how to guarantee interoperability with other technologies, how to manage web services and how to ensure their versioning.

The the thesis deals with tools for workflow processes automation. It describes in general what workflow is. It also briefly describes tools such as MS BizTalk Server, SAP NetWeaver, IBM WebSphere, ORACLE BPEL. The main part deals with Windows Workflow Foundation. This tool is decribed in detail together with its parts workflow runtime, workflow instances and workflow activities. One part of the thesis is a application, which uses all the possibilities of Windows Workflow Foundation.