文摘
英文文摘
TABLE OF CONTENTS
第1章 绪论
1.1 研究背景
1.2 问题的提出
1.3 主要研究内容和贡献
1.3.1 主要研究内容
1.3.2 主要贡献
1.4 论文的组织
1.5 小结
第2章 相关研究
2.1 用户界面模型
2.2 模型语义一致性
2.2.1 建模中的语义一致性
2.2.2 模型转换或精化中的语义一致性
2.3 小结
第3章 用户界面层次化模型
3.1 用户界面模型化设计方法的体系结构
3.2 层次化用户界面模型
3.2.1 领域模型
3.2.2 扩展对象描述
3.2.3 界面交互图
3.2.4 界面展示描述
3.3 用户界面模型中的语义一致性
3.3.1 用户界面模型的语义
3.3.2 用户界面模型的语义一致性
3.3.3 语义一致性保证方法
3.4 小结
第4章 用户界面模型内部语义一致性
4.1 模型形式化定义
4.1.1 用户界面模型的形式化
4.1.2 对象规范的层次组合
4.1.3 对象规范的组合计算
4.2 模型内部语义一致性
4.3 小结
第5章 用户界面分层模型间语义一致性
5.1 模型元素映射
5.2 模型元素关系映射
5.3 用户界面分层模型间的映射语义
5.4 分层模型间的语义一致性
5.5 模型间语义一致性的表现方面
5.6 小结
第6章 用户界面模型构建中的语义一致性保证
6.1 领域模型
6.1.1 模型语义一致性
6.2 扩展对象描述
6.2.1 模型构成及语义描述
6.2.2 模型构建及语义一致性
6.3 界面交互图
6.3.1 模型构成及语义描述
6.3.2 模型构建及语义一致性
6.4 界面展示描述
6.4.1 模型构成及语义描述
6.4.2 模型构建及语义一致性
6.5 相关工作对比
6.6 小结
第7章 用户界面模型构建工具对语义一致性的支持
7.1 工具环境
7.2 工具对语义一致性的支持
7.3 工具能力分析
7.4 小结
第8章 总结与展望
8.1 本文主要工作总结
8.2 未来工作展望
参考文献
致谢
攻读学位期间发表的学术论文目录
攻读学位期间参与科研项目情况
学位论文评阅及答辩情况
附录 英文论文