In the context of Network management, Chomicki, Lobo and Naqvi have defined the specification language PDL (Policy Description Language) and later extended it by introducing monitors: constraints on the actions that the network manager cannot execute simultaneously. We argue that PDL with monitors is an appealing language that can be applied to specification and implementation of intelligent systems beyond network management. To do so, we discuss two extensions of it. In the first extension monitors are defined as computing a maximum set of actions compatible with the constraints, rather than a maximal one. The inevitably higher computational complexity of this extension is assessed. In the second extension, negative events, a device already introduced by Chomicki et al., are treated as equivalent to regular events, thus allowing more intuitive results from monitor application.
PDL with maximum consistency monitors / E. Bertino, A. Mileo, A. Provetti (LECTURE NOTES IN COMPUTER SCIENCE). - In: Foundations of Intelligent Systems / [a cura di] N. Zhong, Z.W. Raś, S. Tsumoto, E. Suzuki. - [s.l] : Springer Verlag, 2003. - ISBN 978-3-540-20256-1. - pp. 65-74 (( Intervento presentato al 14. convegno International Symposium on Methodologies for Intelligent Systems tenutosi a Maebashi City nel 2003 [10.1007/978-3-540-39592-8_10].
PDL with maximum consistency monitors
E. Bertino;A. Mileo;A. Provetti
2003
Abstract
In the context of Network management, Chomicki, Lobo and Naqvi have defined the specification language PDL (Policy Description Language) and later extended it by introducing monitors: constraints on the actions that the network manager cannot execute simultaneously. We argue that PDL with monitors is an appealing language that can be applied to specification and implementation of intelligent systems beyond network management. To do so, we discuss two extensions of it. In the first extension monitors are defined as computing a maximum set of actions compatible with the constraints, rather than a maximal one. The inevitably higher computational complexity of this extension is assessed. In the second extension, negative events, a device already introduced by Chomicki et al., are treated as equivalent to regular events, thus allowing more intuitive results from monitor application.File | Dimensione | Formato | |
---|---|---|---|
bertino-PDL-ISMIS03.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
159.67 kB
Formato
Adobe PDF
|
159.67 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.