查看文章

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.