| Title |
PLA-based formalization of business rules and their analysis by means of knowledge-based techniques / |
| Another Title |
PLA metodu grįstas verslo taisyklių formalizavimas ir analizė taikant žiniomis grįstas metodikas. |
| Authors |
Pranevičius, Henrikas ; Budnikas, Germanas |
| DOI |
10.3846/1392-8619.2008.14.328-343 |
| Full Text |
|
| Is Part of |
Technological and economic development of economy.. Vilnius : Technika. 2008, vol. 14, no. 3, p. 328-343.. ISSN 2029-4913. eISSN 2029-4921 |
| Keywords [eng] |
Business rules ; PLA ; Knowledge base ; Decision table ; Consistency and dynamic constraints |
| Abstract [eng] |
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. |
| Published |
Vilnius : Technika |
| Type |
Journal article |
| Language |
English |
| Publication date |
2008 |
| CC license |
|
