Automatizētas informācijas sistēmu darbības uzraudzības implementācija

Abstract

Mūsdienās veiksmīgus darījumprocesus gandrīz vienmēr balsta informācijas sistēmas. Pie tam viena procesa nodrošināšanā nereti ir iesaistītas vairākas sistēmas. Kopējā procesa pārraudzība parasti tiek atstāta kāda administratora ziņā. Taču tas pakļauj procesa norisi cilvēcisko kļūdu faktoram. Lai to novērstu, būtu nepieciešams procesa verifikāciju automatizēt. Būtiskākie pētījuma mērķi ir iepazīties ar izpildes laika verifikāciju, kas pārbauda informācijas sistēmu korektumu to darbības laikā, un atbilstoši darbā aprakstītajam konceptuālajam risinājumam veikt kontroliera prototipa izstrādi. Atbilstoši izvirzītajiem mērķiem, autors iepazinās ar izpildes laika verifikācijas jēdzienu, šajā laukā veiktajiem pētījumiem un praktiskajiem centieniem. Tāpat tika izstrādāta sākotnējā kontroliera prototipa versija.

Nowadays successful business processes are almost always backed up by information systems. Moreover, quite often more than one system is used to perform the operations of a specific process. The overall monitoring of a process usually is a responsibility of some administrator. But that exposes each run of the process to the factor of human error. To avoid that, the process runtime verification needs to be automated. Main goals of this paper are to get familiar with the runtime verification that verifies system correctness at runtime, and to develop a controller prototype according to the conceptual solution given in this paper. According to the aims author got acquainted with the concept of runtime verification, research done in this field, and practical efforts made so far. Initial controller prototype version was developed too.