TY  - CHAP
N1  - © 2005 IEEE.
INSPEC Accession Number: 8588123 
ID  - eprints164
EP  - 190
T2  - Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY?05)
A1  - Rubio-Loyola, Javier
A1  - Serrat, Joan
A1  - Flegkas, Paris
A1  - Pavlou, George
A1  - Lluch-Lafuente, Alberto
SN  - 0-7695-2265-3
PB  - IEEE Computer Society
N2  - Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments. Although it has been recognized as crucial, it has received relatively little attention. We present a policy refinement framework grounded in goal-elaboration methodologies and reactive systems analysis. Through linear-time model checking, we obtain system trace executions aimed at fulfilling lower-level goals refined with the KAOS goal-elaboration method. From system executions, we abstract managed entities, conditions and actions to encode the refined policies. We present our framework and provide a refinement scenario applied to the DiffServ QoS management domain.
SP  - 181
TI  - Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
AV  - none
Y1  - 2005///
KW  -  INSPEC:
      Controlled Indexing
      DiffServ networks 
KW  -  formal specification 
KW  -  quality of service
KW  -  temporal logic
    
      Non Controlled Indexing
      DiffServ QoS management
KW  -  goal-elaboration methodology
KW  -  goal-oriented policy refinement framework
KW  -  linear temporal model checking
KW  -  reactive systems analysis

UR  - http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1454317&isnumber=31236
ER  -