论文部分内容阅读
针对基于策略的DVB—RCS卫星通信系统服务质量管理，提出一种策略提炼模型，结合实例给出目标提炼过程。该模型以线性时态逻辑为基础，在提炼模式的辅助下从高层目标中提取出低层策略，可以有效保证策略提炼过程的正确性、合理性及一致性。在系统设计阶段，该模型用于指导系统功能规划与设计，在系统运行阶段，该模型为网络管理人员提供高层策略向系统设备行为的映射方法。