Logo eprints

Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks

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)

Full text not available from this repository.

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.

Item Type: Book Section
Identification Number: 10.1109/POLICY.2005.38
Additional Information: © 2005 IEEE. INSPEC Accession Number: 8588123
Uncontrolled 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
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 30 not found.
Date Deposited: 24 Mar 2011 10:30
Last Modified: 11 Jul 2011 14:34
URI: http://eprints.imtlucca.it/id/eprint/164

Actions (login required)

Edit Item Edit Item