Representation of business rules using formal logic

Abstract

Every modelling language used to model business rules has to be formal enough and understandable for business people with no additional knowledge. Business rules models of different abstraction levels have to be created for business audience and for automated business rules implementation in software systems. 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. To create full and detail system model only diagrams are not enough. Specific complex systems logic cannot be described using only diagrams. We proposed to model business rules using formal logic sentences in this paper.