Hello all, Sounds very interesting. Especially, the coverage check. If it's possible to simulate the policies and see the coverage surface, that's be great. Some rule-based tools provide this feature. For instance Matlab fuzzy toolbox shows a graphical dialog box which you can try different inputs and see what is the output. It also shows a response surface for different combinations of input.
Converting from abstract policies to concrete is also interesting. I was particularly looking for tools that help me formulating policies from SLA and SLOs. I'm looking forward to see this module. Regards, Maz ******************************************************************* Mazeiar Salehie, Phd candidate STAR lab, ECE department University of Waterloo, Canada email: msalehie at uwaterloo.ca Tel.: +1 519 888 4567 ext. 32984 ******************************************************************* -----Original Message----- From: Xiping Wang [mailto:[EMAIL PROTECTED] Sent: Tuesday, September 02, 2008 10:40 AM To: imperius-dev@incubator.apache.org Subject: policy analysis support All, We, at IBM T.J.Watson Research Center, have been developing a policy analysis module on top of Imperius that allows a policy writer perform the following tasks automatically. 1) Dominance check: finding if a policy is dominated by other policies, thus removing redundancy among policies. 2) Simultaneous applicability check: finding if two policies are simultaneously applicable, thus preventing potential conflicts at specification time. 3) Coverage check: finding if a set of policies covers all the sensor spaces required, thus ensuring policies specified adequately. 4) Meta policy based conflict detection/resolution: detecting/resolving conflicts at runtime. 4) Rule-based policy transformation: allowing transformation of abstract policy into concrete policies or vice versa. The package implements advanced algorithms for policy analysis and requires certain changes to be made to the current Imperius implementation for integration. We would like to find out if there is a strong interest in this effort and possible integration with Imperius. Regards, Xiping Wang IBM T.J.Watson Research Center
