优秀研究生学位论文题录展示

一种基于组件的Web应用建模方法

专 业: 计算机软件与理论
关键词: Web应用 视图活动流 视图组件 服务器端组件
分类号: TP301
形 态: 共 57 页 约 37,335 个字 约 1.786 M内容
阅 读: 全文阅读说明

内容摘要


互联网架构的飞速发展,促进了Web应用的广泛应用。

Web应用在国计民生、商业领域和个人生活中发挥着日益重要的作用。

现今,Web应用已发展成为一种成熟而又复杂的分布式系统,并且日趋专业化和协作化,针对它的分析、建模及测试工作给软件工程领域带来了极大的挑战。

本文提出一种基于组件的Web应用的建模方法。

该方法用于其设计阶段,先将Web应用组件划分为视图组件和服务器端组件,其中视图组件封装Web页面的行为,服务器端组件封装业务逻辑处理,然后给出Web应用的UML组件结构模型和行为模型。

该组件模型既提高了Web页面的抽象层次,又统一了Web页面与Web应用后台服务器中组件的描述方式。

UML模型虽然图形表示能力很强,有很好的易用性及可理解性,但其半形式表示方法缺乏精确的语义,产生的规格说明往往不够精确和完整,从而造成系统的不完善。

如果提供精确的软件规格说明,将有利于对系统实现的精确描述,使误解引起的错误减少,而软件形式方法正是基于严格精确的数学逻辑模型,可以进行高度抽象的推理与证明过程,并且能够对形式规格说明进行正确性证明。

但是形式规格说明中的数学概念抽象,从而导致规格说明难以阅读。

由于图形化规格说明和形式方法在软件开发过程中有各自的优缺点,将两者结合起来,则可以产生既容易理解又精确的软件规格说明。

为了提高UML组件模型的精确性,本文采用UML与形式语言Obiect-Z相结合的方法来描述Web应用组件,将结合OCL表达式的Web应用的UML组件模型,转换成Obljeot-Z的形式规格说明。

并开发了基于XMI(XML Metadata Interchange)的工具WebMoF,实现了Web应用的UML模型到Obiect-Z形式规格说明的自动转换..……

全文目录


文摘
英文文摘
第一章 绪论
1.1 Web应用简介
1.2 Web应用建模方法综述
1.3基于组件的软件开发方法
1.4课题研究内容及意义
第二章 Web应用相关技术及UML
2.1 Web应用相关技术
2.2 Web应用用户界面特性
2.3 Web应用框架
2.4 JSF简介
2.5 UML及OCL简介
2.5.1 UML简介
2.5.2 UML元模型架构
2.5.3 Object Constraint Language简介
2.5.4 UML组件模型
2.5.5 UML状态图简介
第三章 Web应用组件模型
3.1 Web应用组件结构模型
3.2 Web应用组件行为模型
3.3小结
第四章 Web应用组件模型的形式化
4.1UML模型的形式化方法简介
4.2 Object-Z简介
4.3 Web应用组件结构模型的形式化
4.4 Web应用组件行为模型的形式化
4.5小结
第五章 支持工具实现
5.1 WebMoF工作流程
5.2相关技术介绍
5.3相关数据结构
5.4 WebMoF功能模块
5.5工具演示
第六章 结 论
参考文献

相似论文

  1. 基于半环代数理论的有限自动机的探讨,56 页,TP301.1 TP301.6
  2. 基于LWOWA算子和文字计算的群组决策方法,57 页,TP301.6
  3. 差异演化算法及其应用研究,103页,TP301.6
  4. 区间值模糊集上的广义粗糙近似算子构造研究,55 页,TP301.6
  5. 微粒群算法在动态优化中的应用研究,52 页,TP301.6 O224
  6. 基于语言偏好关系多目标群组决策的研究与应用,64 页,TP301.6
  7. 智能算法在数字音频水印中的应用研究,78 页,TP301.6 TP391.4
  8. 网络数学公式转换的研究与实现,60页,TP301.6 TP312
  9. 粒子群与差分进化混合算法的研究,64页,TP301.6
  10. 嵌入模糊部件的数值图规划,54页,TP301
  11. 基于均值机群动态负载平衡系统的设计与实现,89页,TP301
  12. 遗传算法的种群退化分析及其抑制技术,63页,TP301
  13. 基于关联规则的审计特征智能提取的应用研究,69页,TP301
  14. 带实时的传值与移动系统研究,171页,TP301
  15. 基于孤立点的数据挖掘研究及其在计算机审计系统中的应用,68页,TP301
  16. 开放网格服务体系结构的研究与应用开发,77页,TP301
  17. 基于用户本体模型的文本信息过滤方法研究,58页,TP301
  18. 鲁棒灰箱演算的类型系统和代数性质研究,123页,TP301
  19. 基于发展心理学的概念获取与表征研究,58页,TP301
  20. 使用SP-MEC算法求解多目标问题,81页,TP301
中图分类: > TP301 > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 理论、方法

© 2012 book.hzu.edu.cn