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

论文摘要

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

论文目录

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