Abstract
The heterogeneity , increasing size and complexity fo distributed
systems requires new architectures, strategies and tools for their technical
management. In this paper we propose a policy based approach to distributed
systems management. The use of different abstraction levels allows stepwise
refinement from an informal strategic level to a formalized operation level.
On the lowet level we use a formal language for separate definition of
policies and events, that enables the computer to check the syntax of a given
policy description and translate policies into executable rules.
To increase the capability for reasoning on a given set of policies. we
extended the architecture by a graph model of the process sematics of
operational policy and event specifications. The graph model is supported
by a compiler mapping operational specifications into their semantic graphs,
and performing analysis and manipulation on such graphs.