510 likes | 557 Views
This tool focuses on the modeling, validation, and manipulation of decision tables, offering an integrated approach for decision logic implementation. It emphasizes interactive specification, user-friendly manipulations, automatic verification, and validation of decision tables.
E N D
Modeling decision tables Prologa
Katholieke Universiteit Leuven Department ofApplied Economics LIRIS Leuven Institute for Research on Information Systems
Prologa (PROcedural Logic Analyzer) Computer supported • Design • Validation • Manipulation • Use, and • Transformation of Decision tables
Importance and applications 1. Conditional logic • systems analysis • business rules • software engineering • procedures, texts, regulations • test case specifications
Importance and applications 2. Knowledge-based systems • Knowledge acquisition • Validation and verification of knowledge systems (consistency, completeness, correctness) • Implementation of decision logic
Emphasis on: • Interactive specification of decision logic • User friendly and automatic manipulations • Automatic verification and validation • Interfaces to various representations (trees, code, rules) • Optimizations
Acquisition Modeling Implementation An integrated development approach
Modeling Basic Modeling Process
Basic modeling process • Start new table • Input conditions and actions • Input decision rules • Display table • Optimize table
Basic modeling process • Start new table • Input conditions and actions • Input decision rules • Display table • Optimize table
Conditions and actions • Detecting decision criteria, relevant • states and possible outcomes
Basic modeling process • Start new table • Input conditions and actions • Input decision rules • Display table • Optimize table
Decision rules Relations between decision criteria and actions to be be executed: • General rules, exceptions, ... • Based upon starting text, interview, examples, etc.
Decision rules Action(s) IF Condition combination(s) Various refinements: • Generally if • If and only if • Always if • Only possible if • Impossible if • ...
Basic modeling process • Start new table • Input conditions and actions • Input decision rules • Display table • Optimize table
Verification & Validation Automatic checking for: • Completeness • Consistency • Correctness • Redundant conditions • Redundant actions • Redundant combinations
Various manipulations • Add, update, delete, reorder conditions and actions ==> immediately reflected in table • Table layout
Basic modeling process • Start new table • Input conditions and actions • Input decision rules • Display table • Optimize table
Various optimizations • Layout • Contraction • Optimal condition order • Optimal execution time • Optimal rules
Modeling Additional features
Additional features • Fill by mouse • Table manipulation • Automatic verification • Optimal contraction • Action and condition dictionary • Table structures • Interface features • Consultation of tables
Modeling Structures of decision tables
Consultation of the knowledge Consultation environment
Tables (logic) Text, explanation multimedia Consultation mechanism Application