GOREMOCH: A Distributed Goal-oriented Policy Refinement Environment

Goal-oriented requirements engineering methodologies have been suggested as an alternative to address the policy refinement paradigm. Moreover, practical approaches that capture the administrative and technical requirements to make policy refinement a systematic process are still missing although such integrated solutions are rather convenient to make policy-based management systems really useful. In this paper, we present GOREMOCH, a goal-oriented policy refinement environment grounded in goal-oriented requirements engineering methodologies, linear temporal logic and reactive systems analysis techniques. We describe the rationale of this integrated solution and the necessary mechanisms to achieve policy refinement in a systematic manner

[1]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[2]  Heiko Krumm,et al.  Policy modeling and refinement for network security systems , 2005, Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05).

[3]  Marco Casassa Mont,et al.  POWER prototype: towards integrated policy-based management , 2000, NOMS 2000. 2000 IEEE/IFIP Network Operations and Management Symposium 'The Networked Planet: Management Beyond 2000' (Cat. No.00CB37074).

[4]  Axel van Lamsweerde,et al.  Formal refinement patterns for goal-driven requirements elaboration , 1996, SIGSOFT '96.

[5]  Alessandra Russo,et al.  A goal-based approach to policy refinement , 2004, Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..

[6]  Alexander Knapp,et al.  Interactive Verification of UML State Machines , 2004, ICFEM.

[7]  David W. Chadwick,et al.  Automated decomposition of access control policies , 2005, Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05).

[8]  Paris Flegkas,et al.  Using linear temporal model checking for goal-oriented policy refinement frameworks , 2005, Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05).