| 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 | |
