prologa jan vanthienen, k.u.leuven modeling decision tables prologaprologa

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

...