ArgoSPE: model-based software performance engineering
作者： Elena Gómez-Martínez , José Merseguer
DOI: 10.1007/11767589_23
关键词: UML tool 、 Unified Modeling Language 、 Model-driven architecture 、 Petri net 、 Computer science 、 Stochastic Petri net 、 Real-time computing 、 Applications of UML 、 Concurrency 、 Software 、 Software engineering 、 Metamodeling 、 Software system 、 Software performance testing
摘要: Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool performance evaluation software systems in first stages life-cycle. ArgoSPE implements process that builds on principles engineering (SPE). The theory behind tool, i.e. underlying SPE process, has presented previous papers and consists translating some annotated UML diagrams into SPN models. Therefore, prevents engineers to model with since they are obtained as by-product their design follows architecture proposed by OMG Profile Schedulability, Performance Time specification.
springer.com
sci-hub.se 参考文章(17)
Dorina C. Petriu, Hui Shen, Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications Lecture Notes in Computer Science. pp. 159- 177 ,(2002) , 10.1007/3-540-46029-2_10
Salvatore Distefano, Daniele Paci, Antonio Puliafito, Marco Scarpa, UML Design and Software Performance Modeling international symposium on computer and information sciences. pp. 564- 573 ,(2004) , 10.1007/978-3-540-30182-0_57
José Merseguer, Javier Campos, Eduardo Mena, Analysing internet software retrieval systems: modeling and performance comparison Wireless Networks. ,vol. 9, pp. 223- 238 ,(2003) , 10.1023/A:1022825210932
Multirate Feedback Control Using the TinyRealTime Kernel international symposium on computer and information sciences. ,vol. 3280, pp. 855- 865 ,(2004) , 10.1007/B101749
Kevin Lano, David Clark, Kelly Androutsopoulos, Safety and Security Analysis of Object-Oriented Models international conference on computer safety reliability and security. pp. 82- 93 ,(2002) , 10.1007/3-540-45732-1_10
Stephen Gilmore, Leïla Kloul, A unified tool for performance modelling and prediction international conference on computer safety, reliability, and security. pp. 179- 192 ,(2003) , 10.1007/978-3-540-39878-3_15
S. Donatelli, M. Ajmone Marsan, G. Balbo, G. Franceschinis, G. Conte, Modelling with Generalized Stochastic Petri Nets ,(1995)
Juan Pablo López-Grao, José Merseguer, Javier Campos, From UML activity diagrams to Stochastic Petri nets: application to software performance engineering workshop on software and performance. ,vol. 29, pp. 25- 36 ,(2004) , 10.1145/974043.974048
M. Gentile, M. Pizzuti, V. Cortellessa, XPRIT: an XML-based tool to translate UML diagrams into execution graphs and queueing networks quantitative evaluation of systems. pp. 342- 343 ,(2004) , 10.1109/QEST.2004.53
M. Marzolla, S. Balsamo, UML-PSI: the UML performance simulator quantitative evaluation of systems. pp. 340- 341 ,(2004) , 10.1109/QEST.2004.50