Pagrindinis šio darbo tikslas – naujausių OMG (Object Management Group) veiklos taisyklių standartų tyrimas ir jų standartų taikymo, kuriant informacines sistemas, metodikos sudarymas bei jos eksperimentinis įvertinimas. Pagrindiniai darbe keliami uždaviniai yra: 1) Išnagrinėti veiklos taisyklių koncepciją ir jos taikymo principus. 2) Ištirti standartus, skirtus reikalavimų specifikavimo stadijai (akcentuojant SBVR ir PRR). 3) Apibrėžti pasirinktų standartų charakteringąsias savybes ir jų ryšius. 4) Sukurti pasirinktų standartų taikymo metodiką. 5) Ištirti pasiūlytos metodikos realizavimo galimybes. 6) Išbandyti metodiką pasirinktos dalykinės srities pagrindu. Iš OMG siūlomų standartų išskirti SBVR (Semantics of Business Vocabulary and Business Rules) ir PRR (Production Rule Representation), kurie aktualūs veiklos taisyklėms. Tyrimo metu apibrėžtos pasirinktų standartų charakteringosios savybės bei ištirtos jų susiejimo bei PRR išraiškų generavimo iš SBVR šablonų galimybės. Pagrindiniai darbo metu gauti moksliniai/taikomieji rezultatai yra: - Analitinis SBVR ir PRR standartų įvertinimas jų tarpusavio santykio atžvilgiu; - SBVR ir PRR panaudojimo IS kūrimo metu specifikuojant veiklos žodyną ir produkcines taisykles metodika, standartų sulietuvinimo galimybių analizė; - Sukurtąją metodiką palaikančių saugyklų struktūros apibrėžimas. - Atviro kodo įrankio SBeaVeR analizė bei jo modifikavimo rekomendacijos, siekiant jį pritaikyt darbe siūlomai metodikai. Nors veiklos taisyklių... [toliau žr. visą tekstą] / The aim of this paper is the analysis of the new OMG (Object Management Group) business rules standards, the creation of methodology for their application and its practical evaluation. The main tasks of the work are: 1. Analysis of business rules conception and application. 2. Analysis of the standards designed for requirement specification phase (emphasizing SBVR and PRR). 3. Definition of the main characteristics of the selected standards. 4. Creation of the standards application methodology. 5. Investigation of the implementation possibilities of the created methodology. 6. Practical evaluation of methodology. From the analyzed OMG standards two have been distinguished - SBVR (Semantics of Business Vocabulary and Business Rules) and PRR (Production Rule Representation), which are relevant to the production rules. The study defined the selected standards fundamental properties and investigated the binding of PRR and SBVR expressions and the options of the generation of templates. The main results of the work are: - Analytical evaluation of SBVR and PRR standards and their interaction; - The methodology of SBVR and PRR application during the specification of the concept dictionary and production rules; - Definition of the repository structures for the developed methodology; - The analysis of the open-source tool SBeaVeR and the recommendations for its modification to fit the created methodology; The application of business rules approach for the creation of IS is very... [to full text]

Šiuolaikiniai IS inžinerijos metodai yra nuolat vystomi ir tobulinami, tačiau iš esmės jie yra grindžiami empiriniais procesais. Empiriškai išgautų žinių kokybė gali būti nepakankama sėkmingam projekto įgyvendinimui, nes netikslus vartotojo reikalavimų specifikavimas neigiamai įtakoja visus programinės įrangos kūrimo etapus, o tai didina projekto įgyvendinimo riziką. Disertacinis darbas skirtas sukurti IS inžinerijos metodą, kuris įgalintų empiriniais būdais surinktas dalykinės srities žinias patikrinti formalių kriterijų atžvilgiu. Metodui sukurti buvo apjungti žiniomis grindžiamos ir modeliais grindžiamos IS inžinerijos principai. Šiuo tikslu klasikinis MDA procesas buvo papildytas pagrindiniu žiniomis grindžiamos IS inžinerijos komponentu – veiklos modeliu. Darbo metu buvo sukurtas žiniomis grindžiamo MDA metodo dalykinės programos prototipas, kuris iš dalies automatizuoja siūlomo metodo procesą. Žiniomis grindžiamo MDA metodo efektyvumas buvo patikrintas jį taikant eksperimentinio tyrimo atlikimui, kurio metu buvo sukurta pašto siuntų stebėjimo programėlė. Tyrimo metu nustatyta, kad tikslinga taikyti žiniomis grindžiamą MDA metodą PĮ kūrime nes: 1) detaliau dokumentuojami vartotojo reikalavimai (tikrinami formalių kriterijų atžvilgiu); 2) sumažinama loginių trūkių atsiradimo galimybė (tarp programinės įrangos kūrimo dalyvių); 3) daugiaplatforminiuose sprendimuose sumažinamos projekto įgyvendinimo laiko sąnaudos (dėka automatinio kodo generavimo iš patikrintų modelių). / Although new methods of information systems engineering are being researched and developed, they are empirical in nature. The problem domain knowledge acquisition process relies heavily on the system analyst and user; therefore it is not clear whether the knowledge of the problem domain is comprehensive. This may lead to occurrence of logical gaps, misinterpretation of system requirements, thus causing issues for project. The research work is meant to develop new IS engineering method that will allow validation of the problem domain knowledge against formal criteria. In order to create such method basic principles of Knowledge Based ISE and Model Driven ISE were combined. By combining the two approaches Knowledge Based MDA method was created that extends traditional MDA with Enterprise Model. During the research Knowledge Based MDA tool’s prototype, that is capable of partly automating Knowledge Based MDA process, was created. The efficiency of Knowledge Based MDA method was validated by creating real life application for mobile devices. During the empirical research it was established that by using developed method software requirements quality is improved and comprehensive documentation is created (due to Enterprise Model based validation), occurrence of logical gaps between software development stakeholders is reduced, time consumption needed for creation of application for multiplatform systems is reduced (due to automated code generation and shorter testing stage).

Although new methods of information systems engineering are being researched and developed, they are empirical in nature. The problem domain knowledge acquisition process relies heavily on the system analyst and user; therefore it is not clear whether the knowledge of the problem domain is comprehensive. This may lead to occurrence of logical gaps, misinterpretation of system requirements, thus causing issues for project. The research work is meant to develop new IS engineering method that will allow validation of the problem domain knowledge against formal criteria. In order to create such method basic principles of Knowledge Based ISE and Model Driven ISE were combined. By combining the two approaches Knowledge Based MDA method was created that extends traditional MDA with Enterprise Model. During the research Knowledge Based MDA tool’s prototype, that is capable of partly automating Knowledge Based MDA process, was created. The efficiency of Knowledge Based MDA method was validated by creating real life application for mobile devices. During the empirical research it was established that by using developed method software requirements quality is improved and comprehensive documentation is created (due to Enterprise Model based validation), occurrence of logical gaps between software development stakeholders is reduced, time consumption needed for creation of application for multiplatform systems is reduced (due to automated code generation and shorter testing stage). / Šiuolaikiniai IS inžinerijos metodai yra nuolat vystomi ir tobulinami, tačiau iš esmės jie yra grindžiami empiriniais procesais. Empiriškai išgautų žinių kokybė gali būti nepakankama sėkmingam projekto įgyvendinimui, nes netikslus vartotojo reikalavimų specifikavimas neigiamai įtakoja visus programinės įrangos kūrimo etapus, o tai didina projekto įgyvendinimo riziką. Disertacinis darbas skirtas sukurti IS inžinerijos metodą, kuris įgalintų empiriniais būdais surinktas dalykinės srities žinias patikrinti formalių kriterijų atžvilgiu. Metodui sukurti buvo apjungti žiniomis grindžiamos ir modeliais grindžiamos IS inžinerijos principai. Šiuo tikslu klasikinis MDA procesas buvo papildytas pagrindiniu žiniomis grindžiamos IS inžinerijos komponentu – veiklos modeliu. Darbo metu buvo sukurtas žiniomis grindžiamo MDA metodo dalykinės programos prototipas, kuris iš dalies automatizuoja siūlomo metodo procesą. Žiniomis grindžiamo MDA metodo efektyvumas buvo patikrintas jį taikant eksperimentinio tyrimo atlikimui, kurio metu buvo sukurta pašto siuntų stebėjimo programėlė. Tyrimo metu nustatyta, kad tikslinga taikyti žiniomis grindžiamą MDA metodą PĮ kūrime nes: 1) detaliau dokumentuojami vartotojo reikalavimai (tikrinami formalių kriterijų atžvilgiu); 2) sumažinama loginių trūkių atsiradimo galimybė (tarp programinės įrangos kūrimo dalyvių); 3) daugiaplatforminiuose sprendimuose sumažinamos projekto įgyvendinimo laiko sąnaudos (dėka automatinio kodo generavimo iš patikrintų modelių).