Ontologija grindžiamų verslo taisyklių transformacijų įgyvendinimas informacinėse sistemose

Abstract

Darbe nagrinėjamas verslo taisyklių panaudojimas ir transformacijos, kurių realizacijomis sprendžiamos problemos, susijusios su verslo taisyklių sistemos formavimu ir modeliavimu. Darbe buvo aprašyta, kaip verslo taisykles, formaliai aprašytas ontologijoje, galima transformuoti į informacijos apdorojimo ir modeliavimo taisykles. Išnagrinėjus transformacijas aprašančią literatūrą, buvo nustatytos transformacijų kalbos, stiliai, tipai, įvairūs būdai, kaip transformacija gali būti atlikta. Transformacijos metodo realizacijai buvo atlikta verslo taisyklių ir ontologijos analizė. Darbe aprašytas metodas, kaip ontologijoje aprašytos verslo taisyklės, išreikštos aksiomomis, gali būti panaudotos informacinei sistemai formuoti: jos transformuojamos į informacijos apdorojimo taisykles, ADB SQL trigerius ir OCL ribojimus. Buvo atlikta lyginamoji ontologijų kūrimo priemonių analizė, kurios metu pasirinktas Protégé įrankis, kuris panaudotas pademonstruoti metodo efektyvumą ir naudą. Transformacijoms įgyvendinti naudota įrankiu sukurta laikraščio ontologija. Metodo realizacijai buvo sukurti Protégé įrankio plėtiniai „Axiom2SQL“ ir „Axiom2OCL“, kuriais galima atlikti automatizuotą ribojimų aksiomų išgavimą ir transformavimą į SQL trigerių prototipus ar OCL ribojimus. Darbą sudaro 5 dalys: įvadas, analitinė ir projektinė, išvados, literatūros sąrašas (bei 3 priedai). Darbo apimtis – 95 p. teksto be priedų, 20 pav., 10 lent., 35 bibliografiniai šaltiniai Atskirai pridedami darbo priedai.

This thesis describes usage and transformations to solve problems associated with business rules system development and modeling. The thesis describes how formally described business rules of the ontology can be transformed into information processing and modeling rules. A result of literature analysis are described transformation languages, styles, types, various ways of transformation how can be made. For described transformation method business rules and ontology were analyzed. Thesis describes method how ontology based business rules, represented as axioms, can be transformed and applied for development of information system: business rules transformed into processing rules, ADBMS SQL triggers, and OCL constraints. After ontology development tools analysis Protégé tool was chosen to demonstrate the efficiency and usefulness of the suggested method. For realization of transformations was used ontology of Newspaper domain. The method is implemented as Protégé plug-ins “Axiom2SQL” and “Axiom2OCL”, which automatically performs mining of axioms and transformation into SQL trigger prototypes and OCL constraints. Structure: 5 parts: introduction, analytic and project, conclusions and references (and 3 appendixes). Thesis consists of: 95 p. text without appendixes, 20 pictures, 10 tables, 35 bibliographical entries. Appendixes included.