{"id":"https://openalex.org/W3025034106","doi":"https://doi.org/10.1007/978-3-030-47361-7_6","title":"Towards Choreographic-Based Monitoring","display_name":"Towards Choreographic-Based Monitoring","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3025034106","doi":"https://doi.org/10.1007/978-3-030-47361-7_6","mag":"3025034106"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-47361-7_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-47361-7_6","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-47361-7_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-47361-7_6.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077349456","display_name":"Adrian Francalanza","orcid":"https://orcid.org/0000-0003-3829-7391"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":true,"raw_author_name":"Adrian Francalanza","raw_affiliation_strings":["University of Malta, Msida, Malta"],"affiliations":[{"raw_affiliation_string":"University of Malta, Msida, Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009589984","display_name":"Claudio Antares Mezzina","orcid":"https://orcid.org/0000-0003-1556-2623"},"institutions":[{"id":"https://openalex.org/I190397597","display_name":"University of Urbino","ror":"https://ror.org/04q4kt073","country_code":"IT","type":"education","lineage":["https://openalex.org/I190397597"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Claudio Antares Mezzina","raw_affiliation_strings":["Dipartimento di Scienze Pure e Applicate, Universit\u00e0 di Urbino, Urbino, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Scienze Pure e Applicate, Universit\u00e0 di Urbino, Urbino, Italy","institution_ids":["https://openalex.org/I190397597"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056498850","display_name":"Emilio Tuosto","orcid":"https://orcid.org/0000-0002-7032-3281"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I153648349","display_name":"University of Leicester","ror":"https://ror.org/04h699437","country_code":"GB","type":"education","lineage":["https://openalex.org/I153648349"]}],"countries":["GB","IT"],"is_corresponding":false,"raw_author_name":"Emilio Tuosto","raw_affiliation_strings":["Gran Sasso Science Institute, L\u2019Aquila, Italy","University of Leicester, Leicester, UK","Gran Sasso Science Institute, L'Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"University of Leicester, Leicester, UK","institution_ids":["https://openalex.org/I153648349"]},{"raw_affiliation_string":"Gran Sasso Science Institute, L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5077349456"],"corresponding_institution_ids":["https://openalex.org/I197854408"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":6.3035,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.96868863,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"128","last_page":"150"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.817136287689209},{"id":"https://openalex.org/keywords/erlang","display_name":"Erlang (programming language)","score":0.8087654113769531},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7255966067314148},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.6785759925842285},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.643652617931366},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6308366060256958},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.39491039514541626},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34413471817970276},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.1569060981273651},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09371936321258545}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.817136287689209},{"id":"https://openalex.org/C82484044","wikidata":"https://www.wikidata.org/wiki/Q334879","display_name":"Erlang (programming language)","level":3,"score":0.8087654113769531},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7255966067314148},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.6785759925842285},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.643652617931366},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6308366060256958},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39491039514541626},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34413471817970276},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.1569060981273651},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09371936321258545},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-030-47361-7_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-47361-7_6","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-47361-7_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:www.um.edu.mt:123456789/86061","is_oa":true,"landing_page_url":"https://www.um.edu.mt/library/oar/handle/123456789/86061","pdf_url":null,"source":{"id":"https://openalex.org/S4306400782","display_name":"OAR@UM (University of Malta)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I197854408","host_organization_name":"University of Malta","host_organization_lineage":["https://openalex.org/I197854408"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:ora.uniurb.it:11576/2677198","is_oa":false,"landing_page_url":"http://hdl.handle.net/11576/2677198","pdf_url":null,"source":{"id":"https://openalex.org/S4377196377","display_name":"CINECA IRIS Institutional Research information system (University of Urbino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I190397597","host_organization_name":"University of Urbino","host_organization_lineage":["https://openalex.org/I190397597"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:zenodo.org:78883","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/78883","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-47361-7_6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-47361-7_6","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-47361-7_6.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5299999713897705}],"awards":[{"id":"https://openalex.org/G1935349141","display_name":null,"funder_award_id":"ANR-18-CE25-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6876561401","display_name":null,"funder_award_id":"ANR-18","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6996919532","display_name":null,"funder_award_id":"778233","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G7331901853","display_name":null,"funder_award_id":"EU H2020","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3025034106.pdf","grobid_xml":"https://content.openalex.org/works/W3025034106.grobid-xml"},"referenced_works_count":74,"referenced_works":["https://openalex.org/W18866292","https://openalex.org/W40444246","https://openalex.org/W94015702","https://openalex.org/W298341726","https://openalex.org/W829582804","https://openalex.org/W1464356876","https://openalex.org/W1523800107","https://openalex.org/W1537589501","https://openalex.org/W1555145003","https://openalex.org/W1559644343","https://openalex.org/W1628268027","https://openalex.org/W1873022895","https://openalex.org/W1916886752","https://openalex.org/W1975408841","https://openalex.org/W2000224207","https://openalex.org/W2018240472","https://openalex.org/W2025970201","https://openalex.org/W2032399648","https://openalex.org/W2036910349","https://openalex.org/W2065148190","https://openalex.org/W2071868512","https://openalex.org/W2072794470","https://openalex.org/W2076742248","https://openalex.org/W2078356878","https://openalex.org/W2083030183","https://openalex.org/W2105526656","https://openalex.org/W2107918129","https://openalex.org/W2113058702","https://openalex.org/W2121213780","https://openalex.org/W2128765501","https://openalex.org/W2131062488","https://openalex.org/W2132634139","https://openalex.org/W2137987812","https://openalex.org/W2144984544","https://openalex.org/W2159647208","https://openalex.org/W2179766293","https://openalex.org/W2218338125","https://openalex.org/W2240465192","https://openalex.org/W2294827626","https://openalex.org/W2343358887","https://openalex.org/W2400950758","https://openalex.org/W2464216566","https://openalex.org/W2479199528","https://openalex.org/W2511806354","https://openalex.org/W2515679871","https://openalex.org/W2522514395","https://openalex.org/W2584381671","https://openalex.org/W2599123558","https://openalex.org/W2600173982","https://openalex.org/W2619104517","https://openalex.org/W2749668921","https://openalex.org/W2749894010","https://openalex.org/W2759563336","https://openalex.org/W2762084942","https://openalex.org/W2769690942","https://openalex.org/W2785852717","https://openalex.org/W2786919210","https://openalex.org/W2799377964","https://openalex.org/W2806821027","https://openalex.org/W2809465996","https://openalex.org/W2811479188","https://openalex.org/W2899996175","https://openalex.org/W2942025303","https://openalex.org/W2956101827","https://openalex.org/W2987687226","https://openalex.org/W2995265604","https://openalex.org/W3009331296","https://openalex.org/W3038067977","https://openalex.org/W3098014255","https://openalex.org/W3105659654","https://openalex.org/W3124557892","https://openalex.org/W3140816360","https://openalex.org/W3145009644","https://openalex.org/W3145998520"],"related_works":["https://openalex.org/W1518714595","https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W2480201319","https://openalex.org/W2061417947","https://openalex.org/W2132325017"],"abstract_inverted_index":{"Abstract":[0],"Distributed":[1],"programs":[2,82,146],"are":[3,10,34,44,154],"hard":[4,106],"to":[5,12,24,46,64,79,95,107,135,225,241,251],"get":[6],"right":[7],"because":[8],"they":[9],"required":[11],"be":[13,47,133],"open,":[14],"scalable,":[15],"long-running,":[16],"and":[17,50,72,75,85,110,124,141,160,190,193,200,234],"dependable.":[18],"In":[19],"particular,":[20],"the":[21,41,70,100,174,182,185,194,210,227,232,235,257],"recent":[22],"approaches":[23],"distributed":[25,81],"software":[26],"based":[27],"on":[28],"(micro-)":[29],"services,":[30],"where":[31,55],"different":[32],"services":[33],"developed":[35],"independently":[36],"by":[37,221],"disparate":[38],"teams,":[39],"exacerbate":[40],"problem.":[42],"Services":[43],"meant":[45],"composed":[48],"together":[49],"run":[51],"in":[52,158,161,203],"open":[53],"contexts":[54],"unpredictable":[56],"behaviours":[57],"can":[58],"emerge.":[59],"This":[60,103],"makes":[61,104],"it":[62,105,220,248],"necessary":[63],"adopt":[65],"suitable":[66],"strategies":[67],"for":[68,120],"monitoring":[69],"execution":[71],"incorporate":[73],"recovery":[74,123,191],"adaptation":[76,125,189,201,239],"mechanisms":[77,98],"so":[78],"make":[80],"more":[83],"flexible":[84],"robust.":[86],"The":[87],"typical":[88],"approach":[89,115],"that":[90,116,153],"is":[91,94,249],"currently":[92],"adopted":[93],"embed":[96],"such":[97],"within":[99],"program":[101],"logic.":[102],"extract,":[108],"compare":[109],"debug.":[111],"We":[112,143,163],"propose":[113,165],"an":[114,217],"employs":[117],"formal":[118,177],"abstractions":[119,131],"specifying":[121],"failure":[122],"strategies.":[126],"Although":[127],"implementation":[128],"agnostic,":[129],"these":[130],"would":[132],"amenable":[134],"algorithmic":[136],"synthesis":[137],"of":[138,176,184,188,197,206,212,219,231],"code,":[139],"monitoring,":[140,198],"tests.":[142],"consider":[144],"message-passing":[145],"(a":[147],"la":[148],"Erlang,":[149],"Go,":[150],"or":[151],"MPI)":[152],"gaining":[155],"momentum":[156],"both":[157],"academia":[159],"industry.":[162],"first":[164],"a":[166],"model":[167],"which":[168,238],"abstracts":[169],"away":[170],"from":[171,256],"three":[172],"aspects:":[173],"definition":[175],"behavioural":[178],"models":[179],"encompassing":[180],"failures;":[181],"specification":[183],"relevant":[186],"properties":[187],"strategy;":[192],"automatic":[195],"generation":[196],"recovery,":[199],"logic":[202],"target":[204],"languages":[205],"interest.":[207],"To":[208],"show":[209,246],"efficacy":[211],"our":[213],"model,":[214],"we":[215,245],"give":[216],"instance":[218],"introducing":[222],"reversible":[223],"choreographies":[224],"express":[226],"normal":[228],"forward":[229],"behaviour":[230],"system":[233],"condition":[236],"under":[237],"has":[240],"take":[242],"place.":[243],"Then":[244],"how":[247],"possible":[250],"derive":[252],"Erlang":[253],"code":[254],"directly":[255],"global":[258],"specification.":[259]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2020-05-21T00:00:00"}