Realization of business rules represented using formal logic sentences in information systems
Articles
Evaldas Lebedys
Vilnius Gediminas Technical University
Olegas Vasilecas
Vilnius Gediminas Technical University
Published 2004-12-17
https://doi.org/10.15388/LMR.2004.31697
pdf

Keywords

business rule model
business rule representation
formal logic

How to Cite

Lebedys, E. and Vasilecas, O. (2004) “Realization of business rules represented using formal logic sentences in information systems”, Lietuvos matematikos rinkinys, 44(spec.), pp. 327–331. doi:10.15388/LMR.2004.31697.

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 systems. There are many modelling languages and diagrams suitable to model business rules of different classes, but there is no one ideal. Every modeling 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 completeness, 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.

pdf
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Downloads

Download data is not yet available.

Most read articles by the same author(s)

1 2 > >>