论文部分内容阅读
针对基于策略的DVB-RCS卫星通信系统服务质量管理,提出一种策略提炼模型,结合实例给出目标提炼过程。该模型以线性时态逻辑为基础,在提炼模式的辅助下从高层目标中提取出低层策略,可以有效保证策略提炼过程的正确性、合理性及一致性。在系统设计阶段,该模型用于指导系统功能规划与设计,在系统运行阶段,该模型为网络管理人员提供高层策略向系统设备行为的映射方法。
Aiming at the service quality management of DVB-RCS satellite communication system based on policy, this paper proposes a strategy extraction model, and gives the target extraction process with examples. Based on the linear temporal logic, the model extracts low-level strategies from high-level goals with the aid of a refinement model, which can effectively ensure the correctness, rationality and consistency of the strategy extraction process. In the system design stage, the model is used to guide the system function planning and design. In the system operation stage, the model provides the network managers with a mapping method from high-level strategy to system equipment behavior.