Pastaruoju metu žiniomis grindžiamų informacinių sistemų kūrimui pradėtos naudoti ontologijos, tinkamos dalykinės srities žinioms vaizduoti ir sistemų mo-deliams kurti bei jiems įgyvendinti. Tačiau verslo taisyklių modeliavimas onto-logija grindžiamose informacinėse sistemose nėra pakankamai išnagrinėtas ir aiškiai aprašytas. Disertacijoje autorė siūlo metodą ontologijos aksiomoms trans-formuoti į verslo taisykles, kurios naudojamos tam tikriems dalykinės srities as-pektams apriboti arba nukreipti. Siūlomo metodo esmė – dalykinės srities aksio-mos, išreikštos pasirinkta kalba, transformuojamos į verslo taisykles, kurios įgyvendinamos informacinės sistemos programų vykdomosiomis taisyklėmis. Formaliam metodo aprašymui sukurti disertacijoje vartojama Z kalba, o MDA karkasas taikomas siūlomam metodui automatizuoti. Disertaciją sudaro įvadas, keturi skyriai ir išvados, naudotos literatūros ir au-toriaus publikacijų disertacijos tema sąrašai ir trys priedai. Įvadiniame skyriuje nagrinėjamas problemos aktualumas, formuluojamas darbo tikslas bei uždaviniai, aprašomas mokslinis darbo naujumas, pristatomi autorės pranešimai ir publikacijos, disertacijos struktūra. Pirmasis ir antrasis sky-riai skirti literatūros apžvalgai. Pirmajame skyriuje pateikta verslo taisyklės są-vokos analizė, nagrinėjami verslo taisyklių įgyvendinimo metodai ir kalbos. Ant-rajame skyriuje apžvelgiama ontologijos sąvoka, jos panaudojimo galimybės informacinėms sistemoms kurti. Pagrindinis dėmesys skiriamas... [toliau žr. visą tekstą] / Ontologies in nowadays are widely used in the process of development of modern information systems, since they are suitable to represent domain knowl-edge. However, the development of domain rules in ontology-based information systems is required to be analysed. In this dissertation, the author proposes a formal method of transforming ontology axioms to domain rules, making an im-portant and integral part of each domain and used to constrain or direct different aspects of a domain. Such rules can be consecutively transformed into executable form and implemented in a software system of an information system. The pro-posed method is formalised using the Z notation and the MDA framework is ap-plied to automate it. The dissertation consists of the introduction, four chapters, the conclusions, references, list of author’s publications and three annexes. The introduction overviews the main problem analysed in the dissertation and its importance. The aim and consequent objectives, scientific novelty and practical value of the research, methodology of the research, hypothesis of the research, scientific approval, contribution of the results and structure of the dis-sertation are formulated and presented in this chapter. The first and the second chapters cover analysis of existing publications re-lated with the problem of the dissertation. Therefore, the concept of the domain rule and the main problems of their modelling and implementing are analysed in the first chapter. The second... [to full text]