ActionGUI is a model-based technology for developing security-aware business applications. Ready to be deployed business applications are automatically generated from ActionGUI models. Moreover, ActionGUI models have a well-defined semantics amenable to formal analysis.

ActionGUI is jointly developed by the Modeling Lab, at the IMDEA Software Institute, and by the Institute for Information Security, at ETH Zurich.

For more information about ActionGUI, please send an email to This email address is being protected from spambots. You need JavaScript enabled to view it. .

ActionGUI is licensed for non-commercial use under the following Licensing Agreement. 

For commercial use of ActionGUI please contact This email address is being protected from spambots. You need JavaScript enabled to view it. .