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