eprintid: 164
rev_number: 8
eprint_status: archive
userid: 30
dir: disk0/00/00/01/64
datestamp: 2011-03-24 10:30:42
lastmod: 2011-07-11 14:34:35
status_changed: 2011-03-24 10:30:42
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Rubio-Loyola, Javier
creators_name: Serrat, Joan
creators_name: Flegkas, Paris
creators_name: Pavlou, George
creators_name: Lluch-Lafuente, Alberto
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: alberto.lluch@imtlucca.it
title: Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords:  INSPEC:
      Controlled Indexing
      DiffServ networks , formal specification , quality of service, temporal logic
    
      Non Controlled Indexing
      DiffServ QoS management, goal-elaboration methodology, goal-oriented policy refinement framework, linear temporal model checking, reactive systems analysis

note: © 2005 IEEE.
INSPEC Accession Number: 8588123 
abstract: 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.
date: 2005
date_type: published
publisher: IEEE Computer Society
pagerange: 181-190
id_number: 10.1109/POLICY.2005.38
refereed: TRUE
isbn: 0-7695-2265-3
book_title: Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY’05)
official_url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1454317&isnumber=31236
citation:   Rubio-Loyola, Javier and Serrat, Joan and Flegkas, Paris and Pavlou, George and Lluch-Lafuente, Alberto  Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks.   In:  Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY’05).   IEEE Computer Society, pp. 181-190.  ISBN 0-7695-2265-3      (2005)