General Information

Tool Name

Version

Group

Web page (if available)

Main Purpose of the Tool

Forward and backward reasoning is supported in Tropos by a Goal Reasoning Tool (GR-Tool). Basically, the GR-Tool is graphical tool in which it is possible to draw the goal models and run the algorithms and tools for forward and backward reasoning. The algorithms for the forward reasoning have been fully developed in java and are embedded in the GR-Tool.