Biznesa procesu izpildes laika varificēšana

Abstract

Darbā ir risināta biznesa procesu izpildes laika verificēšanas problēma. Autors piedāvā ārēju verificēšanas risinājumu, kas ļauj verificēt procesu izpildi, neiejaucoties procesu darbībā un neiekļaujot sistēmu papildus instrumentāciju. Verificēšana tiek veikta atbilstoši katra procesa verificēšanas aprakstam: tiek definēti notikumi, kas apliecina korektu procesa izpildi, to iestāšanās secība un izpildes laika ierobežojumi. Verificēšanas mehānisms novēro vides notikumus un verificē to iestāšanās secības un laika atbilstību verificēšanas aprakstam. Verificēšanas mehānismā ir divu tipu komponentes: kontrolieris un vairāki aģenti notikumu reģistrēšanai. Kontrolieris pieprasa aģentiem novērot nepieciešamos notikumus un, saņemot atbildes par fiksētajiem notikumiem, vereificē procesa instanču izpildi. Verificēšanas mehānisma prototips tika aprobēts ar reālas sistēmas palīdzību, darbinot to testēšanas vidē.

Business process run-time verification problem is the main objective of this thesis. The author suggests developing external multi-agent solution running as parallel process and would not require modifying process under verification. According to the author's idea, verification could be done by verification mechanism that uses process verification description: it defines events that confirm process step execution, execution order and process timing restrictions. The verification mechanism verifies order and timing of the process execution. Two types of components are used for the verification: single controller and decentralized agents. The controller is the main component, which analyzes process verification descriptions, requests agents to check the process events and verifies process execution correctness. A prototype including process verification controller and two agents was developed so as to prove the concept and specify the details of the proposed model.