Vartotojų sudaromi šablonai verslo taisyklėms specifikuoti ir transformuoti

Abstract

Disertacijos pagrindas yra verslo taisyklių įvedimas panaudojant šablonus ir tolimesnis jų naudojimas įgyvendinant informacinę sistemą. Disertacijos tyrimo objektas yra šablonų specifikavimo kalbos ir šablonų kūrimo metodai. Pagrindinis disertacijos tikslas yra išplėtoti verslo taisyklių, pateiktų kontroliuojama natūralia kalba, įvedimo į saugyklą metodus ir pasiūlyti verslo taisyklių šablonų specifikavimo būdą, pritaikomą standartizuotų kalbų transformavimo įrankiuose. Svarbiausias tokiems būdams keliamas reikalavimas yra galimybė dalykinės srities specialistams savarankiškai pritaikyti informacines sistemas prie besikeičiančios verslo aplinkos. Disertaciją sudaro septyni skyriai. Pirmajame (įvadiniame) skyriuje nagrinėjamas problemos aktualumas, mokslinis naujumas, darbo tikslai ir uždaviniai, praktinė tyrimų vertė bei aprobavimas tarptautinėse konferencijose ir seminaruose. Antrasis skyrius skirtas literatūros apžvalgai. Jame pateikta bendra metodų, skirtų aprašyti verslo taisykles naudojant natūralią ir kontroliuojamą natūralią kalbą, apžvalga. Be to, šiame skyriuje aprašyti verslo taisyklių tvarkymo programiniai įrankiai. Kiekvienas įrankis išanalizuotas natūralios kalbos naudojimo aspektu. Trečiame skyriuje pateikta dalykiniai sričiai skirtų kalbų kūrimo metodų ir šiomis kalbomis užrašytų specifikacijų transformacijų metodų analizė. Yra analizuojami dalykiniai sričiai skirtų kalbų kūrimo metodai. Pagrindinis šio skyriaus uždavinys yra suformuoti pagrindą verslo taisyklių šablonų specifikavimo būdui kurti. Ketvirtame skyriuje aprašomas siūlomas verslo taisyklių įvedimo naudojant vartotojo sudaromus šablonus būdas. Pateikiama verslo taisyklių šablonų specifikavimo kalbos abstrakti sintaksė, semantika ir konkreti sintaksė. Be to, pristatoma verslo taisyklių šablonų sukūrimo technika. Penktame skyriuje yra aprašomas modeliais grindžiamos architektūros, kaip karkaso, naudojimas transformuojant objektų rolių modelius (angl. ORM) į unifikuotos modeliavimo kalbos (angl. UML) modelius papildytus objektų ribojimais (angl. OCL). Yra siūloma formali transformacijos taisyklių specifikacija. Transformavimo rezultatai yra prieinami plačiai naudojamiems įrankiams (pvz., Poseidon for UML, Rational Rose, Elipse UML). Skirtingai nuo jau esamų transformacijų, ši transformacija papildomai apima ne tik ORM struktūrinių elementų transformavimą, bet ir ORM ribojimus. Penktame skyriuje pateikiami eksperimento, skirto įvertinti siūlomo būdo taikymo praktinėje dalykinėje finansinės atskaitomybės srityje lygį, rezultatai. Eksperimentas yra susijęs su specifikavimu ir vykdomo programinio kodo fragmento įgyvendinimu. Darbas baigiamas bendromis išvadomis apie atliktą tyrimą ir pasiektus tikslus.

The main concept of the current PhD thesis is capturing of business rules through templates and their further propagation to the implementation. The objects of investigation are template specification language and methods of its development. The main aim of the work is the development of specification language of business rules’ templates and consequent transformation of business rules using model-driven methods. The thesis consists of nine chapters including the conclusion. Chapter 1 contains an introduction to the problem and describes its topicality. The main aims and tasks of the work, its novelty and the methods used, as well as publications of the author and structure of the thesis are presented. Chapter 2 presents the analysis of publications related to the problems considered in the thesis. General methods for capturing business rules using natural and controlled natural languages are described. This chapter also includes an overview of the business rule dedicated tools. Each tool is analysed from the perspective of easy application and adoption of natural language. Special attention is also given to the ability of the approach to seamlessly propagate business rules to implementation. Chapter 3 deals with the methods of specification and transformation of domain specific languages within the context of model-driven engineering. The available development methods of the domain specific languages are analysed. The aim is to prepare the background for the development of domain specific business rules templates. Chapter 4 is the main chapter of the thesis which presents the approach suggested by the author in specifying business rules templates. BRTL approach designated to the specification of templates and the appropriate templates’ design technique are described there. The suggested approach is evaluated through transformation of business rules to semi-formal language. Chapter 5 presents transformation details and design solutions. Transformation is implemented in two steps. First, ORM model and the constraints are transformed to UML/OCL. The second step involves the transformation of a couple of business rules templates to OCL. Chapter 6 documents the findings of the experiment aimed at determining the extent to which business rules specified by using BRTL can be employed within the model-driven development of the financial reporting systems. The results of the experiment are compared with the data available from four historical projects of the same domain. The thesis comes to an end with general conclusion about accomplished research and research goals.