Pla‐based Formalization of Business Rules and Their Analysis by Means of Knowledge‐based Techniques / Pla Metodu Grįstas Verslo Taisyklių Formalizavimas Ir Analizė Taikant Žiniomis Grįstas Metodikas

Abstract

Abstract. The paper presents an approach that applies the knowledge engineering techniques for representing and analysing business rules. These rules are represented by production rules using concepts of a state-based piece-linear aggregate (PLA) model. A knowledge base of the business rules is analysed by checking its consistency (static properties) and dynamic constraints (dynamic properties). The analysis is performed by applying methods for decision table verification and reachable state validation as well as supporting tools. The proposed approach is illustrated by an example of Userv insurance company services.keywords: business rules, PLA, knowledge base, decision table, consistency and dynamic constraints.Reference to this paper should be made as follows: Pranevičius, H.; Budnikas, G. 2008. PLAbased formalization of business rules and their analysis by means of knowledge-based techniques,