<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks"^^ . "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."^^ . "2005" . . "IEEE Computer Society"^^ . . "IEEE Computer Society"^^ . . . . . . . . . . . . . . . . . . . . "Javier"^^ . "Rubio-Loyola"^^ . "Javier Rubio-Loyola"^^ . . "Paris"^^ . "Flegkas"^^ . "Paris Flegkas"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Joan"^^ . "Serrat"^^ . "Joan Serrat"^^ . . "George"^^ . "Pavlou"^^ . "George Pavlou"^^ . . . . . "HTML Summary of #164 \n\nUsing Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .