{"id":"https://openalex.org/W7144209685","doi":"https://doi.org/10.1007/s10009-026-00860-2","title":"Composable models and guarantees for aggregate systems","display_name":"Composable models and guarantees for aggregate systems","publication_year":2026,"publication_date":"2026-03-31","ids":{"openalex":"https://openalex.org/W7144209685","doi":"https://doi.org/10.1007/s10009-026-00860-2"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-026-00860-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-026-00860-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-026-00860-2.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10009-026-00860-2.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5131174615","display_name":"Giorgio Audrito","orcid":null},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giorgio Audrito","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Torino, C.so Svizzera 185, Turin, 10149, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, C.so Svizzera 185, Turin, 10149, Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5131433068","display_name":"Ferruccio Damiani","orcid":null},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ferruccio Damiani","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Torino, C.so Svizzera 185, Turin, 10149, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, C.so Svizzera 185, Turin, 10149, Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067843040","display_name":"Gianluca Torta","orcid":"https://orcid.org/0000-0002-4276-7213"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Gianluca Torta","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Torino, C.so Svizzera 185, Turin, 10149, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, C.so Svizzera 185, Turin, 10149, Italy","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5067843040"],"corresponding_institution_ids":["https://openalex.org/I55143463"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":{"value":2990,"currency":"USD","value_usd":2990},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.29211455,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"28","issue":"2","first_page":"147","last_page":"165"},"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.5049999952316284,"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.5049999952316284,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.10509999841451645,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.08269999921321869,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/aggregate","display_name":"Aggregate (composite)","score":0.8399999737739563},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.620199978351593},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4948999881744385},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.48420000076293945},{"id":"https://openalex.org/keywords/aggregate-behavior","display_name":"Aggregate behavior","score":0.3702999949455261},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.3562999963760376}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8518999814987183},{"id":"https://openalex.org/C4679612","wikidata":"https://www.wikidata.org/wiki/Q866298","display_name":"Aggregate (composite)","level":2,"score":0.8399999737739563},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.620199978351593},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5127000212669373},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4948999881744385},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.48420000076293945},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41179999709129333},{"id":"https://openalex.org/C89967458","wikidata":"https://www.wikidata.org/wiki/Q4692248","display_name":"Aggregate behavior","level":4,"score":0.3702999949455261},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.3562999963760376},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.320499986410141},{"id":"https://openalex.org/C130120984","wikidata":"https://www.wikidata.org/wiki/Q2835898","display_name":"Distributed algorithm","level":2,"score":0.30079999566078186},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.28999999165534973},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.2815000116825104},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.2777999937534332}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10009-026-00860-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-026-00860-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-026-00860-2.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10009-026-00860-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-026-00860-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-026-00860-2.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8968660317","display_name":null,"funder_award_id":"ECS00000036","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320324041","display_name":"Universit\u00e0 degli Studi di Torino","ror":"https://ror.org/048tbm396"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7144209685.pdf","grobid_xml":"https://content.openalex.org/works/W7144209685.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W1580474548","https://openalex.org/W1801319046","https://openalex.org/W2006503929","https://openalex.org/W2018538061","https://openalex.org/W2024392593","https://openalex.org/W2033226581","https://openalex.org/W2033348393","https://openalex.org/W2048418090","https://openalex.org/W2057165212","https://openalex.org/W2075569105","https://openalex.org/W2079512738","https://openalex.org/W2107876485","https://openalex.org/W2143354768","https://openalex.org/W2147326408","https://openalex.org/W2158110105","https://openalex.org/W2170389705","https://openalex.org/W2254102208","https://openalex.org/W2476819370","https://openalex.org/W2493495164","https://openalex.org/W2526319019","https://openalex.org/W2527800953","https://openalex.org/W2541133209","https://openalex.org/W2755597067","https://openalex.org/W2804320149","https://openalex.org/W2810597774","https://openalex.org/W2910283257","https://openalex.org/W2945724464","https://openalex.org/W2962760239","https://openalex.org/W2972522875","https://openalex.org/W3091619527","https://openalex.org/W3137220996","https://openalex.org/W3166569824","https://openalex.org/W3213314615","https://openalex.org/W4285269451","https://openalex.org/W4286250610","https://openalex.org/W4295267936","https://openalex.org/W4309336351","https://openalex.org/W4313203579","https://openalex.org/W4317435266","https://openalex.org/W4386366707","https://openalex.org/W4389576385","https://openalex.org/W4391062347","https://openalex.org/W4402526577","https://openalex.org/W4402526783","https://openalex.org/W6891792453"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Developing":[1],"large-scale":[2,264],"collective":[3,265],"adaptive":[4,266],"systems":[5],"for":[6,54,81,184,257],"safety-critical":[7,263],"applications":[8],"requires":[9],"an":[10,199],"extensive":[11],"effort,":[12],"involving":[13],"the":[14,34,55,64,68,72,130,206,216,219,223,226,229,237,250,259],"interplay":[15],"of":[16,23,41,107,110,117,132,155,176,181,194,196,202,205,218,225,252,262],"distributed":[17,48,203],"programming":[18],"techniques":[19],"and":[20,50,150,188],"mathematical":[21,121],"proofs":[22],"real-time":[24,52,79,134,166,245],"guarantees.":[25],"This":[26],"effort":[27],"could":[28,58,90,162],"be":[29,59,138],"significantly":[30],"reduced":[31],"by":[32,174,189,221],"allowing":[33],"system":[35,69],"developer":[36],"to":[37,71],"rely":[38],"on":[39,78,125],"libraries":[40],"predefined":[42],"algorithms.":[43],"By":[44],"exploiting":[45],"such":[46,126,164],"algorithms,":[47,84],"behaviour":[49,135],"(hard)":[51],"guarantees":[53,80],"final":[56],"application":[57],"automatically":[60],"inferred,":[61],"effectively":[62],"shifting":[63],"verification":[65],"burden":[66],"from":[67],"designer":[70],"algorithm":[73],"developer.":[74],"Following":[75],"earlier":[76],"work":[77],"aggregate":[82,88,118,167,246],"computing":[83,89,168,247],"we":[85,102,128,213],"argue":[86],"that":[87,112,161],"provide":[91],"a":[92,99,104,141,145,153,165,179,233,241,244,254],"convenient":[93],"framework":[94,239],"towards":[95,243],"this":[96],"aim.":[97],"As":[98],"first":[100],"step,":[101],"give":[103],"detailed":[105],"description":[106],"different":[108],"kinds":[109],"models":[111,220],"can":[113,137],"interpret":[114],"corresponding":[115],"classes":[116],"programs":[119],"as":[120],"functions.":[122],"Then,":[123],"building":[124,157],"models,":[127],"investigate":[129],"problem":[131],"how":[133],"constraints":[136],"specified":[139],"in":[140,198],"compositional":[142],"way,":[143],"proposing":[144],"few":[146],"composable":[147],"specification":[148],"patterns,":[149],"singling":[151],"out":[152],"number":[154],"potential":[156,251],"block":[158],"library":[159,248],"algorithms":[160,183],"constitute":[163],"library.":[169],"We":[170],"evaluate":[171],"our":[172],"proposal":[173],"means":[175],"examples,":[177,212],"describing":[178],"series":[180],"example":[182],"each":[185],"proposed":[186,238],"model,":[187],"investigating":[190],"two":[191,211],"possible":[192],"compositions":[193],"some":[195],"them":[197],"archetypal":[200],"scenario":[201],"estimation":[204],"network":[207],"diameter.":[208],"In":[209],"these":[210],"experimentally":[214],"prove":[215],"effectiveness":[217],"comparing":[222],"results":[224],"interpretation":[227],"with":[228,249],"simulations":[230],"results,":[231],"achieving":[232],"close":[234],"match.":[235],"Overall,":[236],"provides":[240],"roadmap":[242],"providing":[253],"valuable":[255],"asset":[256],"supporting":[258],"rigorous":[260],"engineering":[261],"systems.":[267]},"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2026-04-01T00:00:00"}