prologa jan vanthienen, k.u.leuven modeling decision tables prologaprologa
TRANSCRIPT
Prologa Jan Vanthienen, K.U.Leuven
Modeling decision tables
PrologPrologaa
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
PrologaPrologaPrologaProloga
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
KatholiekeUniversiteitLeuvenDepartment ofApplied Economics
LIRISLeuven Institute for Research on Information Systems
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Computer supported Design Validation Manipulation Use, and Transformation
of Decision tables
Prologa Prologa (PROcedural Logic (PROcedural Logic Analyzer)Analyzer)Prologa Prologa (PROcedural Logic (PROcedural Logic Analyzer)Analyzer)
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Importance and applicationsImportance and applicationsImportance and applicationsImportance and applications
1. Conditional logic – systems analysis
– business rules
– software engineering
– procedures, texts, regulations
– test case specifications
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Importance and applicationsImportance and applicationsImportance and applicationsImportance and applications
2. Knowledge-based systems
Knowledge acquisition
Validation and verification of knowledge systems
(consistency, completeness, correctness)
Implementation of decision logic
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
PROPROcedural cedural Log Logic ic AAnalyzernalyzerPROPROcedural cedural Log Logic ic AAnalyzernalyzer
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Emphasis on:Emphasis on:Emphasis on:Emphasis on:
Interactive specification of decision logic
User friendly and automatic manipulations
Automatic verification and validation
Interfaces to various representations
(trees, code, rules)
Optimizations
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
ImplementationAcquisition Modeling
An integrated development approachAn integrated development approach
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Modeling
BasicModeling Process
BasicModeling Process
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Start new table
Input conditions and actions
Input decision rules
Display table
Optimize table
Basic modeling processBasic modeling processBasic modeling processBasic modeling process
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Start new tableStart new tableStart new tableStart new table
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Start new table
Input conditions and actions
Input decision rules
Display table
Optimize table
Basic modeling processBasic modeling processBasic modeling processBasic modeling process
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Detecting decision criteria, relevant
states and possible outcomes
Conditions and actionsConditions and actionsConditions and actionsConditions and actions
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Action and condition Action and condition inputinputAction and condition Action and condition inputinput
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Start new table
Input conditions and actions
Input decision rules
Display table
Optimize table
Basic modeling processBasic modeling processBasic modeling processBasic modeling process
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Decision rulesDecision rulesDecision rulesDecision rules
Relations between decision criteria and actions to
be be executed:
– General rules, exceptions, ...– Based upon starting text, interview,
examples, etc.
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Decision rulesDecision rulesDecision rulesDecision rules
Action(s) IF Condition combination(s)
Various refinements:– Generally if– If and only if– Always if– Only possible if– Impossible if– ...
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Decision rule inputDecision rule inputDecision rule inputDecision rule input
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Start new table
Input conditions and actions
Input decision rules
Display table
Optimize table
Basic modeling processBasic modeling process
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Table displayTable displayTable displayTable display
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Expanded tableExpanded tableExpanded tableExpanded table
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Verification & ValidationVerification & ValidationVerification & ValidationVerification & Validation
Automatic checking for:
Completeness Consistency Correctness Redundant conditions Redundant actions Redundant combinations
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Avoiding contradictionsAvoiding contradictionsAvoiding contradictionsAvoiding contradictions
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Verification reportVerification reportVerification reportVerification report
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Various manipulationsVarious manipulationsVarious manipulationsVarious manipulations
Add, update, delete, reorder conditions and actions
==> immediately reflected in table
Table layout
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Start new table
Input conditions and actions
Input decision rules
Display table
Optimize table
Basic modeling processBasic modeling processBasic modeling processBasic modeling process
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Various optimizationsVarious optimizationsVarious optimizationsVarious optimizations
Layout
Contraction
Optimal condition order
Optimal execution time
Optimal rules
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Contracted decision Contracted decision tabletableContracted decision Contracted decision tabletable
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Modeling
Additional featuresAdditional features
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Additional featuresAdditional featuresAdditional featuresAdditional features
Fill by mouse
Table manipulation
Automatic verification
Optimal contraction
Action and condition dictionary
Table structures
Interface features
Consultation of tables
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Fill by mouseFill by mouseFill by mouseFill by mouse
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Fuzzy tablesFuzzy tablesFuzzy tablesFuzzy tables
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Import from MS ExcelImport from MS ExcelImport from MS ExcelImport from MS Excel
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Import from MS ExcelImport from MS ExcelImport from MS ExcelImport from MS Excel
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Decision TreeDecision TreeDecision TreeDecision Tree
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Export optionsExport optionsExport optionsExport options
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Pascal generationPascal generationPascal generationPascal generation
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
COBOL generationCOBOL generationCOBOL generationCOBOL generation
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
AionDS table generationAionDS table generationAionDS table generationAionDS table generation
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Optimal execution codeOptimal execution codeOptimal execution codeOptimal execution code
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Minimal rulesMinimal rulesMinimal rulesMinimal rules
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Modeling
Structures of decision tablesStructures of
decision tables
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Structures of decision Structures of decision tablestablesStructures of decision Structures of decision tablestables
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Decision table Decision table modularizationmodularizationDecision table Decision table modularizationmodularization
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Verification between Verification between tablestablesVerification between Verification between tablestables
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Consultation of the knowledge
Consultation environmentConsultation environment
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Tables
(logic)
Text, explanation
multimedia
Consultationmechanism
ApplicationApplication
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Filling in criteriaFilling in criteriaFilling in criteriaFilling in criteria
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
Result of the Result of the consultationconsultationResult of the Result of the consultationconsultation
Introduction
Applications
Basic functions
Features
Interfaces
Structures
Consultation
Prologa Jan Vanthienen, K.U.Leuven
...