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 |