A Model Driven Reverse Engineering framework for extracting business rules out of a Java application

1

© 2009 IBM Corporation

A Model Driven Reverse Engineering framework for extracting business

rules out of a Java application

Valerio Cosentino - IBM, AtlanMod, INRIA & EMN, Nantes - [email protected] Cabot - AtlanMod, INRIA & EMN, Nantes - [email protected] Albert – IBM - [email protected] Bauquel – IBM - [email protected] Perronnet – IBM - [email protected]

RuleML 2012, Montpellier, France – 29 August

2 © 2009 IBM Corporation

Outline

Introduction– Context & problem– Example– Business rule extraction process

Framework overview– Model discovery– Variable classification– Business rule identification– Business rule representation

Conclusion & Future work


Introduction - context & problem

Context: every organization needs to periodically reevaluate and evolve its company policies enforced in its Information System (IS) by means of a set of business rules




Business rule: – « Relevant action aiming at constraining some precise aspect of a

business »– Key component for ISs






Problem: policies and rules must be aligned at all time, but in most of ISs business rules are scattered among the source code.







Hard to find the business rules within the IS even for small application







Hard to find the business rules within the IS even for small applicationHard to evolve (quickly and safely) company policies


Introduction - example





Rules modeling the application: – Hunters:

Never die Hunt animals

– Rabbits & Birds: Can die by being eaten by foxes, hunted by hunters, of

starvation, old age or overcrowding Can breed when they reach their breeding age Eat grass

– Foxes: Can die by being eaten by hunters, of starvation, old age or

overcrowding Can breed when they reach their breeding age Eat rabbits and birds



Rules modeling the application: – Hunters:

Never die Hunt animals

– Rabbits & Birds: Can die by being eaten by foxes, hunted by hunters, of

starvation, old age or overcrowding Can breed when they reach their breeding age Eat grass

– Foxes: Can die by being eaten by hunters, of starvation, old age or

overcrowding Can breed when they reach their breeding age Eat rabbits and birds


Introduction – example








Introduction - business rule extraction process

Business rule extraction (BREX) process: – Allows extracting business rules out of an IS, isolating the code

segments which are directly related to business– Three major activities:

Variable Classification → finds variables related to domain/business concepts and hintining at BRs

Business rule identification → collects chunks of code related to the variables identified in the previous step

Business rule representation → presents the extracted BRs by means of artifacts (graphs, textual representations, …)


Introduction - business rule extraction process

Business rule extraction (BREX) process: – Allows extracting business rules out of an IS, isolating the code

segments which are directly related to business– Three major activities:

Variable Classification → finds variables related to domain/business concepts and hintining at BRs

Business rule identification → collects chunks of code related to the variables identified in the previous step

Business rule representation → presents the extracted BRs by means of artifacts (graphs, textual representations, …)

Model Driven Engineering techniques:– Abstract & homogeneous representation– Modular solving process– Non-intrusive solution


Framework overview - model discovery

A new operation (Model Discovery) is added to the BRE process to move the problem from a grammarware technological space to the modelware one.– Input: source code– Output: platform specific model (PSM)


Framework overview - variable classification

Variables Classification identifies the domain variables together with their containing classes – Input: PSM– Output: model containing all domain's classes and their inner

variables














Framework overview - variable classification - metamodel

For each class in a group, its variables are classified in:– Single-access: class attributes occurring at most once on the left

side of an assignment– Multi-access: class attributes occurring more than once on the left

side of an assignment– Potentials: variables declarated in methods and occurring on the left

side of an assignment


Framework overview - variable classification - metamodel

For each class in a group, its variables are classified in:– Single-access: class attributes occurring at most once on the left

side of an assignment– Multi-access: class attributes occurring more than once on the left

side of an assignment– Potentials: variables declarated in methods and occurring on the left

side of an assignment

– Traceability: relates the classified variables to the source code


Framework overview - business rule identification



Domain model extraction:– Input: PSM, the domain variables model– Output:

Model conforming to the Business Object Model/Vocabulary [BOM/VOC] metamodel of IBM WebSphere ILOG Jrules

– Extracts method signatures and class attributes from the classes containing the domain variables identified in the variables classification step

– Provides a default vocabulary for these entities to be reused in the description of the business rules

– The user can tune the process and define its verbalization



Domain model extraction:



Slicing operation:– Input: PSM, a variable i contained in the domain variables model– Output:

PSM enriched with annotations (PSMA) on all the statements, variable declarations and methods relevant for i




PSM enriched with annotations (PSMA) on all the statements, variable declarations and methods relevant for i (ex: alive)

























































Business rules model extraction:



Business rules model extraction:– Input: Domain model and PSM enriched with annotations (PSMA) on

all the statements, variable declarations and methods relevant for i– Output:

Business rule model for the variable i

– PSMA contains information of classes outside the business domain. The domain model is used to exclude them



Classes related to the variable alive:



Classes outside the domain:



Classes inside the domain:



Intersection with the domain classes:


Framework overview - business rule identification - metamodel


Framework overview - business rule identification - metamodel


Framework overview

Business rules representation:

Business rules representation provides human-understandable artifacts (text and graph) for the extracted BRs.– Input: domain model (optional), business rule model-i– Output: text or graph


Framework overview

Text:


Framework overview

Graph:


Conclusion & Future work

MDE benefits:– Non-intrusive approach– Modular framework– Internal/external representation of BRs– Traceability

Test on a real use case:– IBM Rational Programming Patterns :

> 5000 classes, 476 system variables Variable classification step improved with new heuristics Optimization of the slicing operation

Future works:– Extend the framework to other languages– Identify BRs in the other layers composing an application

– Rational Programming Patterns :


Questions

Technology

A Model Driven Reverse Engineering framework for extracting business rules out of a Java application