{"id":"https://openalex.org/W2084912848","doi":"https://doi.org/10.1109/wicsa.2009.5290804","title":"Self-Repairing systems modeling and verification using AGG","display_name":"Self-Repairing systems modeling and verification using AGG","publication_year":2009,"publication_date":"2009-09-01","ids":{"openalex":"https://openalex.org/W2084912848","doi":"https://doi.org/10.1109/wicsa.2009.5290804","mag":"2084912848"},"language":"en","primary_location":{"id":"doi:10.1109/wicsa.2009.5290804","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wicsa.2009.5290804","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033797206","display_name":"Antonio Bucchiarone","orcid":"https://orcid.org/0000-0003-1154-1382"},"institutions":[{"id":"https://openalex.org/I4210090861","display_name":"Ferioli & Gianotti (Italy)","ror":"https://ror.org/009v14c36","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210090861"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonio Bucchiarone","raw_affiliation_strings":["FBK-IRST, Trento, Italy","FBK-IRST, Trento, Italy, via Sommarive 18, 38050, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FBK-IRST, Trento, Italy","institution_ids":[]},{"raw_affiliation_string":"FBK-IRST, Trento, Italy, via Sommarive 18, 38050, Italy","institution_ids":["https://openalex.org/I4210090861"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013103539","display_name":"Patrizio Pelliccione","orcid":"https://orcid.org/0000-0002-5438-2281"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Patrizio Pelliccione","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e1 dell'Aquila, L'Aquila, Italy","Dipartimento di Informatica, Universit\u00e0 dell'Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e1 dell'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 dell'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081212912","display_name":"Charlie Vattani","orcid":null},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Charlie Vattani","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e1 dell'Aquila, L'Aquila, Italy","Dipartimento di Informatica, Universit\u00e0 dell'Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e1 dell'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 dell'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077151591","display_name":"Olga Runge","orcid":null},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Olga Runge","raw_affiliation_strings":["Department of Software Engineering and Theoretical Computer Science, Technical University Berlin, Germany","Department of Software Engineering and Theoretical Computer Science, Technical University of Berlin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Software Engineering and Theoretical Computer Science, Technical University Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]},{"raw_affiliation_string":"Department of Software Engineering and Theoretical Computer Science, Technical University of Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.3294,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.95546959,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"181","last_page":"190"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8481626510620117},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7078679800033569},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.48823311924934387},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4825931787490845},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.45008957386016846},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4373451769351959},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43274426460266113},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.43081021308898926},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3871976137161255},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37305954098701477},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.37134724855422974},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20209342241287231},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12251275777816772}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8481626510620117},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7078679800033569},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.48823311924934387},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4825931787490845},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.45008957386016846},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4373451769351959},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43274426460266113},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.43081021308898926},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3871976137161255},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37305954098701477},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.37134724855422974},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20209342241287231},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12251275777816772},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/wicsa.2009.5290804","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wicsa.2009.5290804","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.563.9700","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.563.9700","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.antoniobucchiarone.it/pubblicazioni/BPVR_WICSA09.pdf","raw_type":"text"},{"id":"pmh:oai:iris.unitn.it:11572/343383","is_oa":false,"landing_page_url":"http://hdl.handle.net/11572/343383","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6100000143051147,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W102155751","https://openalex.org/W119525108","https://openalex.org/W175636070","https://openalex.org/W1504007491","https://openalex.org/W1506252952","https://openalex.org/W1514187288","https://openalex.org/W1517101909","https://openalex.org/W1523742478","https://openalex.org/W1547327296","https://openalex.org/W1819146036","https://openalex.org/W1853781952","https://openalex.org/W1895387792","https://openalex.org/W1983499556","https://openalex.org/W2020706931","https://openalex.org/W2032602169","https://openalex.org/W2033406822","https://openalex.org/W2068536883","https://openalex.org/W2077318760","https://openalex.org/W2100653580","https://openalex.org/W2103356465","https://openalex.org/W2103950033","https://openalex.org/W2111587608","https://openalex.org/W2126708625","https://openalex.org/W2134196660","https://openalex.org/W2143801440","https://openalex.org/W2144148994","https://openalex.org/W2149679864","https://openalex.org/W2152625401","https://openalex.org/W2164693633","https://openalex.org/W2482678392","https://openalex.org/W3151271171","https://openalex.org/W4285719527","https://openalex.org/W6604196136","https://openalex.org/W6604886717","https://openalex.org/W6607098415","https://openalex.org/W6630789109","https://openalex.org/W6632824005","https://openalex.org/W6675563988","https://openalex.org/W6675622117"],"related_works":["https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672","https://openalex.org/W1590965489"],"abstract_inverted_index":{"Self-repairing":[0],"(or":[1],"healing)":[2],"systems":[3,5,47],"are":[4,56,77],"equipped":[6],"with":[7],"a":[8,24,95],"mechanism":[9],"that":[10],"monitors":[11],"the":[12,28,83],"system":[13,29,87,98],"behaviour":[14],"to":[15,44,94],"determine":[16],"whether":[17],"it":[18],"behaves":[19],"within":[20],"prefixed":[21],"parameters.":[22],"If":[23],"deviation":[25],"exists,":[26],"then":[27],"itself":[30],"is":[31,92],"in":[32],"charge":[33],"of":[34,50,69,73],"adapting":[35],"its":[36],"configuration.":[37],"In":[38],"this":[39,65],"paper":[40],"we":[41],"show":[42],"how":[43],"model":[45],"self-repairing":[46,74],"by":[48,81],"means":[49],"dynamic":[51],"software":[52],"architectures":[53],"(DSAs).":[54],"DSAs":[55,76],"formalized":[57],"as":[58],"typed":[59],"(hyper)":[60],"graph":[61,85],"grammars":[62],"(TGGs)":[63],"and":[64,71,79],"formalization":[66],"enables":[67],"verification":[68],"correctness":[70],"completeness":[72],"systems.":[75],"modeled":[78],"verified":[80],"using":[82],"attributed":[84],"grammar":[86],"(AGG).":[88],"The":[89],"overall":[90],"approach":[91],"applied":[93],"traffic":[96],"light":[97],"case":[99],"study.":[100]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}