UML活动图到Petri网的转换方法及实现研究

摘要

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