基于模型的业务系统界面逻辑的获取、分离与实现

在这篇文章中我们提出一个基于待诊断系统的知识和以往诊断经验的诊断系统DSKE。由于DSKE是一阶逻辑推理系统，因此它具有很强的推导能力，当我们拥有完备的待诊断系统的知识时，它可以确切地给出诊断问题的解；当我们只掌握了不完备的待诊断系统的知识时，由于不确定性推理功能的引入，DSKE也能给出诊断问题最有可能的解，而模型诊断是不可能做到这一点的。本文详细描述了DSKE并全面仔细地分析了该系统的诊断过程。

关 键 词: 诊断; 结构知识; 诊断经验; 支持度 基于模型的业务系统界面逻辑的获取、分离与实现 I
摘 要 I
A Model-Based Approach of the Elicitation, Separation and Implementation of the User Interface Logic of Business System II
Abstract II
目 录 III
第1章 引 言 1
1.1 论文背景 1
1.2 图形用户界面开发的现状 2
1.3 本文的工作 3
1.4 本文各章节的安排 4
第2章 技术背景 5
2.1 Prolog程序设计 5
2.2 有限状态机 8
2.3 MVC模型 10
2.4 XML简介 13
2.5 基于主谓宾逻辑的需求获取和分析 18
第3章 RU模型 19
3.1 需求模型 20
3.2 界面模型 23
3.3 小结 27
第4章 基于模型的业务系统界面逻辑的获取方法 28
4.1 总述 28
4.2 获取需求模型 28
4.3 获取界面模型 32
4.4 小结 46
第5章 基于模型的业务系统界面逻辑的分离和实现 47
5.1 界面模型的表示 47
5.2 界面内在表示模型的解释 48
5.3 状态推导引擎FSM 49
5.4 小结 55
第6章 应用实例及效果 56
6.1 应用实例 56
6.2 效果分析 56
第7章 总结和展望 58
7.1 总结 58
7.2 本文的创新点 59
7.3 不足及未来的工作 60
结束语 61
参考文献 62
致谢 65
原创性声明 66