A Model Based Approach for Policy Tool Generation and Policy Analysis

We outline an approach to policy specification and analysis in which an information model is used as the starting point for semi-automated generation of an integrated suite of languages, tools and an ontology. The suite includes separate domain-specific languages for the specification of systems structure and policies respectively, editors and checkers for these languages, and a baseline ontology that can be augmented with semantic information to support policy analyses processes. We describe a prototypical realisation of the approach, showing how the languages, tools and ontology are used to support policy transformation and conflict detection processes.