计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 49-54.doi: 10.11896/j.issn.1002-137X.2016.11.009
• 2015 第十五届全国Petri 网理论与应用学术会议 • 上一篇 下一篇
胡翔,焦莉,柴叶生
HU Xiang, JIAO Li and CHAI Ye-sheng
摘要： UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模型。利用Eclipse平台上的Papyrus建立3种类型的UML模型(用例图、部署图和活动图)来对系统进行建模,并利用MARTE规范添加一些性能相关的信息；然后利用ATL实现UML模型到广义随机Petri网(GSPN)模型的转换,并使用XStream将上一步得到的GSPN模型转换成分析工具所支持的格式；最后利用基于GSPN的性能分析方法进行系统性能分析。同时给出了一系列性能指标的计算方法,如利用率、吞吐量、平均等待请求的数目以及响应时间等,可以考察系统性能的多个方面,方便系统设计和开发人员对系统性能进行分析和优化。
| [1] OMG specifications.http://www.omg.org/spec [2] Woodside M,Petriu D C,Merseguer J,et al.Transformationchallenges:from software models to performance models[J].Software & Systems Modeling,2014,13(4):1529-1552 [3] Brosig F,Meier P,Becker S,et al.Quantitative evaluation ofmodel-driven performance analysis and simulation of component-based architectures[J].IEEE Transactions on Software Engineering,2015,41(2):157-175 [4] King P J B,Pooley R.Derivation of Petri net performance models from UML specifications of communications software[M]∥ International Conference on Computer PERFORMANCE Evaluation:Modelling Techniques and TOOLS.Springer-Verlag.2000 [5] Merseguer J,Campos J,Bernardi S,et al.A compositional se-mantics for UML state machines aimed at performance evaluation[C]∥Proc.of the Sixth International Workshop on Discrete Event Systems.IEEE,2002:295-302 [6] Bernardi S,Donatelli S,Merseguer J.From UML sequence diagrams and statecharts to analysable Petri net models[C]∥Proc.of the 3rd International Workshop on Software and Perfor-mance.ACM,2002:35-45 [7] Storrle H.Semantics of control-flow in UML 2.0 activities[C]∥2004 IEEE Symposium on Visual Languages and Human Centric Computing.IEEE,2004:235-242 [8] Yang N,Yu H,Sun H,et al.Mapping UML activity diagrams to analyzable Petri net models[C]∥2010 10th International Conference on Quality Software(QSIC).IEEE,2010:369-372 [9] Heuer A,Stricker V,Budnik C J,et al.Defining variability in ac-tivity diagrams and Petri nets[J].Science of Computer Programming,2013,78(12):2414-2432 [10] Eshuis R,Wieringa R.Comparing Petri net and activity diagram variants for workflow modelling-a quest for reactive Petri nets[M].Petri Net Technology for Communication-Based Systems.Springer Berlin Heidelberg,2003:321-351 [11] López-Grao J,Merseguer J,Campos J.From UML activity diagrams to Stochastic Petri nets:application to software perfor-mance engineering[J].ACM SIGSOFT Software Engineering Notes,ACM,2004,29(1):25-36 [12] Campos J,Merseguer J.On the integration of UML and Petri nets in software development[M]∥Petri Nets and Other Mo-dels of Concurrency(ICATPN 2006).Springer Berlin Heidelberg,2006:19-36 [13] Distefano S,Scarpa M,Puliafito A.From UML to Petri nets:the PCM-based methodology[J].IEEE Transactions on Software Engineering,2011,37(1):65-79 [14] Papyrus v0.10.1.http://www.eclipse.org/papyrus [15] ATL v3.4.0.http://www.eclipse.org/atl [16] XStream v1.4.6.http://xstream.codehaus.org [17] Ciardo G,Muppala J,Trivedi T.SPNP:stochastic Petri netpackage[C]∥Proc.of the 3rd International Workshop on Petri Nets and Performance Models(PNPM89).IEEE,1989:142-151 [18] Bobbio A,Puliafito A,Scarpa M,et al.WebSPN:A WEB-accessible Petri net tool[C]∥Proceedings of the Conference on Web-based Modeling & Simulation.1998 |
| No related articles found! |
|
||
首页