计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 143-147.doi: 10.11896/j.issn.1002-137X.2014.07.029
赵俊峰,周建涛,邢冠男
ZHAO Jun-feng,ZHOU Jian-tao and XING Guan-nan
摘要: 统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter。此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证。
[1] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006 [2] Campos J,Merseguer J.On the Integration of UML and PetriNets in Software Development[C]∥27th Int.Conf.on Applications and Theory of Petri Nets and Other Models of Concurrency(ICATPN 2006),volume 4024of Lecture Notes in Computer Science,2006.Berlin:Springer,2006:19-36 [3] López-Grao J P,Merseguer J,Campos J.From UML Activity Diagrams to Stochastic Petri Nets:Application to Software Performance Engineering[C]∥4th Int.Workshop on Software and Performance(WOSP 2004),2004.New York:ACM Press,2004:25-36 [4] Merseguer J,Campos J,Bernardi S,et al.A Compositional Se-mantics for UML State Machines Aimed at Performance Evaluation[C]∥6th Int.Workshop on Discrete Event Systems(WODES 2002),2002.NJ:IEEE CS Press,2002:295-302 [5] Baresi L,Pezzè M.On Formalizing UML with High-Level Petri Nets[C]∥Concurrent Object-Oriented Programming and Petri Nets:Advances in Petri Nets,volume 2001of Lecture Notes in Computer Science,2001.Berlin:Springer,2001:276-304 [6] Saldhana J A,Shatz S.UML Diagrams to Object Petri Net Mo-dels:An Approach for Modeling and An alysis[C]∥Proceedings of the International Conference on Software Engineering and Knowledge Engineering(SEKE),2000.2000:103-110 [7] Fernandes J M,Tjell S,Jrgensen J B,et al.Designing Tool Support for Translating Use Cases and UML 2.0Sequence Diagrams into a Coloured Petri Net[C]∥Sixth International Workshop on Scenarios and State Machines(SCESM’07),2007.NJ:IEEE,2007:2-2 [8] Bares L.Some Preliminary Hints on Formalizing UML with Ob-ject Petri Nets[C]∥Proceedings of the 6th World Conference on Integrated Design and Process Technology,IDPT-2002.Pasadena,USA,2002:3-6 [9] Eichner C,Fleischhack H,Meyer R,et al.Compositional Semantics for UML 2.0Sequence Diagrams Using Petri Nets[M]∥SDL 2005:Model Driven.Berlin Heidelberg:Springer,2005:133-148 [10] 周长红.UML图的petri网建模[D].青岛:山东科技大学,2004 [11] 谢彦辉,姚淑珍,郭峰.顺序图至Petri网转化方法的研究与实现[J].计算机工程,2006,32(6):260-262 [12] 叶丽君,桑海,张明清,等.基于UML的概念模型的Petr i网映射算法研究[J].计算机仿真,2009,6(3):112-116 [13] 郭峰,姚淑珍.基于Petri网的UML状态图的形式化模型[J].北京航空航天大学学报,2007,33(2):248-250 [14] 邢冠男,周建涛.UML活动图到PNML转换的研究与实现[D].呼和浩特:内蒙古大学,2009 [15] 赵俊峰,周建涛.UML时序图向PNML转换的研究与实现[J].武汉大学学报:理学版,2011,57(6):511-516 [16] Arlow J,Neustadt I.UML和统一过程实用面向对象的分析和设计[M].方贵宾,等译.北京:机械工业出版社,2006 [17] Canevet C,Gilmore S,Hillsone J,et al.Analysing UML 2.0Activity Diagrams in the Software Engineering Performance Process[J].WOSP’04,2004,9(1):74-78 [18] 张炜钟,王智学,陈剑.一种UML 活动图到模糊Petri网的转换算法[J].系统仿真学报,2009,0(8):102-106 [19] Hillah L M,Kindler E,Kordon F,et al.A primer on the Petri Net Markup Language and ISO/IEC 15909-2[J].Petri Net Newsletter,2009,76:9-28 [20] Berthomieu B,Vernadat F.Time Petri nets analysis with TINA,Quantitative Evaluation of Systems[C]∥QEST 2006.Third International Conference on.IEEE,2006:123-124 |
No related articles found! |
|