PonderART - Ponder Analysis and Refinement Toolkit
PonderART is a prototype implementation of the formal policy analysis and refinement framework developed as part of Arosha Bandara's PhD research. The framework uses a formal representation of policies and managed systems in conjunction with deductive and abductive reasoning techniques
Latest News
PonderART Demo Video (View Now)
This is a demonstration of the Ponder Analysis and Refinement Toolkit, together with a short presentation that explains the underlying formalisms used.
Further Reading / Documentation
A Formal Approach to Analysis and Refinement of Policies A K. Bandara, PhD Thesis, Imperial College London, 2005. Download: PDF
Policy Refinement for DiffServ Quality of Service Management A. Bandara, E. Lupu, , A. Russo, N. Dulay, M. Sloman, P. Flegkas, M. Charalambides, G. Pavlou, IEEE e-Transactions on Network and Service Management, 3(2), 2006.
A Goal-based Approach to Policy Refinement Arosha K Bandara, Emil C Lupu, Jonathan Moffet, Alessandra Russo, Proceedings 5th IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2004) IBM TJ Watson Research Centre, New York, USA, June 2004. Download: PDF | Presentation (PPT)
Downloads
The Subversion repository is at svn+ssh://howard.doc.ic.ac.uk/svn/ponderART/. Check out svn+ssh://howard.doc.ic.ac.uk/svn/ponderART/ (or a subdirectory) unless you want a branch or tagged version.
You can also download a ZIP version of the toolkit from here
Installation instructions:
This toolkit uses the ASystem abductive reasoning engine, which in turn uses SICStus Polog (> v.3.8.*). The Sicstus runtime executable must be in the PATH statement of your OS. Once the installation archive file has been extracted to your hard drive, it will be necessary to edit the ponder.conf file:
- Change the property 'ponder.installdir' to match the directory where the archive was extracted
- Run the Domain Service by clicking the 'domainservice.bat'
- Run the Analysis Service by clicking the 'analysisservice.bat'
- Run ponderART by clicking the 'pondertoolkit.bat'
- If you have any questions about PonderART, Policy Analysis or Policy Refinement, please contact Arosha Bandara
Email: <a.k.bandara AT SPAMFREE imperial DOT ac DOT UK>