Acta Univ. Agric. Silvic. Mendelianae Brun. 2007, 55, 133-140
Published online 2014-11-19

The formal logic of business rules

Ivana Rábová

Ústav informatiky, Mendelova zemědělská a lesnická univerzita v Brně, Zemědělská 1, 613 00 Brno, Česká republika

Identification of improvement areas and utilization of information and communication technologies have gained value and priority in our knowledge driven society. Rules define constraints, conditions and policies of how the business processes are to be performed but they also affect the behavior of the resource and facilitate strategic business goals achieving. They control the business and represent business knowledge. The research works about business rules show how to specify and classify business rules from the business perspective and to establish an approach to managing them that will enable faster change in business processes and other business concepts in all areas of the business. In concrete this paper deals with four approaches to business rules formalization, i. e. notation of OCL, inference rules, decision table and predicate logic and with their general evaluation. The article shows also the advantages and disadvantages of these approaches of formalization. They are the example of every mentioned approach.


10 live references