Policy Refinement of QoS Management in Satellite Communication System
Xi Li · Jisuanji gongcheng · 2009
This paper proposes a policy refinement model applied to policy-based QoS management in DVB-RCS system.A refinement scenario is provided to describe the goal refinement process.Based on Linear Temporal Logic(LTL),the model derives lower-level policies from higher-level goals to ensure the correctness,rationality and consistency of the whole policy refinement process.The model can be used to guild the system function planning and designing in system design period and offer network manager a mapping method between high-level policies and system device behavior.