{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:40:50Z","timestamp":1725543650379},"publisher-location":"Berlin, Heidelberg","reference-count":48,"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_2","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T14:38:34Z","timestamp":1150814314000},"page":"19-36","source":"Crossref","is-referenced-by-count":14,"title":["On the Integration of UML and Petri Nets in Software Development"],"prefix":"10.1007","author":[{"given":"Javier","family":"Campos","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Merseguer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"2_CR1","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis, and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"2_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-6955-4","volume-title":"Practice of Petri Nets in Manufacturing","author":"F. DiCesare","year":"1993","unstructured":"DiCesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F.: Practice of Petri Nets in Manufacturing. Chapman & Hall, London (1993)"},{"key":"2_CR3","volume-title":"Performance Models of Multiprocessor Systems","author":"M. Ajmone Marsan","year":"1986","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G.: Performance Models of Multiprocessor Systems. MIT Press, Cambridge (1986)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Application of Petri Nets to Communication Networks","year":"1999","unstructured":"Billington, J., D\u00edaz, M., Rozenberg, G. (eds.): APN 1999. LNCS, vol.\u00a01605. Springer, Heidelberg (1999)"},{"key":"2_CR5","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":"2_CR6","volume-title":"UML for Real: Design of Embedded Real-Time Systems","author":"C. Smith","year":"2003","unstructured":"Smith, C., Williams, L.: Software Performance Engineering. In: UML for Real: Design of Embedded Real-Time Systems. Kluwer, Dordrecht (2003)"},{"issue":"3","key":"2_CR7","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1038\/scientificamerican0994-86","volume":"271","author":"W. Gibbs","year":"1994","unstructured":"Gibbs, W.: Trends in computing: Software\u2019s chronic crisis. Scientific American\u00a0271(3), 72\u201381 (1994)","journal-title":"Scientific American"},{"key":"2_CR8","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":"2_CR9","volume-title":"The Unified Modeling Language","author":"G. Booch","year":"1999","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language. Addison Wesley, Reading (1999)"},{"key":"2_CR10","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":"2_CR11","unstructured":"Object Management Group: UML Profile for Schedulabibity, Performance and Time Specification (2005), http:\/\/www.omg.org"},{"key":"2_CR12","unstructured":"Object Management Group: UML Profile for Modeling Quality of Service and Fault Tolerant Characteristics and Mechanisms (2004), http:\/\/www.omg.org"},{"key":"2_CR13","unstructured":"Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability analysis in the early phases of UML-based system design. International Journal of Computer Systems Science & Engineering\u00a016(5), 265\u2013275 (2001)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/WICSA.2004.1310690","volume-title":"4th Working IEEE IFIP Conference on Software Architecture (WICSA)","author":"R. Pettit IV","year":"2004","unstructured":"Pettit IV, R., Gomaa, H.: Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets. In: 4th Working IEEE IFIP Conference on Software Architecture (WICSA), Oslo, Norway, pp. 57\u201368. IEEE Computer Society, Los Alamitos (2004)"},{"key":"2_CR15","unstructured":"Saldhana, J., Shatz, S.: UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis. In: Twelfth International Conference on Software Engineering and Knowledge Engineering, Chicago, IL, USA, Knowledge Systems Institute, pp. 103\u2013110 (2000)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/974044.974055","volume-title":"Proceedings of the 4th International Workshop on Software Performance (WOSP 2004)","author":"C. Canevet","year":"2004","unstructured":"Canevet, C., Gilmore, S., Hillston, J., Kloul, L., Stevens, P.: Analysing UML 2.0 activity diagrams in the software performance engineering process. In: Proceedings of the 4th International Workshop on Software Performance (WOSP 2004), Redwood Shores, California, USA, pp. 74\u201378. ACM, New York (2004)"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/350391.350406","volume-title":"Proceedings of the Second International Workshop on Software and Performance (WOSP 2000)","author":"V. Cortellessa","year":"2000","unstructured":"Cortellessa, V., Mirandola, R.: Deriving a queueing network based performance model from UML diagrams. In: Proceedings of the Second International Workshop on Software and Performance (WOSP 2000), Ottawa, Canada, pp. 58\u201370. ACM, New York (2000)"},{"key":"2_CR18","unstructured":"Smith, C.U., Williams, L.: Performance Solutions. Addison\u2013Wesley, Reading (2002)"},{"key":"2_CR19","first-page":"25","volume-title":"Proceedings of the Third International Workshop on Software and Performance (WOSP 2002)","author":"G. Gu","year":"2002","unstructured":"Gu, G., Petriu, D.: XSLT transformation from UML models to LQN performance models. In: Proceedings of the Third International Workshop on Software and Performance (WOSP 2002), Rome, Italy, pp. 25\u201334. ACM, New York (2002)"},{"key":"2_CR20","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":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/3-540-45397-0_9","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"L. Baresi","year":"2001","unstructured":"Baresi, L., Pezz\u00e8, M.: On formalizing UML with high-level Petri nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, pp. 276\u2013304. Springer, Heidelberg (2001)"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/1071021.1071031","volume-title":"Proceedings of the Fifth International Workshop on Software and Performance (WOSP 2005)","author":"G. Gu","year":"2005","unstructured":"Gu, G., Petriu, D.: From UML to LQN by XML algebra-based model transformations. In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP 2005), Palma, Spain, pp. 99\u2013110. ACM, New York (2005)"},{"key":"2_CR23","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"},{"issue":"5","key":"2_CR24","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S. Balsamo","year":"2004","unstructured":"Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Transactions on Software Engineering\u00a030(5), 295\u2013310 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR25","unstructured":"The GreatSPN tool, http:\/\/www.di.unito.it\/~greatspn"},{"key":"2_CR26","unstructured":"The TimeNET tool, http:\/\/pdv.cs.tu-berlin.de\/~timenet\/"},{"key":"2_CR27","unstructured":"The M\u00f6bius Tool, http:\/\/www.mobius.uiuc.edu\/"},{"key":"2_CR28","unstructured":"ArgoSPE: http:\/\/argospe.tigris.org"},{"key":"2_CR29","unstructured":"Argo Performance: http:\/\/argoperformance.tigris.org"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Gentile, M., Pizzuti, M.: Xprit: An xml-based tool to translate uml diagrams into execution graphs and queueing networks. In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), pp. 342\u2013343 (2004)","DOI":"10.1109\/QEST.2004.1348058"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Marzolla, M., Balsamo, S.: UML-PSI: the UML Performance SImulator. In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), pp. 340\u2013341 (2004)","DOI":"10.1109\/QEST.2004.1348057"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1071021.1071022","volume-title":"Fifth International Workshop on Software and Performance (WOSP 2005)","author":"M. Woodside","year":"2005","unstructured":"Woodside, M., Petriu, D., Petriu, D., Shen, H., Israr, T., Merseguer, J.: Performance by unified model analysis (PUMA). In: Fifth International Workshop on Software and Performance (WOSP 2005), Palma, Spain, pp. 1\u201312. ACM, New York (2005)"},{"key":"2_CR33","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, pp. 43\u201347. CSREA Press (2003)"},{"key":"2_CR34","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, pp. 295\u2013302. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/584369.584376","volume-title":"Proceedings of the Third International 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 Third International Workshop on Software and Performance (WOSP 2002), Rome, Italy, pp. 35\u201345. ACM, New York (2002)"},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/974044.974048","volume-title":"Proceedings of the Fourth International Workshop on Software and Performance (WOSP 2004)","author":"J. L\u00f3pez-Grao","year":"2004","unstructured":"L\u00f3pez-Grao, J., Merseguer, J., Campos, J.: From UML activity diagrams to stochastic Petri nets: Application to software performance engineering. In: Proceedings of the Fourth International Workshop on Software and Performance (WOSP 2004), Redwood City, California, USA, pp. 25\u201336. ACM, New York (2004)"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/11767589_23","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"E. G\u00f3mez Mart\u00ednez","year":"2006","unstructured":"G\u00f3mez Mart\u00ednez, E., Merseguer, J.: ArgoSPE: Model-based software performance engineering. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 401\u2013410. Springer, Heidelberg (2006)"},{"key":"2_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-3-540-30187-5_4","volume-title":"<\u2009\u2009> 2004 - The Unified Modeling Language","author":"D.B. Petriu","year":"2004","unstructured":"Petriu, D.B., Woodside, C.M.: A metamodel for generating performance models from UML designs. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 41\u201353. Springer, Heidelberg (2004)"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: From design to analysis models: a kernel language for performance and reliability analysis of component-based systems. In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP 2005), pp. 25\u201336 (2005)","DOI":"10.1145\/1071021.1071024"},{"issue":"3","key":"2_CR40","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"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J.: QoS assesment of fault tolerant applications via stochastics analysis. IEEE Internet Computing (to appear, 2006)","DOI":"10.1109\/MIC.2006.63"},{"key":"2_CR42","first-page":"405","volume-title":"Proceedings of the Seventeenth International Symposium On Computer and Information Sciences (ISCIS XVII)","author":"J. L\u00f3pez-Grao","year":"2002","unstructured":"L\u00f3pez-Grao, J., Merseguer, J., Campos, J.: Performance engineering based on UML and SPNs: A software performance tool. In: Proceedings of the Seventeenth International Symposium On Computer and Information Sciences (ISCIS XVII), Orlando, Florida, USA, pp. 405\u2013409. CRC Press, Boca Raton (2002)"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Myers, J., Rose, M.: RFC 1725: Post Office Protocol - version 3 (1994)","DOI":"10.17487\/rfc1725"},{"key":"2_CR44","unstructured":"Object Management Group OMG Unified Modeling Language Specification, version 1.5 (2003), http:\/\/www.omg.org"},{"key":"2_CR45","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., Zapata, M.: Dynamic semantics of UML state machines: A metamodelling perspective. Journal of Database Management\u00a013, 20\u201338 (2002)","journal-title":"Journal of Database Management"},{"key":"2_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-61363-3_8","volume-title":"Application and Theory of Petri Nets 1996","author":"S. Donatelli","year":"1996","unstructured":"Donatelli, S., Franceschinis, G.: PSR Methodology: integrating hardware and software models. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol.\u00a01091, pp. 133\u2013152. Springer, Heidelberg (1996)"},{"key":"2_CR47","unstructured":"Bernardi, S.: Building Stochastic Petri Net models for the verification of complex software systems. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Torino (2003)"},{"key":"2_CR48","unstructured":"ArgoUML project: http:\/\/argouml.tigris.org"}],"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_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T19:46:59Z","timestamp":1683488819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/11767589_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}