Towards the Policy Refinement Problem in Policy-based Management Systems: A synthesis study