Kiekvienos sistemos kūrimo tikslas yra veikianti, gyvybinga ir saugi sistema, teikianti norimus ir patikimus rezultatus. Sistemos saugumas – tai sistemos savybė, reiškianti, kad sistemos funkcionavimo metu neįvyks jokia nenumatyta situacija. Gyvybingumas – sistemos reakcija į tam tikrus įvykius ir sugebėjimas atlikti nustatytas užduotis bei pateikti teisingus sprendimus arba rezultatus. Norint sukurti tokią sistemą, kuri ateityje tenkins nustatytus reikalavimus, yra labai svarbu iš anksto nustatyti jos formalią reikalavimų specifikaciją, nes nuo to priklauso galutinis produktas – kiek įvairių situacijų, į kurias sistema gali patekti, ar bus numatyta, kaip ji susidoros su atitinkamais išoriniais ar vidiniais įvykiais. Tokią specifikaciją galima praplėsti įvairiomis modifikacijomis, kurios gali padėti aptikti potencialias klaidas sistemoje, kurias įvertinus kūrimo metu, galima sistemai suteikti tolerancijos klaidoms savybę. / In order to create a fault tolerant system, very clear requirements should be prepared and all possible fault events should be analyzed. It can be properly made by using any of system modeling formalism. In this work alternating bit protocol system was chosen to formalize and analyzed in fault tolerant software aspects. Alternating bit protocol was modified in two ways – it’s functionality under perfect circumstances and with added faults, in order to make the system fault tolerant. These both cases were formalized by PLA and DEVS formalization methods. After the research of different formalisms and adjusting FDEVS to alternating bit protocol, FPLA formalization method was created.

Magistro baigiamajame darbe tyrinėta verslo informacinė sistema jos išsivystymas ir metodologija panaudojant komponentais pagrįstą metodą. Metodas parodo kaip naudoti komponentais - orientuotą paradigmą, kad išvystytume sistemą visuose trijuose verslo lygmenyse. Darbe pristatoma pati sąvoka ir jos principai, paradigmos verslo plėtojimo kontekste. Metodas siūlo naudoti komponentų abstrakciją kaip realizavimo techniką daugumos bendrų taikomųjų principų, kurie gali sumažinti integruotos verslo informacinės sistemos plėtojimo sudėtingumą ir palaikymą. Integruotos organizacijų informacinės sistemos į darnią visumą sujungia verslo informacijos apdorojimo ir programinės bei techninės įrangos komponentus. Tokių sistemų kūrimas, sudėtinės dalys, modulinė architektūra turi savo specifinių ypatumų. Šio darbo tikslas – ištirti komponentinės paradigmos taikymo galimybes organizacijų integruotoms informacinėms sistemoms kurti, suformuluoti svarbiausias problemas, kurias reikia spręsti, norint projektuoti ir realizuoti šitokias sistemas. Magistro darbe pateiktos problemas, kurios egzistuoja formalizuojant integruotas verslo sistemas remiantis komponentine paradigma. Nagrinėjama komponentinė sistemų kūrimo paradigma, siekiant perkelti komponentinių programų sistemų kūrimo idėjas į organizacijų integruotų informacinių sistemų lygmenį. Nagrinėjamos komponento ir jo pagrindinių dalių sampratos, įvairių abstrakcijos lygmenų komponentų ypatumai, jų jungimo būdai. Suformuluoti reikalavimai... [toliau žr. visą tekstą] / This final master degree paper analysis the integrated enterprise information system, its development and methodology using component based method. This method shows how the component - oriented paradigm can be used for developing system in all three layers of enterprise. The paper presents the main concept and its principles, context of paradigm through the enterprise development. The method offers the usage of component abstraction like the technique of realisation. The main principles can reduce the difficultness and maintenance of integrated enterprise information system. The integrated enterprise information system connects enterprise information treatment, software and hardware components to the totality. The establishment of this kind of systems, its components, modular architecture has its specific peculiarities. The main objective of the paper – is to research a possibility of using the componentised paradigm in the establishment of the integrated enterprise information systems. Also, to analyse the main problems, which has to be solved if you want to engineer and implement this kind of systems. The master degree paper shows the problems, which exists in formalization of integrated enterprise systems based on the componentised paradigm. It analysis the componentised system development paradigm, persuading the transferring of componentised system establishment ideas into the integrated information system layer. The paper analysis the main concepts of the component... [to full text]