{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T07:54:29Z","timestamp":1772783669760,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,10]],"date-time":"2008-05-10T00:00:00Z","timestamp":1210377600000},"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,5,10]]},"DOI":"10.1145\/1370731.1370749","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:35:39Z","timestamp":1210876539000},"page":"75-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Execution and simulation of (profiled) UML models using p\u00f3pulo"],"prefix":"10.1145","author":[{"given":"Lidia","family":"Fuentes","sequence":"first","affiliation":[{"name":"Universidad de M\u00e1laga, M\u00e1laga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Manrique","sequence":"additional","affiliation":[{"name":"Universidad de M\u00e1laga, M\u00e1laga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"Universidad de M\u00e1laga, M\u00e1laga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,5,10]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","first-page":"86","volume-title":"Emmanuel Gaudin","author":"Baker Paul","year":"2007","unstructured":"Paul Baker and Clive Jervis . Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile . In: Emmanuel Gaudin , Elie Najm, and Rick Reed, editors, Proc. of the 13th Int. SDL Forum, volume 4745 of LNCS , pages 86 -- 100 , Paris (France) , September 2007 . Paul Baker and Clive Jervis. Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. In: Emmanuel Gaudin, Elie Najm, and Rick Reed, editors, Proc. of the 13th Int. SDL Forum, volume 4745 of LNCS, pages 86--100, Paris (France), September 2007."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_36"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software Verification: Model-Checking Techniques and Tools","author":"Berard Beatrice","year":"2001","unstructured":"Beatrice Berard , Michael Bidoit , Alain Finkel , Fran\u00e7ois Laroussinie , Antoine Petit , Laure Petrucci , and Philippe Schnoebelen . Systems and Software Verification: Model-Checking Techniques and Tools . Springer , August 2001 . Beatrice Berard, Michael Bidoit, Alain Finkel, Fran\u00e7ois Laroussinie, Antoine Petit, Laure Petrucci, and Philippe Schnoebelen. Systems and Software Verification: Model-Checking Techniques and Tools. Springer, August 2001."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1088934"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297915"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.38"},{"issue":"7","key":"e_1_3_2_1_7_1","first-page":"109","article-title":"Designing and weaving aspect-oriented executable UML models. Journal of Object Technology (JOT)","volume":"6","author":"Fuentes Lidia","year":"2007","unstructured":"Lidia Fuentes and Pablo S\u00e1nchez . Designing and weaving aspect-oriented executable UML models. Journal of Object Technology (JOT) , Special Issue on Aspect-Oriented Modelling , 6 ( 7 ): 109 -- 136 , August 2007 . Lidia Fuentes and Pablo S\u00e1nchez. Designing and weaving aspect-oriented executable UML models. Journal of Object Technology (JOT), Special Issue on Aspect-Oriented Modelling, 6(7):109--136, August 2007.","journal-title":"Special Issue on Aspect-Oriented Modelling"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1768765.1768772"},{"key":"e_1_3_2_1_9_1","volume-title":"Ralph Johnson and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma Erich","year":"1994","unstructured":"Erich Gamma , Richard Helm , Ralph Johnson and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software . Addison-Wesley Professional , October 1994 . Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, October 1994."},{"key":"e_1_3_2_1_10_1","first-page":"05","volume":"2","author":"Object Management Group (OMG)","year":"2005","unstructured":"Object Management Group (OMG) . MOF 2.0\/XMI Mapping Specification , v 2 .1 (formal\/ 05 - 09 -01), September 2005 . Object Management Group (OMG). MOF 2.0\/XMI Mapping Specification, v2.1 (formal\/05-09-01), September 2005.","journal-title":"MOF 2.0\/XMI Mapping Specification"},{"key":"e_1_3_2_1_11_1","first-page":"05","article-title":"Unified Modelling Language","volume":"2","author":"Object Management Group (OMG)","unstructured":"Object Management Group (OMG) . Unified Modelling Language : Superstructure v 2 .0 (formal\/ 05 - 07 -04). Chapter 5: Actions, July 2005. Object Management Group (OMG). Unified Modelling Language: Superstructure v2.0 (formal\/05-07-04). Chapter 5: Actions, July 2005.","journal-title":"Superstructure"},{"key":"e_1_3_2_1_12_1","unstructured":"Dirk Riehle Steven Fraleigh Dirk Bucka-Lassen and  Dirk Riehle Steven Fraleigh Dirk Bucka-Lassen and"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504306"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. of 10th Int. Conference on Software Engineering Applicattions (SEA)","author":"Wada H.","year":"2006","unstructured":"H. Wada , E. M. M. Babu , A. Malinowski , J. Suzuki and K. Oba . Design and implementation of the matilda distributed uml virtual machine . In Proc. of 10th Int. Conference on Software Engineering Applicattions (SEA) , Dallas (Texas, USA ), November 2006 . H. Wada, E. M. M. Babu, A. Malinowski, J. Suzuki and K. Oba. Design and implementation of the matilda distributed uml virtual machine. In Proc. of 10th Int. Conference on Software Engineering Applicattions (SEA), Dallas (Texas, USA), November 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119655.1119680"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","location":"Leipzig Germany","acronym":"ICSE '08","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2008 international workshop on Models in software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370731.1370749","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1370731.1370749","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:19Z","timestamp":1750254979000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370731.1370749"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,10]]},"references-count":16,"alternative-id":["10.1145\/1370731.1370749","10.1145\/1370731"],"URL":"https:\/\/doi.org\/10.1145\/1370731.1370749","relation":{},"subject":[],"published":{"date-parts":[[2008,5,10]]},"assertion":[{"value":"2008-05-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}