GOREMOCH: A Distributed Goal-oriented Policy Refinement Environment
Javier Rubio‐Loyola, Joan Serrat, Marinos Charalambides, Paris Flegkas, George Pavlou · 2006
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