Experiments in organizational policy representation: results to date

Computer support for organizational policy involves, among other things, the introduction of formalism into the process of defining policy, evaluating it to ensure consistency, and mapping policies to procedures. Some level of automated tool support, however, is needed to assist users of formal methodologies. In this paper, we summarize our results to date in defining and experimenting with a prototype policy workbench-a set of integrated computer-based tools