Verslo taisyklių, pavaizduotų formalios logikos sakiniais, realizacija informacinėse sistemose

Abstract

The paper deals with the problems of creating business rules model that would be formal enough for automated transformation to Information systems model and realization in program system. There are many modelling languages and diagrams suitable to model business rules of different classes, but there is no one ideal. Every modelling language used to model business rules has to be formal enough and understandable for business people with no additional knowledge. The choice of modelling language may impact completness, understandability and the level of formalization. This may also impact the process of transformation of created model to Information systems model. In this work it is proposed to model business rules using formal logic sentences.