{"id":"https://openalex.org/W4412952836","doi":"https://doi.org/10.46298/lmcs-21(3:13)2025","title":"MacroSwarm: A Field-based Compositional Framework for Swarm Programming","display_name":"MacroSwarm: A Field-based Compositional Framework for Swarm Programming","publication_year":2025,"publication_date":"2025-08-05","ids":{"openalex":"https://openalex.org/W4412952836","doi":"https://doi.org/10.46298/lmcs-21(3:13)2025"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-21(3:13)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(3:13)2025","pdf_url":"https://lmcs.episciences.org/16293/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/16293/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032829453","display_name":"Gianluca Aguzzi","orcid":"https://orcid.org/0000-0002-1553-4561"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Gianluca Aguzzi","raw_affiliation_strings":["Alma Mater Studiorum - Universit di Bologna , Cesena , Italy"],"affiliations":[{"raw_affiliation_string":"Alma Mater Studiorum - Universit di Bologna , Cesena , Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076032146","display_name":"Roberto Casadei","orcid":"https://orcid.org/0000-0001-9149-949X"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Roberto Casadei","raw_affiliation_strings":["Alma Mater Studiorum - Universit di Bologna , Cesena , Italy"],"affiliations":[{"raw_affiliation_string":"Alma Mater Studiorum - Universit di Bologna , Cesena , Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014225579","display_name":"Mirko Viroli","orcid":"https://orcid.org/0000-0003-2702-5702"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mirko Viroli","raw_affiliation_strings":["Alma Mater Studiorum - Universit di Bologna , Cesena , Italy"],"affiliations":[{"raw_affiliation_string":"Alma Mater Studiorum - Universit di Bologna , Cesena , Italy","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5032829453"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":null,"apc_paid":null,"fwci":1.4602,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.82381172,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"Volume 21, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.9890999794006348,"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/T11486","display_name":"Micro and Nano Robotics","score":0.970300018787384,"subfield":{"id":"https://openalex.org/subfields/3104","display_name":"Condensed Matter Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"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.7237804532051086},{"id":"https://openalex.org/keywords/swarm-behaviour","display_name":"Swarm behaviour","score":0.5846153497695923},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5519574880599976},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4278789758682251},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37530750036239624},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20601379871368408},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1765216886997223}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7237804532051086},{"id":"https://openalex.org/C181335050","wikidata":"https://www.wikidata.org/wiki/Q14915018","display_name":"Swarm behaviour","level":2,"score":0.5846153497695923},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5519574880599976},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4278789758682251},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37530750036239624},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20601379871368408},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1765216886997223},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.46298/lmcs-21(3:13)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(3:13)2025","pdf_url":"https://lmcs.episciences.org/16293/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:cris.unibo.it:11585/1026173","is_oa":true,"landing_page_url":"https://lmcs.episciences.org/16293","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:009b9cf01e5a464488f92facb44f693e","is_oa":true,"landing_page_url":"https://doaj.org/article/009b9cf01e5a464488f92facb44f693e","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 21, Issue 3 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-21(3:13)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(3:13)2025","pdf_url":"https://lmcs.episciences.org/16293/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412952836.pdf","grobid_xml":"https://content.openalex.org/works/W4412952836.grobid-xml"},"referenced_works_count":76,"referenced_works":["https://openalex.org/W218393386","https://openalex.org/W1556694669","https://openalex.org/W1674276221","https://openalex.org/W1975210595","https://openalex.org/W1991052229","https://openalex.org/W2012532071","https://openalex.org/W2015410655","https://openalex.org/W2097991842","https://openalex.org/W2099618002","https://openalex.org/W2103714988","https://openalex.org/W2106656413","https://openalex.org/W2113286054","https://openalex.org/W2118331730","https://openalex.org/W2119026135","https://openalex.org/W2121056132","https://openalex.org/W2126819522","https://openalex.org/W2137602921","https://openalex.org/W2141967326","https://openalex.org/W2142588308","https://openalex.org/W2150312211","https://openalex.org/W2151422388","https://openalex.org/W2161820896","https://openalex.org/W2167340365","https://openalex.org/W2170389705","https://openalex.org/W2493885848","https://openalex.org/W2501705803","https://openalex.org/W2507932610","https://openalex.org/W2527800953","https://openalex.org/W2541133209","https://openalex.org/W2552404876","https://openalex.org/W2552757911","https://openalex.org/W2567377301","https://openalex.org/W2567990716","https://openalex.org/W2770644041","https://openalex.org/W2804320149","https://openalex.org/W2811092688","https://openalex.org/W2811472820","https://openalex.org/W2898635348","https://openalex.org/W2962760239","https://openalex.org/W2964110493","https://openalex.org/W2972522875","https://openalex.org/W2978626209","https://openalex.org/W3009014935","https://openalex.org/W3014630000","https://openalex.org/W3025538069","https://openalex.org/W3043898699","https://openalex.org/W3044818641","https://openalex.org/W3096227074","https://openalex.org/W3098900460","https://openalex.org/W3103135538","https://openalex.org/W3111019671","https://openalex.org/W3122853820","https://openalex.org/W3132264368","https://openalex.org/W3134655109","https://openalex.org/W3166569824","https://openalex.org/W3185416958","https://openalex.org/W3205026608","https://openalex.org/W3213314615","https://openalex.org/W3216124487","https://openalex.org/W3216339639","https://openalex.org/W4231715790","https://openalex.org/W4245738054","https://openalex.org/W4285182193","https://openalex.org/W4287552476","https://openalex.org/W4309336351","https://openalex.org/W4312532904","https://openalex.org/W4312832772","https://openalex.org/W4315647014","https://openalex.org/W4380634804","https://openalex.org/W4384163161","https://openalex.org/W4386948077","https://openalex.org/W4399479220","https://openalex.org/W4403792031","https://openalex.org/W4403792043","https://openalex.org/W6891792453","https://openalex.org/W6892537217"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4288714711","https://openalex.org/W3200708550","https://openalex.org/W2736680465","https://openalex.org/W2771637876","https://openalex.org/W4294093918","https://openalex.org/W4240853094","https://openalex.org/W2810496283"],"abstract_inverted_index":{"Swarm":[0],"behaviour":[1,74,99,131],"engineering":[2,46],"is":[3,54],"an":[4],"area":[5],"of":[6,22,47,102,119,127,157,169,174,183,188,205],"research":[7],"that":[8,66],"seeks":[9],"to":[10,25,70,81,94,150],"investigate":[11],"methods":[12,63],"and":[13,18,36,45,61,64,96,104,112,155,178,201],"techniques":[14],"for":[15,58,162],"coordinating":[16],"computation":[17,111],"action":[19],"within":[20],"groups":[21],"simple":[23],"agents":[24],"achieve":[26],"complex":[27,72],"global":[28],"goals":[29],"like":[30],"pattern":[31,176],"formation,":[32,177],"collective":[33,110,179],"movement,":[34],"clustering,":[35],"distributed":[37],"sensing.":[38],"Despite":[39],"recent":[40],"progress":[41],"in":[42,75,100,191],"the":[43,116,125,152,184,203,206],"analysis":[44],"swarms":[48],"(of":[49],"drones,":[50],"robots,":[51],"vehicles),":[52],"there":[53],"still":[55],"a":[56,76,87,134,160,167],"need":[57],"general":[59],"design":[60,95,204],"implementation":[62],"tools":[65],"can":[67],"be":[68],"used":[69],"define":[71],"swarm":[73,98,130,163],"principled":[77],"way.":[78],"To":[79],"contribute":[80],"this":[82,84],"quest,":[83],"article":[85],"proposes":[86],"new":[88],"field-based":[89,189],"coordination":[90],"approach,":[91],"called":[92],"MacroSwarm,":[93],"program":[97],"terms":[101],"reusable":[103],"fully":[105],"composable":[106],"functional":[107],"blocks":[108],"embedding":[109],"coordination.":[113],"Based":[114],"on":[115,124],"macroprogramming":[117],"paradigm":[118],"aggregate":[120],"computing,":[121],"MacroSwarm":[122,158,192],"builds":[123],"idea":[126],"expressing":[128],"each":[129],"block":[132],"as":[133,159],"pure":[135],"function,":[136],"mapping":[137],"sensing":[138],"fields":[139],"into":[140],"actuation":[141],"goal":[142],"fields,":[143],"e.g.,":[144],"including":[145],"movement":[146],"vectors.":[147],"In":[148],"order":[149],"demonstrate":[151],"expressiveness,":[153],"compositionality,":[154],"practicality":[156],"framework":[161],"programming,":[164],"we":[165],"perform":[166],"variety":[168],"simulations":[170],"covering":[171],"common":[172],"patterns":[173],"flocking,":[175],"decision-making.":[180],"The":[181],"implications":[182],"inherent":[185],"self-stabilisation":[186],"properties":[187,200],"computations":[190],"are":[193],"discussed,":[194],"which":[195],"formally":[196],"guarantee":[197],"some":[198],"resilience":[199],"guided":[202],"library.":[207]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-02-27T16:54:17.756197","created_date":"2025-10-10T00:00:00"}