{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:37:15Z","timestamp":1750307835691,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,6,23]],"date-time":"2008-06-23T00:00:00Z","timestamp":1214179200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,6,23]]},"DOI":"10.1145\/1383559.1383569","type":"proceedings-article","created":{"date-parts":[[2008,6,24]],"date-time":"2008-06-24T12:49:13Z","timestamp":1214311753000},"page":"67-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile"],"prefix":"10.1145","author":[{"given":"Mirco","family":"Tribastone","sequence":"first","affiliation":[{"name":"The University of Edinburgh, Edinburgh, United Kngdm"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Gilmore","sequence":"additional","affiliation":[{"name":"The University of Edinburgh, Edinburgh, United Kngdm"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,6,23]]},"reference":[{"volume-title":"Fifth International Workshop on Software and Performance, WOSP 2005","year":"2005","key":"e_1_3_2_1_1_1","unstructured":"Proceedings of the Fifth International Workshop on Software and Performance, WOSP 2005 , Palma, Illes Balears, Spain , July 12-14, 2005 . ACM, 2005. Proceedings of the Fifth International Workshop on Software and Performance, WOSP 2005, Palma, Illes Balears, Spain, July 12-14, 2005. ACM, 2005."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071021.1071025"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584376"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.03.009"},{"key":"e_1_3_2_1_6_1","first-page":"74","volume-title":"Dujmovic et al. {9}","author":"Canevet C.","unstructured":"C. Canevet , S. Gilmore , J. Hillston , L. Kloul , and P. Stevens . Analysing UML 2.0 Activity Diagrams in the Software Performance Engineering Process . In Dujmovic et al. {9} , pages 74 -- 78 . C. Canevet, S. Gilmore, J. Hillston, L. Kloul, and P. Stevens. Analysing UML 2.0 Activity Diagrams in the Software Performance Engineering Process. In Dujmovic et al. {9}, pages 74--78."},{"issue":"2","key":"e_1_3_2_1_7_1","first-page":"107","volume":"150","author":"Canevet C.","year":"2003","unstructured":"C. Canevet , S. Gilmore , J. Hillston , M. Prowse , and P. Stevens . Performance Modelling with UML and Stochastic Process Algebras. IEE Proceedings: Computers and Digital Techniques , 150 ( 2 ): 107 -- 120 , Mar. 2003 . C. Canevet, S. Gilmore, J. Hillston, M. Prowse, and P. Stevens. Performance Modelling with UML and Stochastic Process Algebras. IEE Proceedings: Computers and Digital Techniques, 150(2):107--120, Mar. 2003.","journal-title":"Performance Modelling with UML and Stochastic Process Algebras. IEE Proceedings: Computers and Digital Techniques"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1216993.1217008"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/974044"},{"key":"e_1_3_2_1_10_1","unstructured":"Eclipse Foundation. Eclipse UML2 Project Home Page. http:\/\/www.eclipse.org\/uml2\/.  Eclipse Foundation. Eclipse UML2 Project Home Page. http:\/\/www.eclipse.org\/uml2\/."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/974044.974047"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.922715"},{"volume-title":"Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP?03)","author":"Gilmore S.","key":"e_1_3_2_1_13_1","unstructured":"S. Gilmore and L. Kloul . A unified tool for performance modelling and predicition . In Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP?03) , number 2788 in LNCS, pages 179--192, Edinburgh, Scotland, Sept. 2003. Springer-Verlag. S. Gilmore and L. Kloul. A unified tool for performance modelling and predicition. In Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP?03), number 2788 in LNCS, pages 179--192, Edinburgh, Scotland, Sept. 2003. Springer-Verlag."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/236373"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.12"},{"key":"e_1_3_2_1_16_1","first-page":"64","volume-title":"Proceedings of the 19th Annual UK Performance Engineering Workshop","author":"Hillston J.","year":"2003","unstructured":"J. Hillston and Y. Wang . Performance evaluation of UML models via automatically generated simulation models. In S. A. Jarvis, editor , Proceedings of the 19th Annual UK Performance Engineering Workshop , pages 64 -- 78 , Warwick, UK , 2003 . J. Hillston and Y. Wang. Performance evaluation of UML models via automatically generated simulation models. In S. A. Jarvis, editor, Proceedings of the 19th Annual UK Performance Engineering Workshop, pages 64--78, Warwick, UK, 2003."},{"key":"e_1_3_2_1_17_1","unstructured":"IBM Corporation. Rational Software Architect. http:\/\/www-306.ibm.com\/software\/awdtools\/architect\/swarchitect\/.  IBM Corporation. Rational Software Architect. http:\/\/www-306.ibm.com\/software\/awdtools\/architect\/swarchitect\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584375"},{"key":"e_1_3_2_1_19_1","first-page":"25","volume-title":"Dujmovic et al. {9}","author":"L\u00f3pez-Grao J. P.","unstructured":"J. P. L\u00f3pez-Grao , J. Merseguer , and J. Campos . From UML activity diagrams to Stochastic Petri nets: application to software performance engineering . In Dujmovic et al. {9} , pages 25 -- 36 . J. P. L\u00f3pez-Grao, J. Merseguer, and J. Campos. From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. In Dujmovic et al. {9}, pages 25--36."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/832316.837588"},{"key":"e_1_3_2_1_21_1","first-page":"43","volume-title":"Proceedings of the 2003 International Conference on Software Engineering Research and Practice SERP03","author":"Merseguer J.","year":"2003","unstructured":"J. Merseguer and J. Campos . Exploring Roles for the UML Diagrams in Software Performance Engineering . In Proceedings of the 2003 International Conference on Software Engineering Research and Practice SERP03 , pages 43 -- 47 , Las Vegas, Nevada, USA , June 2003 . CSREA Press. J. Merseguer and J. Campos. Exploring Roles for the UML Diagrams in Software Performance Engineering. In Proceedings of the 2003 International Conference on Software Engineering Research and Practice SERP03, pages 43--47, Las Vegas, Nevada, USA, June 2003. CSREA Press."},{"key":"e_1_3_2_1_22_1","unstructured":"Object Management Group. OMG MARTE Tools. http:\/\/www.omgmarte.org\/Tools.htm.  Object Management Group. OMG MARTE Tools. http:\/\/www.omgmarte.org\/Tools.htm."},{"key":"e_1_3_2_1_23_1","first-page":"07","volume-title":"OMG","author":"Object Management Group","year":"2005","unstructured":"Object Management Group . UML Profile for Schedulability, Performance, and Time Specification. Version 1.1 . OMG , 2005 . OMG document number formal\/05- 07 - 04 . Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. Version 1.1. OMG, 2005. OMG document number formal\/05-07-04."},{"key":"e_1_3_2_1_24_1","first-page":"07","volume-title":"OMG","author":"Object Management Group","year":"2007","unstructured":"Object Management Group . UML 2.2. 1 Superstructure Specification . OMG , 2007 . OMG document number formal\/05- 07 - 04 . Object Management Group. UML 2.2.1 Superstructure Specification. OMG, 2007. OMG document number formal\/05-07-04."},{"key":"e_1_3_2_1_25_1","first-page":"08","volume-title":"OMG","author":"Object Management Group","year":"2007","unstructured":"Object Management Group . UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE). Beta 1 . OMG , 2007 . OMG document number ptc\/07- 08 - 04 . Object Management Group. UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE). Beta 1. OMG, 2007. OMG document number ptc\/07-08-04."},{"key":"e_1_3_2_1_26_1","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 \/ TOOLS","author":"Petriu D. C.","year":"2002","unstructured":"D. C. Petriu and H. Shen . Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications . In T. Field, P. G. Harrison, J. T. Bradley, and U. Harder, editors, Computer Performance Evaluation \/ TOOLS , volume 2324 of Lecture Notes in Computer Science , pages 159 -- 177 . Springer , 2002 . D. C. Petriu and H. Shen. Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In T. Field, P. G. Harrison, J. T. Bradley, and U. Harder, editors, Computer Performance Evaluation \/ TOOLS, volume 2324 of Lecture Notes in Computer Science, pages 159--177. Springer, 2002."},{"volume-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh J.","key":"e_1_3_2_1_27_1","unstructured":"J. Rumbaugh , I. Jacobson , and G. Booch . The Unified Modeling Language Reference Manual . Addison-Wesley . J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley."},{"volume-title":"The Unified Modeling Language User Guide","author":"Rumbaugh J.","key":"e_1_3_2_1_28_1","unstructured":"J. Rumbaugh , I. Jacobson , and G. Booch . The Unified Modeling Language User Guide . Addison-Wesley . J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language User Guide. Addison-Wesley."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2007.49"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071021.1071022"}],"event":{"name":"WOSP '08: Workshop on Software and Performance","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Princeton NJ USA","acronym":"WOSP '08"},"container-title":["Proceedings of the 7th international workshop on Software and performance"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1383559.1383569","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1383559.1383569","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:58:00Z","timestamp":1750255080000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1383559.1383569"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,23]]},"references-count":30,"alternative-id":["10.1145\/1383559.1383569","10.1145\/1383559"],"URL":"https:\/\/doi.org\/10.1145\/1383559.1383569","relation":{},"subject":[],"published":{"date-parts":[[2008,6,23]]},"assertion":[{"value":"2008-06-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}