%0 Journal Article
%T uml活动图到petri网的转换方法及实现研究
%A 赵俊峰？
%A 周建涛？
%A 邢冠男？
%J 计算机科学
%D 2014
%R 10.11896/j.issn.1002-137X.2014.07.029
%X 统一建模语言uml缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用petri网和uml能够提高软件描述的全面性、一致性、精确性和完整性。研究了uml活动图向petri网的转换规则,并依据转换规则实现了模型转换工具apconverter。此工具能有效地将活动图转换为petri网模型并生成pnml文件,进而更好地对uml模型进行分析和验证。
%K uml
%K 活动图
%K petri网
%K pnml
%K 转换规则中图法分类号tp301.2文献标识码a
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140729&flag=1