{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:19:59Z","timestamp":1725560399509},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219453"},{"type":"electronic","value":"9783540246633"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24663-3_13","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:13:41Z","timestamp":1280276021000},"page":"265-289","source":"Crossref","is-referenced-by-count":28,"title":["Software Performance Modeling Using UML and Petri Nets"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Merseguer","sequence":"first","affiliation":[]},{"given":"Javier","family":"Campos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Modelling with generalized stochastic Petri nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. John Wiley Series in Parallel Computing, Chichester (1995)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0166-5316(01)00035-9","volume":"45","author":"F. Aquilani","year":"2001","unstructured":"Aquilani, F., Balsamo, S., Inverardi, P.: Performance analysis at the software architectural design level. Performance Evaluation\u00a045, 147\u2013178 (2001)","journal-title":"Performance Evaluation"},{"key":"13_CR3","unstructured":"Bernardi, S.: Building Stochastic Petri Net models for the verification of complex software systems, Ph.D. thesis, Dipartimento di Informatica, Universit\u00e0 di Torino (April 2003)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/584369.584376","volume-title":"Proceedings of the ThirdInternational Workshop on Software and Performance (WOSP 2002)","author":"S. Bernardi","year":"2002","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable Petri net models. In: Proceedings of the ThirdInternational Workshop on Software and Performance (WOSP 2002), Rome, Italy, July 2002, pp, pp. 35\u201345. ACM, New York (2002)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 359\u2013376. Springer, Heidelberg (1987)"},{"issue":"4","key":"13_CR6","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F.P. Brooks","year":"1987","unstructured":"Brooks, F.P.: Essence and accidents of software engineering. IEEE Computer\u00a020(4), 10\u201319 (1987)","journal-title":"IEEE Computer"},{"issue":"12","key":"13_CR7","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1109\/9.106153","volume":"36","author":"J. Campos","year":"1991","unstructured":"Campos, J., Chiola, G., Silva, M.: Properties and performance bounds for closed free choice synchronized monoclass queueing networks. IEEE Transactions on Automatic Control\u00a036 (12), 1368\u20131382 (1991)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1109\/32.761442","volume":"25","author":"J. Campos","year":"1999","unstructured":"Campos, J., Donatelli, S., Silva, M.: Structured solution of asynchronously communicating stochastic modules. IEEE Transactions on Software Engineering\u00a025(2), 147\u2013165 (1999)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/PNPM.1993.393428","volume-title":"Proceedings of the 5th International Workshop on Petri Nets and Performance Models","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Anglano, C., Campos, J., Colom, J.M., Silva, M.: Operational analysis of timed Petri nets and application to the computation of performance bounds. In: Proceedings of the 5th International Workshop on Petri Nets and Performance Models, Toulouse, France, October 1993, pp. 128\u2013137. IEEE-Computer Society Press, Los Alamitos (1993)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-53863-1_23","volume-title":"Advances in Petri Nets 1990","author":"J.M. Colom","year":"1991","unstructured":"Colom, J.M., Silva, M.: Improving the linearly based characterization of P\/T nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 113\u2013145. Springer, Heidelberg (1991)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Mirandola, R.: Deriving a queueing network based performance model from UML diagrams. In: Woodside et al. [46], pp. 58\u201370","DOI":"10.1145\/350391.350406"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"de Miguel, M., Lambolais, T., Hannouz, M., Betge, S., Piekarec, S.: UML extensions for the specification of latency constraints in architectural models. In: Woodside et al. [46], pp. 83\u201388","DOI":"10.1145\/350391.350411"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"20","DOI":"10.4018\/jdm.2002100102","volume":"13","author":"E. Dom\u00ednguez","year":"2002","unstructured":"Dom\u00ednguez, E., Rubio, A.L., Zapata, M.A.: Dynamic semantics of UML state machines: A metamodelling perspective. Journal of Database Management\u00a013, 20\u201338 (2002)","journal-title":"Journal of Database Management"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Performance Engineering","year":"2001","unstructured":"Dumke, R.R., Rautenstrauch, C., Schmietendorf, A., Scholz, A. (eds.): WOSP 2000 and GWPESD 2000. LNCS, vol.\u00a02047. Springer, Heidelberg (2001)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Gomaa, H., Menasc\u00e9, D.: Design and performance modeling of component interconnection patterns for distributed software architectures. In: Woodside et al. [46], pp. 117\u2013126","DOI":"10.1145\/350391.350418"},{"key":"13_CR16","unstructured":"The GreatSPN tool, http:\/\/www.di.unito.it\/~greatspn"},{"issue":"1-2","key":"13_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.P.: Process algebra for performance evaluation. Theoretical Computer Science\u00a0274(1-2), 43\u201387 (2002)","journal-title":"Theoretical Computer Science"},{"volume-title":"Proceedings of the Third International Workshop on Software and Performance","year":"2002","key":"13_CR18","unstructured":"Inverardi, P., Balsamo, S., Selic, B. (eds.): Proceedings of the Third International Workshop on Software and Performance, Rome, Italy, July 24-26. ACM, New York (2002)"},{"key":"13_CR19","volume-title":"Object-oriented software engineering: A use case driven approach","author":"I. Jacobson","year":"1992","unstructured":"Jacobson, I., Christenson, M., Jhonsson, P., Overgaard, G.: Object-oriented software engineering: A use case driven approach. Addison-Wesley, Reading (1992)"},{"key":"13_CR20","volume-title":"Introduction to computer system performance evaluation","author":"K. Kant","year":"1992","unstructured":"Kant, K.: Introduction to computer system performance evaluation. Mc Graw-Hill, New York (1992)"},{"key":"13_CR21","unstructured":"King, P., Pooley, R.: Using UML to derive stochastic Petri nets models. In: Bradley, J., Davies, N. (eds.) Proceedings of the Fifteenth Annual UK Performance Engineering Workshop, Department of Computer Science, University of Bristol, July 1999, pp. 45\u201356 (1999)"},{"key":"13_CR22","volume-title":"Proceedings of the Fourth International Workshop on Software and Performance (WOSP 2004)","author":"J.P. L\u00f3pez-Grao","year":"2004","unstructured":"L\u00f3pez-Grao, J.P., Merseguer, J., Campos, J.: From UML activity diagrams to stochastic PNs: Application to software performance engineering. In: Proceedings of the Fourth International Workshop on Software and Performance (WOSP 2004), Redwood City, California, USA, January 2004, ACM, New York (2004)"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Merseguer, J.: Software performance engineering based on UML and Petri nets, Ph.D. thesis, University of Zaragoza, Spain (March 2003)","DOI":"10.1007\/978-3-540-24663-3_13"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/WODES.2002.1167702","volume-title":"Proceedings of the 6th International Workshop on Discrete Event Systems","author":"J. Merseguer","year":"2002","unstructured":"Merseguer, J., Bernardi, S., Campos, J., Donatelli, S.: A compositional semantics for UML state machines aimed at performance evaluation. In: Giua, A., Silva, M. (eds.) Proceedings of the 6th International Workshop on Discrete Event Systems, Zaragoza, Spain, October 2002, pp. 295\u2013302. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"13_CR25","unstructured":"Merseguer, J., Campos, J.: Exploring roles for the UML diagrams in software performance engineering. In: Proceedings of the 2003 International Conference on Software Engineering Research and Practice (SERP 2003), Las Vegas, Nevada, USA, June 2003, pp. 43\u201347. CSREA Press (2003)"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Merseguer, J., Campos, J., Mena, E.: A pattern-based approach to model software performance. In: Woodside et al. [46], pp. 137\u2013142","DOI":"10.1145\/350391.350421"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Merseguer, J., Campos, J., Mena, E.: A performance engineering case study: Software retrieval system. In: Dumke et al. [14], pp. 317\u2013332","DOI":"10.1007\/3-540-45156-0_20"},{"issue":"3","key":"13_CR28","doi-asserted-by":"crossref","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: The Journal of Mobile Communication, Computation and Information\u00a09(3), 223\u2013238 (2003)","journal-title":"Wireless Networks: The Journal of Mobile Communication, Computation and Information"},{"issue":"9","key":"13_CR29","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":"13_CR30","unstructured":"Object Management Group.: http:\/\/www.omg.org"},{"key":"13_CR31","unstructured":"Object Management Group: UML Profile for Schedulabibity, Performance and Time Specification (March 2002), http:\/\/www.omg.org"},{"key":"13_CR32","unstructured":"Object Management Group: OMG Unified Modeling Language specification, version 1.5 (March 2003), http:\/\/www.omg.org"},{"key":"13_CR33","first-page":"32","volume-title":"Proceedings of the 8th International Workshop on Petri Nets and Performance Models","author":"C.J. P\u00e9rez-Jim\u00e9nez","year":"1999","unstructured":"P\u00e9rez-Jim\u00e9nez, C.J., Campos, J.: On state space decomposition for the numerical analysis of stochastic Petri nets. In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 1999, pp. 32\u201341. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"13_CR34","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 grammarbased 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":"13_CR35","doi-asserted-by":"crossref","unstructured":"Pooley, R., King, P.: The Unified Modeling Language and performance engineering. In: IEE Proceedings Software, February 1999, pp. 2\u201310. IEE (1999)","DOI":"10.1049\/ip-sen:19990151"},{"key":"13_CR36","unstructured":"ArgoUML project, http:\/\/argouml.tigris.org"},{"key":"13_CR37","volume-title":"Object oriented modeling and design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Frederick, E., Lorensen, W.: Object oriented modeling and design. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"13_CR38","unstructured":"Schmietendorf, A., Scholz, A.: Aspects of performance engineering - An overview. In: Dumke et al. [14], pp. IX\u2013XII"},{"key":"13_CR39","volume-title":"Las redes de Petri en la autom\u00e1tica y la inform\u00e1tica","author":"M. Silva","year":"1985","unstructured":"Silva, M.: Las redes de Petri en la autom\u00e1tica y la inform\u00e1tica. Editorial AC, Madrid (1985) (in Spanish)"},{"key":"13_CR40","series-title":"The Sei Series in Software Engineering","volume-title":"Performance engineering of software systems","author":"C.U. Smith","year":"1990","unstructured":"Smith, C.U.: Performance engineering of software systems. The Sei Series in Software Engineering. Addison\u2013Wesley, Reading (1990)"},{"key":"13_CR41","unstructured":"Smith, C.U.: Increasing information systems productivity by software performance engineering. In: Deese, D.R., Bishop, R.J., Mohr, J.M., Artis, H.P. (eds.) Proceedings of the Seventh International Computer Measurement Group Conference, New Orleans, LA, USA, December 1-4, pp. 5\u201314. Computer Measurement Group (1981)"},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"Smith, C.U.: Origins of software performance engineering: Highlights and outstanding problems. In: Dumke et al. [14], pp. 96\u2013118","DOI":"10.1007\/3-540-45156-0_7"},{"key":"13_CR43","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Williams, L.l.G.: Software performance antipatterns. In: Woodside et al. [46], pp. 127\u2013136.","DOI":"10.1145\/350391.350420"},{"volume-title":"Proceedings of the First International Workshop on Software and Performance","year":"1998","key":"13_CR44","unstructured":"Smith, C.U., Woodside, M., Clements, P. (eds.): Proceedings of the First International Workshop on Software and Performance, Santa Fe, New Mexico, USA, October 12-16. ACM, New York (1998)"},{"key":"13_CR45","doi-asserted-by":"crossref","unstructured":"Utton, P., Hill, B.: Performance prediction: an industry perspective. In: Performance Tools 1997 Conference, St Malo, June 1997, pp. 1\u20135 (1997)","DOI":"10.1007\/BFb0022192"},{"volume-title":"Proceedings of the Second International Workshop on Software and Performance","year":"2000","key":"13_CR46","unstructured":"Woodside, M., Gomaa, H., Menasc\u00e9, D. (eds.): Proceedings of the Second International Workshop on Software and Performance, Ottawa, Canada, September 17-20. ACM, New York (2000)"},{"key":"13_CR47","doi-asserted-by":"crossref","unstructured":"Woodside, M., Hrischuck, C., Selic, B., Bayarov, S.: A wideband approach to integrating performance prediction into a software design environment. In: Smith et al. [44], pp. 31\u201341","DOI":"10.1145\/287318.287326"},{"key":"13_CR48","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0166-5316(01)00033-5","volume":"45","author":"M. Woodside","year":"2001","unstructured":"Woodside, M., Hrischuck, C., Selic, B., Bayarov, S.: Automated performance modeling of software generated by a design environment. Performance Evaluation\u00a045, 107\u2013123 (2001)","journal-title":"Performance Evaluation"}],"container-title":["Lecture Notes in Computer Science","Performance Tools and Applications to Networked Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24663-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T20:05:55Z","timestamp":1635797155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24663-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219453","9783540246633"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24663-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}