Computer Science ›› 2016, Vol. 43 ›› Issue (11): 49-54.doi: 10.11896/j.issn.1002-137X.2016.11.009
Previous Articles Next Articles
HU Xiang, JIAO Li and CHAI Ye-sheng
[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! |
|