SI* Tool

From SI* Framework

Jump to: navigation, search

Contents

[hide]

Requirement

  • Java RE 5 (or later)
  • Python


Readme

  • Install python and set it on your PATH
  • Download the appropriate SI* Tool for your platform
  • Extract the tool on <SI-STAR-DIR>
  • Configure the tool
    • Start SI* Tool (Eclipse RCP)
    • Open Eclipse Preference Window
    • Set Modeling Framework - Serenity > Modeling Framework
      • Check the checkbox of "Use External Connection Rules File"
      • Configure Connection Rules --> Set to <SI-STAR-DIR>/toolbox/configuration/connection-rules.xml
    • Set ASP Analysis - Serenity > ASP > Solver
      • Configure ASP Executable Path --> Go to <SI-STAR-DIR>/toolbox/solver/dlv.<your-platform>
      • Configure ASP Axiom --> Set to <SI-STAR-DIR>/toolbox/axioms
      • Configure ASP Filter --> Set to <SI-STAR-DIR>/toolbox/filter
    • Set Goal Reasoning - Serenity > Goal Reasoning
      • Configure Solver Path --> Go to <SI-STAR-DIR>/toolbox/solver/GoalRisk.py
      • Configure Risk Matrix
        • Define upper bound [0..1] of SAT and DEN ranges - Serenity > Goal Reasoning > Quantitative
        • Define color encoding of the Matrix SAT (Row) x DEN (Column)
Download
Would you like the source? Send us an email (at sistar_tool[at]disi.unitn.it) with, name, surname and affiliation (web page if any). We will send you the source in a zip file and will add you to the community. There is no mailing list attached to that. Just your name listed on the community web page.

Change log

  • 2011.03.22
    • Add feature for exporting .tpd file into graphical files (e.g., .png, .svg, .gif)