{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:13Z","timestamp":1750221133378,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,14]],"date-time":"2018-10-14T00:00:00Z","timestamp":1539475200000},"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":[[2018,10,14]]},"DOI":"10.1145\/3270112.3275337","type":"proceedings-article","created":{"date-parts":[[2018,10,5]],"date-time":"2018-10-05T12:09:14Z","timestamp":1538741354000},"page":"186-191","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Model-driven round-trip software dependability engineering"],"prefix":"10.1145","author":[{"given":"Michele","family":"Tucci","sequence":"first","affiliation":[{"name":"University of L'Aquila, Italy"}]}],"member":"320","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2008. A UML profile for MARTE: modeling and analysis of real-time embedded systems. Object Management Group. http:\/\/www.omg.org\/omgmarte\/  2008. A UML profile for MARTE: modeling and analysis of real-time embedded systems. Object Management Group. http:\/\/www.omg.org\/omgmarte\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2015. Unified Modeling Language. Object Management Group. http:\/\/www.omg.org\/spec\/UML\/2.5\/ Version 2.5.  2015. Unified Modeling Language. Object Management Group. http:\/\/www.omg.org\/spec\/UML\/2.5\/ Version 2.5."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1923947.1923975"},{"volume-title":"Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, CASCON 2017","year":"2017","author":"Altamimi Taghreed","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.108.3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_2_1_7_1","unstructured":"Francesco Basciani Juri Di Rocco Davide Di Ruscio Amleto Di Salle Ludovico Iovino and Alfonso Pierantonio. 2014. MDEForge: an Extensible Web-Based Modeling Platform. In Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems CloudMDE@MoDELS 2014 Valencia Spain September 30 2014. 66--75. http:\/\/ceur-ws.org\/Vol-1242\/paper10.pdf  Francesco Basciani Juri Di Rocco Davide Di Ruscio Amleto Di Salle Ludovico Iovino and Alfonso Pierantonio. 2014. MDEForge: an Extensible Web-Based Modeling Platform. In Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems CloudMDE@MoDELS 2014 Valencia Spain September 30 2014. 66--75. http:\/\/ceur-ws.org\/Vol-1242\/paper10.pdf"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584376"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2006.63"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0128-1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Simona Bernardi Jos\u00e9 Merseguer and Dorina C. Petriu. 2013. Model-Driven Dependability Assessment of Software Systems. Springer.   Simona Bernardi Jos\u00e9 Merseguer and Dorina C. Petriu. 2013. Model-Driven Dependability Assessment of Software Systems. Springer.","DOI":"10.1007\/978-3-642-39512-3"},{"key":"e_1_3_2_1_12_1","first-page":"265","article-title":"Dependability analysis in the early phases of UML-based system design","volume":"16","author":"Bondavalli Andrea","year":"2001","journal-title":"Comput. Syst. Sci. Eng."},{"key":"e_1_3_2_1_13_1","unstructured":"F. Budinsky D. Steinberg E. Merks R. Ellersick and T.J. Grose. 2003. Eclipse Modeling Framework. Addison Wesley.   F. Budinsky D. Steinberg E. Merks R. Ellersick and T.J. Grose. 2003. Eclipse Modeling Framework. Addison Wesley."},{"volume-title":"JTL: A Bidirectional and Change Propagating Transformation Language. In Software Language Engineering - Third International Conference, SLE 2010","year":"2010","author":"Cicchetti Antonio","key":"e_1_3_2_1_14_1"},{"volume-title":"Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models. In IEEE International Conference on Software Architecture, ICSA 2018","year":"2018","author":"Cortellessa Vittorio","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2007.30"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Vittorio Cortellessa Antinisca Di Marco and Paola Inverardi. 2011. Model-Based Software Performance Analysis. Springer.   Vittorio Cortellessa Antinisca Di Marco and Paola Inverardi. 2011. Model-Based Software Performance Analysis. Springer.","DOI":"10.1007\/978-3-642-13621-4"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0246-z"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2304696.2304707"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814259"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3191697.3191720"},{"volume-title":"Proceedings of MODELS 2018 Satellite Event: MDETools Workshop co-located with ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS 2018","year":"2018","author":"Eramo Romina","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","unstructured":"M. Gelfond and V. Lifschitz. 1988. The Stable Model Semantics for Logic Programming. In Procs of ICLP. The MIT Press Cambridge Massachusetts 1070--1080.  M. Gelfond and V. Lifschitz. 1988. The Stable Model Semantics for Logic Programming. In Procs of ICLP. The MIT Press Cambridge Massachusetts 1070--1080."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2009.07.006"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_3"},{"key":"e_1_3_2_1_26_1","first-page":"260","article-title":"Quantitative Analysis of UML Statechart Models of Dependable","volume":"45","author":"Huszerl G\u00e1bor","year":"2002","journal-title":"Systems. Comput. J."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0084-1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/QoSA.2016.16"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_3"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976788"},{"volume-title":"7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007","year":"2007","author":"Smith Connie U.","key":"e_1_3_2_1_33_1"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-016-9315-9"}],"event":{"name":"MODELS '18: ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Copenhagen Denmark","acronym":"MODELS '18"},"container-title":["Proceedings of the 21st ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3270112.3275337","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3270112.3275337","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:26Z","timestamp":1750208546000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3270112.3275337"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,14]]},"references-count":34,"alternative-id":["10.1145\/3270112.3275337","10.1145\/3270112"],"URL":"https:\/\/doi.org\/10.1145\/3270112.3275337","relation":{},"subject":[],"published":{"date-parts":[[2018,10,14]]},"assertion":[{"value":"2018-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}