{"id":"https://openalex.org/W2053442857","doi":"https://doi.org/10.1145/1596600.1596604","title":"Automatic assessment of failure recovery in Erlang applications","display_name":"Automatic assessment of failure recovery in Erlang applications","publication_year":2009,"publication_date":"2009-09-05","ids":{"openalex":"https://openalex.org/W2053442857","doi":"https://doi.org/10.1145/1596600.1596604","mag":"2053442857"},"language":"en","primary_location":{"id":"doi:10.1145/1596600.1596604","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1596600.1596604","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th ACM SIGPLAN workshop on ERLANG","raw_type":"proceedings-article"},"type":"conference-paper","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/A5007534495","display_name":"Jan Nystr\u00f6m","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jan Henry Nystr\u00f6m","raw_affiliation_strings":["Erlang Training and Consulting, Uppsala, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Erlang Training and Consulting, Uppsala, Sweden","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5007534495"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"2102","issue":null,"first_page":"23","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"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.9994999766349792,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9983000159263611,"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/erlang","display_name":"Erlang (programming language)","score":0.9665396213531494},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.819827675819397},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.5358755588531494},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5218304991722107},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4839775562286377},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4564081132411957},{"id":"https://openalex.org/keywords/process-migration","display_name":"Process migration","score":0.4536234736442566},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.44093775749206543},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4216322898864746},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.3784981369972229},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3512769937515259},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10646885633468628}],"concepts":[{"id":"https://openalex.org/C82484044","wikidata":"https://www.wikidata.org/wiki/Q334879","display_name":"Erlang (programming language)","level":3,"score":0.9665396213531494},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.819827675819397},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.5358755588531494},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5218304991722107},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4839775562286377},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4564081132411957},{"id":"https://openalex.org/C36351404","wikidata":"https://www.wikidata.org/wiki/Q7247295","display_name":"Process migration","level":3,"score":0.4536234736442566},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.44093775749206543},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4216322898864746},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.3784981369972229},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3512769937515259},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10646885633468628}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1596600.1596604","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1596600.1596604","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th ACM SIGPLAN workshop on ERLANG","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W9164568","https://openalex.org/W89731140","https://openalex.org/W1482490768","https://openalex.org/W1495509009","https://openalex.org/W1506588809","https://openalex.org/W1532125752","https://openalex.org/W1541969962","https://openalex.org/W1553037777","https://openalex.org/W1553894716","https://openalex.org/W1576770735","https://openalex.org/W1588297513","https://openalex.org/W1593284044","https://openalex.org/W1644882639","https://openalex.org/W1895615865","https://openalex.org/W1933182892","https://openalex.org/W1978899117","https://openalex.org/W1980487816","https://openalex.org/W1985787415","https://openalex.org/W1993760408","https://openalex.org/W2000005946","https://openalex.org/W2000826973","https://openalex.org/W2002866920","https://openalex.org/W2004320552","https://openalex.org/W2008732772","https://openalex.org/W2014199531","https://openalex.org/W2015640848","https://openalex.org/W2021412145","https://openalex.org/W2026965951","https://openalex.org/W2035652450","https://openalex.org/W2057663649","https://openalex.org/W2061945006","https://openalex.org/W2086357502","https://openalex.org/W2089461927","https://openalex.org/W2102676919","https://openalex.org/W2115309705","https://openalex.org/W2124478662","https://openalex.org/W2145096688","https://openalex.org/W2149738303","https://openalex.org/W2164594049","https://openalex.org/W2618896829","https://openalex.org/W2899705369","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2132325017","https://openalex.org/W94881827","https://openalex.org/W2898904841","https://openalex.org/W2784570804","https://openalex.org/W2134601040","https://openalex.org/W2886126340","https://openalex.org/W2108271626","https://openalex.org/W162469927","https://openalex.org/W2053442857","https://openalex.org/W2515857901"],"abstract_inverted_index":{"Erlang":[0,19,37,80],"is":[1,20,82],"a":[2,69,85,132,144],"concurrent":[3,11],"functional":[4],"language,":[5],"especially":[6],"tailored":[7],"for":[8,23,54],"distributed,":[9],"highly":[10],"and":[12,51,134,142],"fault-tolerant":[13],"software.":[14],"An":[15],"important":[16],"part":[17],"of":[18,35,48,61,78,104,108,113,146],"its":[21],"support":[22,58],"failure":[24,29],"recovery.":[25],"A":[26],"designer":[27],"implements":[28],"recovery":[30,89],"by":[31,101],"organising":[32],"the":[33,59,75,98,105,109,114,129,147],"processes":[34,45],"an":[36,79],"application":[38,81],"into":[39],"tree":[40],"structures,":[41],"in":[42,84,131],"which":[43],"parent":[44],"monitor":[46],"failures":[47],"their":[49,55],"children":[50],"are":[52],"responsible":[53],"restart.":[56],"Libraries":[57],"creation":[60],"such":[62],"structures":[63],"during":[64],"system":[65],"initialisation.":[66],"We":[67,126],"present":[68],"technique":[70,130],"to":[71,137,143],"automatically":[72],"analyse":[73],"that":[74,87,118],"process":[76,91,99,115,124],"structure":[77,100,116],"constructed":[83],"way":[86],"guarantees":[88],"from":[90,122],"failures.":[92],"First,":[93],"we":[94],"extract":[95],"(part":[96],"of)":[97],"static":[102],"analysis":[103,112],"initialisation":[106],"code":[107],"application.":[110],"Thereafter,":[111],"checks":[117],"it":[119,136],"will":[120],"recover":[121],"any":[123],"failure.":[125],"have":[127],"implemented":[128],"tool,":[133],"applied":[135],"several":[138],"OTP":[139],"library":[140],"applications":[141],"subsystem":[145],"AXD":[148],"301":[149],"ATM":[150],"switch.":[151]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}