= Tool support for Risks and Argumentation (RISA) =

 == CatalogSearch == 

 1. Unpack the catalog-search.tar.gz
  {{{
	tar xvfz catalog-search.tar.gz
	cd lsa
  }}}
 2. Prepare the query strings, one query per line in "query.txt"
 3. Run the query on the CAPEC 1.6/CWE 2.1 catalogs
  {{{
	query.sh [CAPEC] [CWE]
  }}}
 4. Check the matched results
  {{{
	cat results.txt
  }}}

 == OpenArgue == 

 1. The first time you run OpenArgue, an Examples project will be created with a number of examples to start with.
	 * If you happen to deleted some files in the Examples project, or you want to fetch the latest new examples, 
	   click at the toolbar button with an icon showing multiple paint frames, 
	   a new project Examples will be created, or select the "Open > Generate Example Project" menu.
 2. Context diagrams editor
   * Select a file with ".problem" extension under the Examples/problem project folder
	* You can also create your own problem frames by either editing a file with the ".problem" extension, or 
	  by creating a new diagram using the Problem Diagram editor
	* The syntax highlighting text editor makes sure you are entering a
	  valid problem diagram textually. If you save the text, a diagram will 
	  be created
 	* Inside the graphical editor, edit the name and description of the domains by clicking and editing
		* You can also open up the properties editor (right click) to change the domain types
		* You can edit any node as a subproblem diagram using double click at the node
   * Save when you are using the text editor
    * If it is saved from the .problem editor
	 * The file with ".problem_diagram" extension will be generated for the GMF diagram
 3. Argumentation editor
   * Examples of argumentations are in Examples/argument folder
   * To use the decreasoner, a platform-specific 3rd party tool, you need to copy every precompiled
     file under the project subfolder "Examples/Events/binary/<platform>/*" to "Examples/events/"
	   * To initially enable the decreasoner reasoning for argumentation, define the system
	     property openpf.argument.reasoning, using one of the following ways:
	     * MacOSX:
	       open Eclipse.app --args -vmargs -Dopenpf.argument.reasoning     
	     * Linux/Windows
	       eclipse -vmargs -Dopenpf.argument.reasoning
	     * And alternatively use the following line in the config.ini:
	       echo openpf.argument.reasoning= >> configuration/config.ini
	     * Similarly, to monitor the files the physical Examples folders (for Miki),
	       define the system property "openpf.monitor"
	   * If you haven't initialise the property, then at the runtime, the reasoning
	     feature can be enabled in the Windows > Preferences (windows/linux), or 
	     Eclipse > Preferences (mac).  
	     Under the "Argument / Reasoning" preference categorty, you can toggle the feature.
   * Every time when you save the argument model, not only will an argumentation
     diagram be generated, the rebuttals and mitigations relationship between
     the incremental arguments will be shown as well.