incubator-imperius-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Mazeiar" <>
Subject RE: policy analysis support
Date Tue, 02 Sep 2008 17:27:09 GMT
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. 


Mazeiar Salehie, Phd candidate
STAR lab, ECE department
University of Waterloo, Canada
email: msalehie at
Tel.: +1 519 888 4567 ext. 32984

-----Original Message-----
From: Xiping Wang [] 
Sent: Tuesday, September 02, 2008 10:40 AM
Subject: policy analysis support


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
We would like to find out if there is a strong interest in this effort and
possible integration with Imperius.


Xiping Wang
IBM T.J.Watson Research Center

View raw message