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

UML活动图到PNML转换的研究与实现

作　者: 邢冠男
导　师: 周建涛
学　校: 内蒙古大学
专　业: 计算机应用技术
关键词: UML 活动图 PNML XML
分类号: TP311.52
类　型: 硕士论文
年　份: 2009年
下　载: 60次
引　用: 1次
阅　读: 论文下载

内容摘要

众所周知,UML是半形式化的。Petri网虽然是形式化的工具但本身又有不便于应用的缺点。所以论文的目的是把UML活动图模型转换为PNML,以便能够用Petri网分析工具来分析UML所描述的系统的正确性。为了达到这个目的,论文主要研究的内容包括:第一,把在Rational Rose中画出的活动图模型提取出来,转换成工具可以识别分析的文件格式。在Rational Rose中通过一个“Rose XML Tools”插件,把模型信息存储为.xml文件,可以看到用XML语言格式显示的活动图信息。然后用java语言实现读取并存储XML文件信息。第二,根据活动图中的元素类型和关系类型,制定转换规则,实现活动图到PNML的转换工具。提取活动图模型的元素信息,转换为有向图,最后遍历有向图并按照论文提出的转换规则进行转换输出。第三,设计了一个包含活动图中各种元素的实例,并且详细具体地演示了转换的过程和最终结果。第四,证明用PNML描述的UML活动图和原活动图的行为集合的等价性。

全文目录

摘要  4-5
ABSTRACT  5-6
目录  6-9
图表目录  9-10
第一章引言  10-13
  1.1 论文研究背景  10-11
  1.2 论文目的和意义  11-12
  1.3 论文的组织结构  12-13
第二章理论基础  13-28
  2.1 软件工程的概念  13
  2.2 统一建模语言UML  13-16
    2.2.1 UML的定义  14
    2.2.2 UML的组成  14-15
    2.2.3 UML的建模工具 Rational Rose介绍  15-16
  2.3 活动图(activity diagram)  16-18
    2.3.1 活动图的定义  16
    2.3.2 活动图的应用  16
    2.3.3 构成活动图的主要模型元素  16-18
  2.4 Petri网  18-19
  2.5 XML技术  19-21
    2.5.1 XML简介  20
    2.5.2 用Dom4j实现 XML文档的解析  20-21
  2.6 PNML的基本知识  21-27
    2.6.1 PNML的设计理念  21-22
    2.6.2 PNML的结构  22
    2.6.3 PNML的元模型  22-25
    2.6.4 一个 PNML实例  25-27
  2.7 本章小结  27-28
第三章活动图到 PNML的转换机制  28-40
  3.1 UML活动图到 PNML转换的可行性分析  28-29
  3.2 活动图到 PNML转换的总体思路  29
  3.3 UML活动图到 Petri网的转换规则  29-35
    3.3.1 起始状态  30-31
    3.3.2 终止状态  31
    3.3.3 活动  31-32
    3.3.4 迁移  32-33
    3.3.5 泳道  33
    3.3.6 对象和对象流  33-34
    3.3.7 同步  34
    3.3.8 决策点状态  34-35
    3.3.9 转换后的 Petri网的整合和运行  35
  3.4 应用实例  35-37
  3.5 UML活动图到 PNML转换的一致性  37-39
  3.6 本章小结  39-40
第四章转换工具 UMLTOPNMLTOOL的设计与实现  40-50
  4.1 转换工具 UMLtoPNMLtool的设计思路  40
  4.2 工具开发环境  40-41
  4.3 UMLtoPNMLtool工具的实现  41-48
    4.3.1 工具的体系结构  41-42
    4.3.2 提取活动图的方法  42-43
    4.3.3 主要功能设计  43-44
    4.3.4 主要功能实现  44-48
  4.4 转换的结果  48-49
  4.5 本章小结  49-50
第五章总结与展望  50-52
  5.1 总结  50-51
  5.2 进一步的研究工作  51-52
参考文献  52-55
致谢  55-56
附: 攻读硕士期间参加的研究项目  56

相似论文

基因调控网络模型描述语言研究,Q78
支持XML数据查询的F&B索引结构的研究,TP311.13
中小企业进销存管理系统的研究与设计,TP311.52
LXI自动测试系统集成技术研究,TP274
基于网络的服装款式设计系统的研究与实现,TS941.2
基于MDA的界面自动生成方法的研究,TP311.5
UML模型到XMI的映射方法研究,TP311.5
基于模型的Web测试技术研究与应用,TP311.53
基于形式化UML测试序列生成方法研究,TP311.53
C++代码缺陷检测系统的研究与设计,TP311.53
基于Web的科学计算遗留应用共享技术研究,TP393.09
基于XML的异构数据交换系统的设计与实现,TP311.52
面向Seam框架的PIM到PSM转换研究,TP311.52
电子公文传输管理系统在电大系统中的设计与实现,TP311.52
概率XML数据上关键字检索算法的研究与实现,TP391.3
行政审批电子监察系统数据交换的设计与实现,TP311.52
基于UML的体育场馆管理系统的分析、设计与实现,TP311.52
概率XML文档中Holistic Twig查询处理算法的研究与实现,TP311.13
保留语义约束的XML与关系数据库双向转换技术研究,TP311.13
SOA架构在高校信息化系统中整合技术的应用,TP311.52
基于银行综合前置平台的金融服务支付系统的设计与实现,TP311.52