| SI* ToolFrom SI* Framework 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)
|