Modelling and analysis of business rules using knowledge based and formal approaches

The paper presents an approach that applies knowledge based and piece-linear aggregate (PLA) formal approaches for modelling and analysis business rules. In our technique, business rules are represented by production rules using concepts of 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 decision table verification method and reachable state validation method and supporting tools PROLOGA and CLIPS. The proposed approach is illustrated by an example.