基于策略的资费规则冲突检测系统的研究与实现
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 前言 | 第7-8页 |
| 第一章 资费规则冲突检测系统概述 | 第8-14页 |
| ·概述 | 第8-10页 |
| ·背景 | 第8页 |
| ·收入保障系统 | 第8-10页 |
| ·相关定义 | 第10-12页 |
| ·资费规则的定义 | 第10-11页 |
| ·冲突的定义 | 第11页 |
| ·优惠的处理方式 | 第11-12页 |
| ·现有的冲突检测方法 | 第12-14页 |
| ·利用软件规范语言检测冲突 | 第12页 |
| ·以有限状态和时序逻辑为基础的方法 | 第12-13页 |
| ·进程代数为基础的形式化方法 | 第13-14页 |
| 第二章 对象约束语言介绍 | 第14-24页 |
| ·OCL的特性 | 第14-15页 |
| ·OCL的构成 | 第15-20页 |
| ·基本类型 | 第15-16页 |
| ·聚集类型 | 第16-18页 |
| ·聚集操作 | 第18-19页 |
| ·模型类型 | 第19-20页 |
| ·OCL应用实例 | 第20-22页 |
| ·基本约束 | 第20-21页 |
| ·组合约束 | 第21页 |
| ·迭代约束 | 第21-22页 |
| ·OCL扩展讨论 | 第22-24页 |
| 第三章 基于 OCL的资费规则描述 | 第24-40页 |
| ·资费规则分类 | 第24-28页 |
| ·详单级优惠 | 第24-26页 |
| ·帐目级优惠 | 第26-27页 |
| ·产品级优惠 | 第27页 |
| ·帐户级优惠 | 第27页 |
| ·客户级优惠 | 第27-28页 |
| ·资费规则描述 | 第28-36页 |
| ·推导规则 | 第28-31页 |
| ·约束规则 | 第31-34页 |
| ·存在规则 | 第34-35页 |
| ·模糊规则 | 第35-36页 |
| ·资费规则模型 | 第36-40页 |
| ·规则表设计 | 第37-38页 |
| ·规则字段说明 | 第38-40页 |
| 第四章 资费规则的冲突检测算法 | 第40-49页 |
| ·算法描述 | 第40页 |
| ·有效性检测 | 第40-43页 |
| ·条件检测 | 第40-41页 |
| ·计费检测 | 第41-43页 |
| ·一致性检测 | 第43-46页 |
| ·分组流检测 | 第44-45页 |
| ·时间段检测 | 第45-46页 |
| ·算法实现 | 第46-49页 |
| ·集合与集合覆盖 | 第46-47页 |
| ·集合与范围覆盖 | 第47-48页 |
| ·范围与范围覆盖 | 第48-49页 |
| 第五章 资费规则冲突检测系统的原型实现 | 第49-56页 |
| ·冲突检测框架 | 第49-51页 |
| ·策略管理工具 | 第49-50页 |
| ·策略库 | 第50页 |
| ·策略判决点 | 第50页 |
| ·策略执行点 | 第50-51页 |
| ·冲突检测流程 | 第51-52页 |
| ·应用举例 | 第52-56页 |
| 第六章 结论 | 第56-57页 |
| 参考文献 | 第57-59页 |
| 致谢 | 第59页 |
