ArgoESS is an extension of the SecureUML plugin for ArgoUML.

ArgoUML is a modeling tool.  Its SecureUML plugin allows the users to draw security-design models and export them into XMI files.  Our extension of this plugin offers in addition the possibility of writing and evaluating OCL queries over security-design models as an effective way of automatically analyzing the policies specified in these models. Our work is directly based on the results presented in the paper "Automated Analysis of Security-Design Models"(BCDE08).