{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:40:53Z","timestamp":1725543653854},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346999"},{"type":"electronic","value":"9783540347002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_23","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T10:38:34Z","timestamp":1150799914000},"page":"401-410","source":"Crossref","is-referenced-by-count":18,"title":["ArgoSPE: Model-Based Software Performance Engineering"],"prefix":"10.1007","author":[{"given":"Elena","family":"G\u00f3mez-Mart\u00ednez","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Merseguer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"23_CR1","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Transactions on Computers\u00a031(9), 913\u2013917 (1982)","journal-title":"IEEE Transactions on Computers"},{"key":"23_CR2","unstructured":"Smith, C.U.: Perf. Engineering of Software Systems. Addison\u2013Wesley (1990)"},{"key":"23_CR3","unstructured":"Unified Modeling Language Specification. Version 1.4, http:\/\/www.uml.org"},{"key":"23_CR4","unstructured":"UML Profile for Schedulabibity, Performance and Time Specification. Version 1.1, http:\/\/www.uml.org"},{"issue":"5","key":"23_CR5","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S. Balsamo","year":"2004","unstructured":"Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-Based Performance Prediction in Software Development: A Survey. IEEE Trans. Software Eng.\u00a030(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"23_CR6","unstructured":"The M\u00f6bius tool, http:\/\/www.mobius.uiuc.edu\/"},{"key":"23_CR7","unstructured":"The GreatSPN tool, http:\/\/www.di.unito.it\/~greatspn"},{"key":"23_CR8","unstructured":"The TimeNET tool, http:\/\/pdv.cs.tu-berlin.de\/~timenet\/"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Merseguer, J., Bernardi, S., Campos, J., Donatelli, S.: A compositional semantics for UML state machines aimed at performance evaluation. In: IEEE WODES 2002, pp. 295\u2013302 (2002)","DOI":"10.1109\/WODES.2002.1167702"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable Petri Net models. In: ACM WOSP 2002, pp. 35\u201345 (2002)","DOI":"10.1145\/584369.584376"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Grao, J.P., Merseguer, J., Campos, J.: From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. In: ACM WOSP 2004, pp. 25\u201336 (2004)","DOI":"10.1145\/974043.974048"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Merseguer, J.: Software Performance Engineering based on UML and Petri nets. PhD thesis, University of Zaragoza, Spain (2003)","DOI":"10.1007\/978-3-540-24663-3_13"},{"key":"23_CR13","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley Series (1995)"},{"key":"23_CR14","unstructured":"The ArgoUML project, http:\/\/argouml.tigris.org"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J.: QoS assesment of fault tolerant applications via stochastics analysis. IEEE Internet Computing (accepted for publication, 2006)","DOI":"10.1109\/MIC.2006.63"},{"issue":"3","key":"23_CR16","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/A:1022825210932","volume":"9","author":"J. Merseguer","year":"2003","unstructured":"Merseguer, J., Campos, J., Mena, E.: Analysing internet software retrieval systems: Modeling and performance comparison. Wireless Networks\u00a09(3), 223\u2013238 (2003)","journal-title":"Wireless Networks"},{"key":"23_CR17","unstructured":"XML Metadata Interchange (XMI), http:\/\/www.omg.org"},{"key":"23_CR18","unstructured":"Java Tecnology, http:\/\/java.sun.com"},{"key":"23_CR19","unstructured":"DSPNexpressNG, http:\/\/www.dspnexpress.de"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1007\/978-3-540-30182-0_57","volume-title":"Computer and Information Sciences - ISCIS 2004","author":"S. Distefano","year":"2004","unstructured":"Distefano, S., Paci, D., Puliafito, A., Scarpa, M.: UML Design and Software Performance Modeling. In: Aykanat, C., Dayar, T., K\u00f6rpeo\u011flu, \u0130. (eds.) ISCIS 2004. LNCS, vol.\u00a03280, pp. 564\u2013573. Springer, Heidelberg (2004)"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-46029-2_10","volume-title":"Computer Performance Evaluation","author":"D. Petriu","year":"2002","unstructured":"Petriu, D., Shen, H.: Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 159\u2013177. Springer, Heidelberg (2002)"},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-39878-3_15","volume-title":"Computer Safety, Reliability, and Security","author":"S. Gilmore","year":"2003","unstructured":"Gilmore, S., Kloul, L.: A unified tool for performance modelling and predicition. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 179\u2013192. Springer, Heidelberg (2003)"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"D\u2019Ambrogio, A.: A model transformation framework for the automated building of performance models from UML models. In: ACM WOSP 2005, pp. 75\u201386 (2005)","DOI":"10.1145\/1071021.1071029"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., et al.: XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks. In: IEEE QEST 2004, pp. 342\u2013343 (2004)","DOI":"10.1109\/QEST.2004.1348058"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Marzolla, M., Balsamo, S.: UML-PSI: The UML Performance Simulator. In: IEEE QEST 2004, pp. 340\u2013341 (2004)","DOI":"10.1109\/QEST.2004.1348057"},{"key":"23_CR26","unstructured":"PNML, http:\/\/www.informatik.hu-berlin.de\/top\/pnml\/about.html"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T15:46:53Z","timestamp":1683474413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11767589_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}