{"id":"https://openalex.org/W2342420027","doi":"https://doi.org/10.1109/tkde.2016.2515604","title":"Declarative Framework for Specification, Simulation and Analysis of Distributed Applications","display_name":"Declarative Framework for Specification, Simulation and Analysis of Distributed Applications","publication_year":2016,"publication_date":"2016-01-07","ids":{"openalex":"https://openalex.org/W2342420027","doi":"https://doi.org/10.1109/tkde.2016.2515604","mag":"2342420027"},"language":"en","primary_location":{"id":"doi:10.1109/tkde.2016.2515604","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tkde.2016.2515604","pdf_url":null,"source":{"id":"https://openalex.org/S30698027","display_name":"IEEE Transactions on Knowledge and Data Engineering","issn_l":"1041-4347","issn":["1041-4347","1558-2191","2326-3865"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Knowledge and Data Engineering","raw_type":"journal-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/A5049631171","display_name":"Jiefei Ma","orcid":"https://orcid.org/0009-0003-0147-841X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jiefei Ma","raw_affiliation_strings":["Department of Computing, Imperial College London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057170324","display_name":"Franck Le","orcid":"https://orcid.org/0000-0002-0372-5045"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Franck Le","raw_affiliation_strings":["IBM, New York, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM, New York, NY","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046462940","display_name":"Alessandra Russo","orcid":"https://orcid.org/0000-0002-3318-8711"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alessandra Russo","raw_affiliation_strings":["Department of Computing, Imperial College London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5105652031","display_name":"Jorge Lobo","orcid":"https://orcid.org/0000-0002-9438-0926"},"institutions":[{"id":"https://openalex.org/I11932220","display_name":"Instituci\u00f3 Catalana de Recerca i Estudis Avan\u00e7ats","ror":"https://ror.org/0371hy230","country_code":"ES","type":"nonprofit","lineage":["https://openalex.org/I11932220"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jorge Lobo","raw_affiliation_strings":["ICREA - UPF, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ICREA - UPF, Spain","institution_ids":["https://openalex.org/I11932220"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5909,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.71592583,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"28","issue":"6","first_page":"1489","last_page":"1502"},"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.9994999766349792,"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.9994999766349792,"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.9987999796867371,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.83382248878479},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44245439767837524},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42970794439315796},{"id":"https://openalex.org/keywords/distributed-database","display_name":"Distributed database","score":0.4294975996017456}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.83382248878479},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44245439767837524},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42970794439315796},{"id":"https://openalex.org/C70061542","wikidata":"https://www.wikidata.org/wiki/Q989016","display_name":"Distributed database","level":2,"score":0.4294975996017456}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tkde.2016.2515604","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tkde.2016.2515604","pdf_url":null,"source":{"id":"https://openalex.org/S30698027","display_name":"IEEE Transactions on Knowledge and Data Engineering","issn_l":"1041-4347","issn":["1041-4347","1558-2191","2326-3865"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Knowledge and Data Engineering","raw_type":"journal-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/28341","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/28341","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"1502","raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6200000047683716,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320338295","display_name":"Army Research Laboratory","ror":"https://ror.org/011hc8f90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W53596869","https://openalex.org/W53997462","https://openalex.org/W119984049","https://openalex.org/W142537503","https://openalex.org/W179908819","https://openalex.org/W189341565","https://openalex.org/W207759855","https://openalex.org/W1482532598","https://openalex.org/W1493657719","https://openalex.org/W1501669955","https://openalex.org/W1561175900","https://openalex.org/W1585768736","https://openalex.org/W1588115473","https://openalex.org/W1749713674","https://openalex.org/W1970125210","https://openalex.org/W1973501242","https://openalex.org/W1976195354","https://openalex.org/W1980507101","https://openalex.org/W1992810975","https://openalex.org/W2033871392","https://openalex.org/W2044304197","https://openalex.org/W2073904762","https://openalex.org/W2091138122","https://openalex.org/W2097366413","https://openalex.org/W2099927462","https://openalex.org/W2100415265","https://openalex.org/W2108732836","https://openalex.org/W2123506780","https://openalex.org/W2134321625","https://openalex.org/W2136575791","https://openalex.org/W2137081436","https://openalex.org/W2138789809","https://openalex.org/W2142065670","https://openalex.org/W2145998704","https://openalex.org/W2147118406","https://openalex.org/W2339351027","https://openalex.org/W2340735175","https://openalex.org/W2367132056","https://openalex.org/W2611515161","https://openalex.org/W2913459036","https://openalex.org/W2974116768","https://openalex.org/W3106753174","https://openalex.org/W3137220996","https://openalex.org/W3161295396","https://openalex.org/W4235969909","https://openalex.org/W4252152930","https://openalex.org/W4252996637","https://openalex.org/W4296313421","https://openalex.org/W6605782455","https://openalex.org/W6608486618","https://openalex.org/W6628817293","https://openalex.org/W6629714349","https://openalex.org/W6633724213","https://openalex.org/W6680307047","https://openalex.org/W6707876410","https://openalex.org/W7018392130"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Researchers":[0],"have":[1],"recently":[2],"shown":[3],"that":[4,74],"declarative":[5,30],"database":[6],"query":[7],"languages,":[8],"such":[9],"as":[10],"Datalog,":[11],"could":[12],"naturally":[13],"be":[14,48,88,103,184],"used":[15,185],"to":[16,123,135,139,186],"specify":[17],"and":[18,22,37,105,120,127,197,205],"implement":[19],"network":[20,70,117,125,140,169,191],"protocols":[21],"services.":[23],"In":[24],"this":[25],"paper,":[26],"we":[27,179],"present":[28],"a":[29,51,63,69,116,194,198,207],"framework":[31],"for":[32,210],"the":[33,60,80,92,112,131,151,156,174],"specification,":[34],"execution,":[35],"simulation,":[36],"analysis":[38,144],"of":[39,62,71,82,96,146,158,161,163,168,176,190],"distributed":[40,164,208],"applications.":[41],"Distributed":[42,64],"applications,":[43],"including":[44,166],"routing":[45,170,192,203],"protocols,":[46,193],"can":[47,87,102,183],"specified":[49],"using":[50,91],"Declarative":[52],"Networking":[53],"language,":[54],"called":[55],"D2C,":[56],"whose":[57],"semantics":[58],"capture":[59],"notion":[61],"State":[65],"Machine":[66],"(DSM),":[67],"i.e.,":[68],"computational":[72,94],"nodes":[73],"communicate":[75],"with":[76],"each":[77],"other":[78],"through":[79],"exchange":[81],"data.":[83],"The":[84,99,108,142],"D2C":[85],"specification":[86,101],"directly":[89],"executed":[90],"DSM":[93,113],"infrastructure":[95],"our":[97,147,177],"framework.":[98],"same":[100],"simulated":[104],"formally":[106],"verified.":[107],"simulation":[109,118],"component":[110,145],"integrates":[111],"tool":[114],"within":[115],"environment":[119],"allows":[121],"developers":[122],"simulate":[124],"dynamics":[126],"collect":[128],"data":[129],"about":[130],"execution":[132],"in":[133,213],"order":[134],"evaluate":[136],"application":[137],"responses":[138],"changes.":[141],"formal":[143],"framework,":[148,178],"instead,":[149],"complements":[150],"empirical":[152],"testing":[153],"by":[154],"supporting":[155],"verification":[157],"different":[159],"classes":[160,189],"properties":[162],"algorithms,":[165],"convergence":[167],"protocols.":[171],"To":[172],"demonstrate":[173],"generality":[175],"show":[180],"how":[181],"it":[182],"analyze":[187],"two":[188],"path":[195],"vector":[196],"Mobile":[199],"Ad-Hoc":[200],"Network":[201],"(MANET)":[202],"protocol,":[204],"execute":[206],"algorithm":[209],"pattern":[211],"formation":[212],"multi-robot":[214],"systems.":[215]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}