Application of the ontology axioms for the development of OCL constraints from PAL constraints

Abstract

Nowadays, ontologies play a central role in many computer science problems such as data modelling, data exchange, integration of heterogeneous data and models or software reuse. Yet, if many methods of ontology based conceptual data modelling have been proposed, only few attempts have been made to ontology axioms based modelling of business rules, which make an integral part of each conceptual data model. In this paper, we present the approach how ontology axioms can be used for business rules implementation. Our proposal we apply for the transformation of PAL (Protege Axiom Language) constraints (ontology axioms), which is based on KIF (Knowledge Interchange Format) and is part of KIF ontology, into OCL (Object Constraint Language) constraints, which are part of a UML class diagram. Z language is used to formalise the proposal and describe the transformation. The Axiom2OCL plug-in is created for automation of the transformation and a case study is carried out.

Pastaruoju metu informacinų sistemų srityje ontologijos naudojamos tokioms problemoms, kaip duomenų modeliavimas, apsikeitimas duomenimis, heterogeninių duomenų ir modelių integravimas arba pakartotinas programinės įrangos naudojimas, spręsti. Tačiau, nors ir pasiūlyta ontologijomis grindžiamų koncepcinio duomenų modeliavimo metodų, šią dieną nepakankamai dėmesio skiriama ontologijos aksiomomis grindžiamam verslo taisyklių modeliavimui. Šiame straipsnyje autoriai parodo, kaip ontologijos aksiomas galima panaudoti verslo taisyklių įgyvendinimui. Savo pasiūlymą autoriai taiko PAL (Protege Axiom Language), kuri yra KIF (Knowledge Interchange Format) dalis, ribojimų (PAL kalba aprašytų ontologijos aksiomų) transformacijai i OCL (Object Constraint Language) ribojimus, kurie yra UML klasės dalis. Siūlomas būdas aprašytas formalia Z kalba ir įgyvendintas kaip Axiom2OCL įskiepis, kuris naudojamas transformacijos automatizavimui. Atliktas eksperimentas parodė pasiūlyto metodo veiksmingumą.