Policy Definition Language for Automated Management of Distributed Systems

Get BibTex-formatted data

Author

T. Koch,C. Krell,B. Kramer

Entry type

article

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.

Date

1996

URL

http://ieeexplore.ieee.org/sta ... 534147&isnumber=11150

Address

58084 Hagen, Germany

Institution

Fern Universitat Hagen

Journal

IEEE

Key alpha

Koch

Pages

55-64

Publication Date

2001-01-01

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.

@Article{ Koch,
	title = "Policy Definition Language for Automated Management of Distributed Systems",
	author = "T. Koch,C. Krell,B. Kramer",
	year = "1996",
	address = "58084 Hagen, Germany",
	institution = "Fern Universitat Hagen",
	journal = "IEEE",
	pages = "55-64",
	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.",
	url = "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=534147&isnumber=11150",
}