Implementing Policies in Programs using Labelled Transition Systems
Tim Owen, Julian Rathke, Ian Wakeman, Des Watson · 2002
This paper describes our current work on programming language support for policy specification and implementation. The aim of this work is to design language mechanisms that enable program behaviour to be controlled by policies, and to develop tools that implement these features as extensions of a general purpose programming language