{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:52:49Z","timestamp":1762458769368,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/wicsa.2009.5290804","type":"proceedings-article","created":{"date-parts":[[2009,10,29]],"date-time":"2009-10-29T15:02:30Z","timestamp":1256828550000},"page":"181-190","source":"Crossref","is-referenced-by-count":16,"title":["Self-Repairing systems modeling and verification using AGG"],"prefix":"10.1109","author":[{"given":"Antonio","family":"Bucchiarone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charlie","family":"Vattani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Runge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/1137677.1137679","article-title":"Architecture-based self-adaptation in the presence of multiple objectives","author":"cheng","year":"2006","journal-title":"SEAMS'06"},{"key":"17","article-title":"A language for implementing generic dynamic reconfigurations of distributed programs","author":"endler","year":"1994","journal-title":"BSCN'94"},{"key":"18","article-title":"Elements of the self-healing system problem space","author":"koopman","year":"2003","journal-title":"WADS"},{"key":"15","article-title":"Predictable dynamic plugin systems","author":"chatley","year":"2004","journal-title":"FASE"},{"key":"16","article-title":"Modes for software architectures","author":"hirsch","year":"2006","journal-title":"EWSA'06"},{"journal-title":"All About Maude-A High-Performance Logical Framework How to Specify Program and Verify Systems in Rewriting Logic","year":"2007","author":"clavel","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75132-8_2"},{"key":"11","first-page":"37","author":"bruni","year":"2008","journal-title":"Graph-based Design and Analysis of Dynamic Software Architectures"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2006","author":"jackson","key":"12"},{"journal-title":"Dynamic Software Architectures for Global Computing Systems","year":"2008","author":"bucchiarone","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-007-0012-6"},{"key":"22","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","article-title":"Graph grammars with negative application conditions","volume":"26","author":"habel","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"23","first-page":"1995","article-title":"Ensuring consistency of conditional graph rewriting-A constructive approach","volume":"2","author":"heckel","year":"0","journal-title":"Electr Notes Theor Comput Sci"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/581352.581355"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.026"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2001.1790"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.05.030"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2009.5069079"},{"key":"3","first-page":"111","article-title":"Issues in dynamic software architectures","author":"andersson","year":"2000","journal-title":"Software Architecture Workshop"},{"key":"2","article-title":"Specifying and analyzing dynamic software architectures","author":"allen","year":"1998","journal-title":"FASE'98"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.073"},{"key":"1","article-title":"Software engineering for self-adaptive systems: A research road map","author":"cheng","year":"2008","journal-title":"Software Engineering for Self-Adaptive Systems"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.175"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/582128.582134"},{"key":"5","first-page":"189","article-title":"Evaluation and comparison of adl based approaches for the description of dynamic of software architectures","author":"kacem","year":"2005","journal-title":"ICEIS'05"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2004.1310699"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDS.1998.675764"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1075405.1075411"}],"event":{"name":"3rd European Conference on Software Architecture (ECSA)","start":{"date-parts":[[2009,9,14]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2009,9,17]]}},"container-title":["2009 Joint Working IEEE\/IFIP Conference on Software Architecture & European Conference on Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5275158\/5290660\/05290804.pdf?arnumber=5290804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T09:15:37Z","timestamp":1590225337000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5290804\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/wicsa.2009.5290804","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}