Abstract | ||
---|---|---|
Policy refinement is a key but still unsolved area of policy based management. Goal oriented requirements engineering methodologies have been suggested as a prominent alternative to address policy refinement. Practical approaches that capture the administrative requirements and enable systematic policy refinement are still missing although such integrated solutions are rather convenient to make policy-based management systems really useful. In this paper we present a functional solution for goal oriented policy refinement grounded in linear temporal logic and reactive systems analysis techniques. We describe the technical foundations and demonstrate how these were used to develop an integrated solution for policy refinement, focusing on the details of the implemented prototype. Our policy analysis techniques that enable systematic policy refinement are demonstrated through a scenario applied to the domain of QoS Management for Differentiated Services (DiffServ) networks. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/POLICY.2006.5 | POLICY |
Keywords | Field | DocType |
qos management,functional solution,integrated solution,reactive systems analysis technique,policy refinement,requirements engineering methodology,differentiated services,goal-ooriented policy refinement,policy analysis technique,systematic policy refinement,policy-based management system,prototypes,formal specification,goal orientation,logic,refining,temporal logic,linear temporal logic,reactive system,documentation,policy analysis | Software engineering,Goal orientation,Computer science,Policy-based management,Policy analysis,Formal specification,Linear temporal logic,Temporal logic,Reactive system,Management system,Database | Conference |
ISBN | Citations | PageRank |
0-7695-2598-9 | 23 | 1.35 |
References | Authors | |
9 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Javier Rubio-Loyola | 1 | 202 | 23.17 |
Joan Serrat | 2 | 1262 | 103.04 |
Marinos Charalambides | 3 | 227 | 21.53 |
Paris Flegkas | 4 | 286 | 24.02 |
George Pavlou | 5 | 1903 | 157.00 |