PT  - JOURNAL ARTICLE
AU  - Rábová, Ivana
TI  - The formal logic of business rules
DP  - 2014 Nov 19
TA  - Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis
PG  - 133--140
VI  - 55
IP  - 6
AID - 10.11118/actaun200755060133
IS  - 12118516
AB  - 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.