基于UML与Petri网两种不同工具开展工程建模,涉及到两种模型的映射转换基本规则,实现自动转换功能,发挥优势互补,共同完成分析设计的建模与性能分析的重要作用等技术要点,已是当前软件工程项目和软件方法研究的热点课题。论文认真研究了UML和Petri网基本概念、理论及相关工具Rose和PNML,通过将UML模型转换为相应的Petri网模型,进行分析、验证,最后纠正并改善系统模型性能的总体方案和技术策略,综述了系统建模、模型检测、模型修改的整个过程。针对Petri网和UML模型各自的特点,全面讨论UML和Petri集成建模的方法,对UML中的用例图、状态图、协作图、时序图和活动图,分别分析了将它们转换为Petri网的转换规则。论文研究设计了对UML模型和Petri网模型的存储机制,提出了以各自的XML存储为中间转换机制,实现两种模型之间的自动映射转换功能,详细论述了整个作业过程的技术要点。论文基于总结、优化了UML模型到Petri网模型映射规则,在认真研究了Petri网验证方法的基础上,实例验证了从UML状态图映射为Petri网后的模型;针对Petri网的出现序列分析方法,提出了基于出现序列模型的验证方法,给出了具体算法,并结合实例,对于转换后的Petri网模型进行分析验证,对原有问题的UML模型进行了更新修改。论文最后总结了课题的研究成果,结合作者的研究方向,提出了进一步的研究目标和展望。