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

基于行为的可视化建模方法研究

作 者: 田晓宇
导 师: 王明哲
学 校: 华中科技大学
专 业: 控制理论与控制工程
关键词: 可视化建模 基于行为方法 面向过程方法 面向对象方法 DoDAF Petri网 UML2.0
分类号: TP391.9
类 型: 硕士论文
年 份: 2005年
下 载: 190次
引 用: 0次
阅 读: 论文下载
 

内容摘要


随着信息系统规模的逐渐扩大和软件领域的发展,构建信息系统的模型不再局限于纯人工方式,还需要通过辅助的软件工具进行设计。但是,一个好的工具往往建立在一个先进的建模方法和模型设计理念之上,这就需要对建模方法进行不断地改进。过去,人们在建立系统模型时,往往利用单一的面向过程、面向对象等方法,这些方法在实践的检验中被发现都有其不可避免的问题。有鉴于此,本文提出了一种基于行为构建模型的新方法。这种方法是在当前最广泛使用的建模思想——面向过程和面向对象的基础上研究出来的。这种方法不是简单地将这两种方法合成,而是通过中介环节“行为”将这两种方法进行有机结合和相互转化,并在此基础上构建了可视化模型。这种方法充分发挥了面向过程和面向对象方法的优势,弥补了它们各自的不足。它不仅适用于一般小型的信息系统的模型构建,也适用于大型信息系统的模型构建,如C4ISR 系统。这是因为它符合DoDAF(Department of Defense Architecture Framework)标准。为了验证这种建模新方法的可行性,作者以构建超市电子标签自动刷卡购物系统可视化模型为主线,着力描述了在这种建模方法中可视化模型的生成方法和步骤,即先建立基于行为模型,再建立Petri 网可执行模型,并运用计算机仿真,进行系统结构化验证。在整个建模过程中,模型之间环环相扣,保持了模型之间的一致性。说明该方法在理论上具有一定创新性,在实际应用上具有可操作性。该课题研究的成果,对于提高建模效率、优化建模质量、完善建模理论和设计建模工具都具有一定的意义。

全文目录


摘要  4-5
ABSTRACT  5-8
1 绪论  8-14
  1.1 课题来源  8
  1.2 课题研究的背景  8-9
  1.3 课题研究的目的意义  9-10
  1.4 国内外研究现状  10-12
  1.5 本文主要研究的内容  12-14
2 可视化模型表示方法  14-22
  2.1 引言  14
  2.2 面向对象的模型表示方法  14-18
  2.3 基于体系结构的模型框图  18-22
3 建立基于行为的模型方法  22-33
  3.1 引言  22
  3.2 基于行为方法的提出  22-23
  3.3 基于行为方法的有关概念和属性  23-26
  3.4 基于行为的系统模型转换方法  26-28
  3.5 其它模型图的建立  28-31
  3.6 模型之间的一致性  31-33
4 建立可执行模型并验证  33-42
  4.1 引言  33
  4.2 PETRI 网简介  33-37
  4.3 PETRI 网可执行模型的建立  37-40
  4.4 结论  40-42
5 超市电子标签自动刷卡购物系统可视化模型设计  42-59
  5.1 系统概述  42
  5.2 系统分析  42-44
  5.3 构建可视化模型  44-57
  5.4 PETRI 网仿真验证  57-58
  5.5 结论  58-59
6 全文总结和展望  59-60
致谢  60-61
参考文献  61-65
附录1 攻读硕士学位期间发表的论文  65-66
附录2 购物系统的仿真结果  66-68
附录3 PETRI 网变迁元素字符名称对照表  68

相似论文

  1. 移动计算环境下检查点技术研究与Petri网建模,TP301.1
  2. 基于逻辑Petri网的Web服务组合建模与分析,TP393.09
  3. 一种可视化的分布式数据集成模型的研究与实现,TP311.52
  4. 基于Petri网的信息管理软件服务建模方法研究,TP311.52
  5. 物联网业务模型描述语言的研究与实现,TN929.5
  6. 工作流动态变更处理技术,TP311.52
  7. 面向可穿戴生理检测的无线传感器网络QoS路由研究,TP212.9
  8. 基于jBPM的防空指控流程管理系统研究,TP311.52
  9. 基于着色Petri网的工作流引擎研究,TP311.52
  10. 基于Petri网建模的作业车间调度智能算法研究,TP18
  11. RFID复杂事件处理及形成世系追溯研究,TP391.44
  12. 基于Petri网的情境感知服务逻辑建模研究,TP301.1
  13. 基于广义随机着色Petri网的C~3I系统建模与仿真技术研究,N945.12
  14. 卫星对地观测需求分析方法及其应用研究,V474.26
  15. 基于混杂Petri网的城市道路交通网络模型研究及应用,U491.112
  16. 基于TCPN的Web服务组合时间验证的研究,TP393.09
  17. 基于Petri网的Web服务组合研究,TP393.09
  18. 基于随机Petri网的BPEL服务组合分析方法的研究,TP393.09
  19. 基于高级Petri网的工作流系统建模与性能评价,TP311.52
  20. 基于有色PETRI网的工程项目物流管理系统的设计与实现,TP311.52
  21. 基于UML的物流仓储系统的分析与设计,TP311.52

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 信息处理(信息加工) > 计算机仿真
© 2012 www.xueweilunwen.com