{"id":"https://openalex.org/W4389474513","doi":"https://doi.org/10.1109/acsos58161.2023.00026","title":"Self-Organisation Programming: A Functional Reactive Macro Approach","display_name":"Self-Organisation Programming: A Functional Reactive Macro Approach","publication_year":2023,"publication_date":"2023-09-25","ids":{"openalex":"https://openalex.org/W4389474513","doi":"https://doi.org/10.1109/acsos58161.2023.00026"},"language":"en","primary_location":{"id":"doi:10.1109/acsos58161.2023.00026","doi":"https://doi.org/10.1109/acsos58161.2023.00026","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsos58161.2023.00026","pdf_url":null,"source":{"id":"https://openalex.org/S7407086377","display_name":"IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5076032146","display_name":"Roberto Casadei","orcid":"https://orcid.org/0000-0001-9149-949X","observed_orcids":["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\u2013Universit`a di Bologna,Department of Computer Science and Engineering,Cesena,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alma Mater Studiorum\u2013Universit`a di Bologna,Department of Computer Science and Engineering,Cesena,Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110979540","display_name":"Francesco Dente","orcid":null,"observed_orcids":[]},"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":"Francesco Dente","raw_affiliation_strings":["Alma Mater Studiorum\u2013Universit`a di Bologna,Department of Computer Science and Engineering,Cesena,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alma Mater Studiorum\u2013Universit`a di Bologna,Department of Computer Science and Engineering,Cesena,Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032829453","display_name":"Gianluca Aguzzi","orcid":"https://orcid.org/0000-0002-1553-4561","observed_orcids":["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":false,"raw_author_name":"Gianluca Aguzzi","raw_affiliation_strings":["Alma Mater Studiorum\u2013Universit`a di Bologna,Department of Computer Science and Engineering,Cesena,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alma Mater Studiorum\u2013Universit`a di Bologna,Department of Computer Science and Engineering,Cesena,Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059198182","display_name":"Danilo Pianini","orcid":"https://orcid.org/0000-0002-8392-5409","observed_orcids":["https://orcid.org/0000-0002-8392-5409"]},"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":"Danilo Pianini","raw_affiliation_strings":["Alma Mater Studiorum\u2013Universit`a di Bologna,Department of Computer Science and Engineering,Cesena,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alma Mater Studiorum\u2013Universit`a di Bologna,Department of Computer Science and Engineering,Cesena,Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014225579","display_name":"Mirko Viroli D","orcid":"https://orcid.org/0000-0003-2702-5702","observed_orcids":["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\u2013Universit`a di Bologna,Department of Computer Science and Engineering,Cesena,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alma Mater Studiorum\u2013Universit`a di Bologna,Department of Computer Science and Engineering,Cesena,Italy","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":null,"apc_paid":null,"fwci":1.5926,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.84815618,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"87","last_page":"96"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.3774000108242035,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.3774000108242035,"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.3488999903202057,"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/T10126","display_name":"Logic, programming, and type systems","score":0.15800000727176666,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/self-organizing-systems","display_name":"self-organizing systems","score":0.9520000219345093},{"id":"https://openalex.org/keywords/functional-reactive-programming","display_name":"functional reactive programming","score":0.9279999732971191},{"id":"https://openalex.org/keywords/scala","display_name":"Scala","score":0.8330000042915344},{"id":"https://openalex.org/keywords/swarm-robotics","display_name":"swarm robotics","score":0.7699999809265137},{"id":"https://openalex.org/keywords/distributed-infrastructure","display_name":"distributed infrastructure","score":0.6850000023841858},{"id":"https://openalex.org/keywords/wearable-devices","display_name":"wearable devices","score":0.7279999852180481},{"id":"https://openalex.org/keywords/reactive-programming","display_name":"reactive programming","score":0.4909999966621399}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8003379106521606},{"id":"https://openalex.org/C150762246","wikidata":"https://www.wikidata.org/wiki/Q4354073","display_name":"Reactive programming","level":4,"score":0.7868146896362305},{"id":"https://openalex.org/C119489759","wikidata":"https://www.wikidata.org/wiki/Q5508843","display_name":"Functional reactive programming","level":5,"score":0.7436069846153259},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.5516676306724548},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5232400298118591},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5107712745666504},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4693164825439453},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.452555775642395},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4227685332298279},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.41780704259872437},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3807322084903717},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.36745336651802063},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26206374168395996},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.18691647052764893},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.10565906763076782},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/acsos58161.2023.00026","doi":"https://doi.org/10.1109/acsos58161.2023.00026","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsos58161.2023.00026","pdf_url":null,"source":{"id":"https://openalex.org/S7407086377","display_name":"IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)","raw_type":"proceedings-article"},{"id":"pmh:oai:cris.unibo.it:11585/958269","doi":null,"is_oa":false,"landing_page_url":"https://hdl.handle.net/11585/958269","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W94673203","https://openalex.org/W1491227990","https://openalex.org/W1581621714","https://openalex.org/W1801319046","https://openalex.org/W1975210595","https://openalex.org/W1999151641","https://openalex.org/W2004791319","https://openalex.org/W2014421879","https://openalex.org/W2024376835","https://openalex.org/W2033226581","https://openalex.org/W2075569105","https://openalex.org/W2089589666","https://openalex.org/W2098914525","https://openalex.org/W2106656413","https://openalex.org/W2112198834","https://openalex.org/W2117176859","https://openalex.org/W2118331730","https://openalex.org/W2141967326","https://openalex.org/W2161820896","https://openalex.org/W2171863654","https://openalex.org/W2206980496","https://openalex.org/W2293614426","https://openalex.org/W2402997269","https://openalex.org/W2559809343","https://openalex.org/W2567377301","https://openalex.org/W2741086668","https://openalex.org/W2760942406","https://openalex.org/W2929237683","https://openalex.org/W2972522875","https://openalex.org/W2991046523","https://openalex.org/W3025538069","https://openalex.org/W3098900460","https://openalex.org/W3114708663","https://openalex.org/W4254970788","https://openalex.org/W4285182193","https://openalex.org/W4309336351","https://openalex.org/W4310810092","https://openalex.org/W4312246288","https://openalex.org/W4315647014","https://openalex.org/W4317435266","https://openalex.org/W4383872698","https://openalex.org/W6891792453"],"related_works":["https://openalex.org/W7065988068","https://openalex.org/W4391294507","https://openalex.org/W4389576385","https://openalex.org/W3216888793","https://openalex.org/W4312264882","https://openalex.org/W2131775728","https://openalex.org/W4400967343","https://openalex.org/W7000458409","https://openalex.org/W6996966048","https://openalex.org/W4401263750"],"abstract_inverted_index":{"Engineering":[0],"self-organising":[1],"systems":[2],"\u2013":[3,13],"e.g.,":[4],"robot":[5],"swarms,":[6],"collectives":[7],"of":[8,22,42,54,64,96,101,132,145,175,184],"wearables,":[9],"or":[10],"distributed":[11],"infrastructures":[12],"has":[14],"been":[15],"investigated":[16],"and":[17,45,49,81,98,173,192],"addressed":[18],"through":[19,140],"various":[20],"kinds":[21],"approaches:":[23],"devising":[24],"algorithms":[25],"by":[26],"taking":[27],"inspiration":[28,104],"from":[29,40,105,129],"nature,":[30],"relying":[31],"on":[32,59,151],"design":[33],"patterns,":[34],"using":[35],"learning":[36],"to":[37,89,123],"synthesise":[38],"behaviour":[39],"expectations":[41],"emergent":[43],"behaviour,":[44],"exposing":[46],"key":[47],"mechanisms":[48],"abstractions":[50],"at":[51],"the":[52,60,65,106,126,130,138,152,170,189],"level":[53],"a":[55,71,116,141,160],"programming":[56,119,147,164],"language.":[57],"Focussing":[58],"latter":[61],"approach,":[62],"most":[63],"state-of-the-art":[66],"languages":[67],"for":[68],"self-organisation":[69,118,163],"leverage":[70],"round-based":[72],"execution":[73,193],"model,":[74,165,191],"where":[75],"devices":[76],"repeatedly":[77],"evaluate":[78],"their":[79],"context":[80],"control":[82],"program":[83,127],"fully:":[84],"this":[85,112],"model":[86],"is":[87,159],"simple":[88],"reason":[90],"about":[91],"but":[92],"limited":[93],"in":[94,111,148,182,188],"terms":[95,183],"flexibility":[97,187],"fine-grained":[99],"management":[100],"sub-activities.":[102,134],"By":[103],"so-called":[107],"functional":[108,142,153,161],"reactive":[109,117,143,154,162],"paradigm,":[110],"paper":[113],"we":[114,136],"propose":[115],"approach":[120],"that":[121,168],"enables":[122],"fully":[124],"decouple":[125],"logic":[128],"scheduling":[131,185],"its":[133],"Specifically,":[135],"implement":[137],"idea":[139],"implementation":[144],"aggregate":[146,176],"Scala,":[149],"based":[150],"library":[155],"Sodium.":[156],"The":[157],"result":[158],"called":[166],"FRASP,":[167],"maintains":[169],"same":[171],"expressiveness":[172],"benefits":[174],"programming,":[177],"while":[178],"enabling":[179],"significant":[180],"improvements":[181],"controllability,":[186],"sensing/actuation":[190],"efficiency.":[194]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2023-12-09T00:00:00"}