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