Program | |
---|---|
Source code | |
Source model | |
Variable Identification | |
Display Variables | |
Condition Variables | |
Source Computation Variables | |
Target Computation Variables | |
All Variables | |
Business Rule Identification | |
Control Flow Graph | |
Application Vocabulary | |
User Code Intervals for Context Analysis | |
Business Rule Representation | |
Rule and Context for BAG | |
Rule and Context for MAX-CAP | |
Rule and Context for MONEY | |
Rule and Context for NEED | |
Rule and Context for OP | |
Rule and Context for PR-BREAD | |
Rule and Context for PR-FRUIT | |
Rule and Context for PR-MILK | |
Rule and Context for PR-VEG | |
Rule and Context for QT-BREAD | |
Rule and Context for QT-FRUIT | |
Rule and Context for QT-MEAT | |
Rule and Context for QT-MILK | |
Rule and Context for QT-VEG | |
Rule and Context for PR-MEAT + QT-MEAT | |
Graph Artifacts: Rule Orchestration | |
Code-Related | |
Vocabulary-Related | |
to navigate dynamically the graphs download Portolan | |
Tool Demonstration | |
video |