uml活动图到petri网的转换方法及实现研究

统一建模语言uml缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用petri网和uml能够提高软件描述的全面性、一致性、精确性和完整性。研究了uml活动图向petri网的转换规则,并依据转换规则实现了模型转换工具apconverter。此工具能有效地将活动图转换为petri网模型并生成pnml文件,进而更好地对uml模型进行分析和验证。