A framework for reasoning about trust and security in grids at requirement and application levels

This document will present the tool created to reason on VO and Security Policies. It will introduce the architecture of the tool and the different technologies used to perform models transformations. Then, a tutorial will be presented as a guideline to use this tool. The Tool is built on the eclipse framework. It uses different frameworks to generate the plug-in for VO modelling and Security reasoning. The plug-in is defined using the graphical modelling framework (GMF) of eclipse. This framework gives the facilities to define a meta-model, a graphical definition of the concepts and a mapping between the meta-model and the graphical definitions. Using these three elements, the plug-in code is generated.