Š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ų).

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]

Viena iš technologinių sričių, kur galima pritaikyti modeliavimu grindžiamą architektūrą (MGA) yra Java Enterprise Edition (J2EE) informacinių sistemų kūrimas. Nors generuoti pilną programinį kodą taikant MGA metodus nėra įprasta, tačiau egzistuoja abstraktūs metodai, bei daliniai sprendimai leidžiantys daryti prielaidą, kad tai yra įmanoma. Remiantis egzistuojančiais abstrakčiais metodais ir daliniais sprendimais buvo sukurtas MGA metodas ir kodo generatorius, leidžiantis sugeneruoti visą programinį kodą pagal modelio duomenis. Sukurtas metodas buvo išbandytas su realia informacine MagicTest žinių testavimo sistema. Bandymas su realia sistema parodė, kad pasiūlytas MGA metodas gali būti sėkmingai taikomas JEE platformos informacinių sistemų kūrimui. / One of the technological areas where can be used model driven architecture (MDA) is Java Enterprise Edition (J2EE) development of information systems. Although to generate a complete program using MDA is not common, but there are some abstract methods, and partial solutions suggesting that this is possible. Based on existing methods of abstract and partial solutions new MDA method and code generator was created. Generator allows to generate software code based on the model data. The method and generator was tested with the real information MagicTest knowledge testing system. The test of the real system showed that the proposed MDA method can be successfully applied to J2EE platform for developing information systems.

Santrauka Šarūnas Čirvinskas (2007) Veiklos modeliu grindžiamo UML sekų (sequence) modelio generavimas Magistro baigiamasis darbas Kaunas : Vilniaus Universitetas Kauno humanitarinis fakultetas 75psl. Darbo objektas: žiniomis grindžiamos IS inžinerijos projektavimo etapas. Darbo tikslas: patobulinti IS inžinerijos projektavimo etapą, taikant UML sekų modelio generavimo iš veiklos modelio algoritmus. Darbo uždaviniai: 1. Išanalizuoti dalykinę sritį –žiniomis grindžiamą IS inžinerijos projektavimo etapą. 2. Atlikti veiklos metamodelio sudėties analizę UML sekų metamodelio aspektu, siekiant nustatyti trūkstamus veiklos metamodelio komponentus. 3. Sukurti UML sekų modelio generavimo būdą (algoritmus) 4. Pasiūlyti sukurto metodo programinės įrangos prototipą 5. Patikrinti programinės įrangos prototipą taikant realius duomenis. Darbo rezultatai: Darbas susideda iš trijų pagrindinių dalių. Pirmojoje dalyje yra apibrėžiama dalykinė sritis –žiniomis grindžiama informacinių sistemų inžinerija. Analizuojami pagrindiniai metodai, modeliavimo kalbos, standartai reglamentuojantys veiklos modeliavimą. Taip pat lyginami populiariausi šiuo metu CASE įrankiai pagal projektinių modelių, kodo, dokumentacijos generavimo galimybes. Antrojoje darbo dalyje yra analizuojamas žiniomis grindžiamos inžinerijos etapas jo struktūriniai elementai. Pateikiamas sukurtas sekų metamodelis, aprašomas jo atvaizdavimas į veiklos metamodelį bei jo papildymas. Trečioje darbo dalyje pateikiama sukurta sekų diagramos... [toliau žr. visą tekstą] / Šarūnas Čirvinskas. (2007) UML sequence model generation based on enterprise model. MBA graduation paper. Kaunas: Vilnius University, Kaunas Faculty of Humanities, Departament of informatics 75p. Summary Main objective: Create a method and realization algorithms for UML sequence model based on enterprise model generation. Main tasks: • To analyze the work domain: knowledge based IS engineering • To implement enterprise metamodel’s content analysis through the prism of UML sequence metamodel • To create the way (algorithms) to generate UML sequence diagram. • Suggest a software prototype for created method. • To test the software prototype using real world data. Research domain: design stage of knowledge based IS engineering. Research methodology During the research main methods used were analysis and synthesis comparing, analysis of science literature and Internet sources, model creation, analysis and decomposition. Results: The analysis of work domain was implemented. Enterprise model structure was analyzed through its metamodel. Enterprise metamodels structure was compared to the sequence metamodel and it was found that the enterprise metamodel in not sufficient to create a sequence diagram. Therefore the enterprise metamodel was complemented with additional concepts. The sequence diagram generation algorithm was created and tested with a software prototype. Consequences: After enterprise metamodel and sequence metamodel decomposition and analysis there was designated that... [to full text]

Šiame magistro baigiamajame darbe yra nagrinėjama, kaip ir kokiu mastu, struktūrinant reikalavimus pagal J.A.Zachmano karkasą ir panaudojant Toronto grupės pasiūlytą nefunkcinių reikalavimų dekomponavimo metodiką (NFR), galima bent iš dalies formalizuoti reikalavimų nuleidimą iš verslo lygmens į programų sistemos lygmenį. Darbo teorinėje darbo dalyje, remiantis atliktos mokslinės literatūros analizės rezultatais, pasiūlyta kaip pritaikyti Toronto metodiką reikalavimams nuleisti iš verslo į programų sistemos lygmenį Zachmano tipo karkasuose. Darbo eksperimentinėje dalyje šie pasiūlymai patikrinti praktiškai, atliekant konkrečios sistemos reikalavimų nuleidimą iš verslo į programų sistemos lygmenį. Tyrimo rezultatai parodė, kad NFR metodika tinkama ne visų reikalavimų nuleidimui žemyn, nes joje yra per silpnos dinamikos modeliavimo priemonės. / The aim of the master thesis is to investigate possibilities to use the NFR (non-functional requirements) approach proposed by Toronto group to perform the flowdown of requirements from business to software level in the methodical requirements engineering frameworks that organize requirements in a way similar to the J.A. Zachman’s Enterprise Architecture. Using results of the library research, the theoretical part of the thesis proposes a methodology how to apply NRF approach to perform flow down of the higher level requirements to lower ones in cases when requirements are organized according to principles proposed by J.A. Zachman. The experimental part of the thesis is devoted to the validation of the proposed approach using a simplified banking system example. The main conclusion of the thesis is that the NFR approach is applicable only to some part of requirements because the modelling means provided by this approach are not sufficient to model the system dynamic.