SPARCLE Policy Workbench

The SPARCLE project is creating a highly usable policy workbench that enables organizations to:

• Author policies in natural language


• Connect policy definition to system entities


• Check policy compliance


• Provides natural language analysis of textual policies, displays results for expert review, and generates the machine-readable XML version of the policies, with 94% parsing precision.


• Display parsing and analysis results for expert review.


• Transform the policy sets into machine-readable XML version of the policies.


• Display policies to resolve problems found during coverage analysis.

For more information on Sparcle Click Here

Policy Analysis

Provides a formal process that allows policy administrators to certify the “correctness” of a policy.
Demo highlights the use of advanced algorithms to systematically identify potential problems:

• Conflict Identification – Check consistency
  Policies are in conflict if they can be simultaneously applicable and prescribe incompatible actions.


• Dominance Analysis – Discover redundancies
  A policy is dominated by one or more other policies when the addition of the first policy does not affect the behavior of the system governed by the set of policies.


• Coverage Analysis – Check Completeness
  A set of policies may (or may not) provide definition for a range of input parameters. This analysis method determines if there are gaps in the coverage and if so, creates suggested natural language versions of policies.