学位论文 > 优秀研究生学位论文题录展示
基于行为的可视化建模方法研究
作 者: 田晓宇
导 师: 王明哲
学 校: 华中科技大学
专 业: 控制理论与控制工程
关键词: 可视化建模 基于行为方法 面向过程方法 面向对象方法 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
|
相似论文
- 移动计算环境下检查点技术研究与Petri网建模,TP301.1
- 基于逻辑Petri网的Web服务组合建模与分析,TP393.09
- 一种可视化的分布式数据集成模型的研究与实现,TP311.52
- 基于Petri网的信息管理软件服务建模方法研究,TP311.52
- 物联网业务模型描述语言的研究与实现,TN929.5
- 工作流动态变更处理技术,TP311.52
- 面向可穿戴生理检测的无线传感器网络QoS路由研究,TP212.9
- 基于jBPM的防空指控流程管理系统研究,TP311.52
- 基于着色Petri网的工作流引擎研究,TP311.52
- 基于Petri网建模的作业车间调度智能算法研究,TP18
- RFID复杂事件处理及形成世系追溯研究,TP391.44
- 基于Petri网的情境感知服务逻辑建模研究,TP301.1
- 基于广义随机着色Petri网的C~3I系统建模与仿真技术研究,N945.12
- 卫星对地观测需求分析方法及其应用研究,V474.26
- 基于混杂Petri网的城市道路交通网络模型研究及应用,U491.112
- 基于TCPN的Web服务组合时间验证的研究,TP393.09
- 基于Petri网的Web服务组合研究,TP393.09
- 基于随机Petri网的BPEL服务组合分析方法的研究,TP393.09
- 基于高级Petri网的工作流系统建模与性能评价,TP311.52
- 基于有色PETRI网的工程项目物流管理系统的设计与实现,TP311.52
- 基于UML的物流仓储系统的分析与设计,TP311.52
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 信息处理(信息加工) > 计算机仿真
© 2012 www.xueweilunwen.com
|