{"id":"https://openalex.org/W4409980292","doi":"https://doi.org/10.1007/978-3-031-90900-9_8","title":"Formal Architectural Patterns for Adaptive Robotic Software","display_name":"Formal Architectural Patterns for Adaptive Robotic Software","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4409980292","doi":"https://doi.org/10.1007/978-3-031-90900-9_8"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-90900-9_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-90900-9_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-90900-9_8.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/978-3-031-90900-9_8.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055266310","display_name":"James Baxter","orcid":"https://orcid.org/0000-0001-6083-9607"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"James Baxter","raw_affiliation_strings":["University of York, York, UK"],"affiliations":[{"raw_affiliation_string":"University of York, York, UK","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012115372","display_name":"Bert Van Acker","orcid":"https://orcid.org/0000-0002-3854-5159"},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Bert van Acker","raw_affiliation_strings":["University of Antwerp, Antwerp, Belgium"],"affiliations":[{"raw_affiliation_string":"University of Antwerp, Antwerp, Belgium","institution_ids":["https://openalex.org/I149213910"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102189360","display_name":"Morten Kristensen","orcid":null},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Morten Kristensen","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101645551","display_name":"Thomas Wright","orcid":"https://orcid.org/0000-0001-8035-0884"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Thomas Wright","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073408099","display_name":"Ana Cavalcanti","orcid":"https://orcid.org/0000-0002-0831-1976"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ana Cavalcanti","raw_affiliation_strings":["University of York, York, UK"],"affiliations":[{"raw_affiliation_string":"University of York, York, UK","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009539888","display_name":"Cl\u00e1udio Gomes","orcid":"https://orcid.org/0000-0003-2692-9742"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Cl\u00e1udio Gomes","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5055266310"],"corresponding_institution_ids":["https://openalex.org/I52099693"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16166018,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"145","last_page":"165"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9947999715805054,"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"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9904999732971191,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8691315650939941},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.48206812143325806},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41526561975479126},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4005977511405945}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8691315650939941},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48206812143325806},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41526561975479126},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4005977511405945}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-90900-9_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-90900-9_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-90900-9_8.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:pure.atira.dk:openaire/8c1de468-e88d-4f92-b120-3d2d9da4b1d3","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/8c1de468-e88d-4f92-b120-3d2d9da4b1d3","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Baxter, J, van Acker, B, Kristensen, M, Wright, T, Cavalcanti, A & Gomes, C 2025, Formal Architectural Patterns for Adaptive Robotic Software. in A Boronat & G Fraser (eds), Fundamental Approaches to Software Engineering. FASE 2025. Springer, Cham, Lecture Notes in Computer Science, vol. 15693 LNCS, pp. 145-165, 28th International Conference on Fundamental Approaches to Software Engineering, FASE 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, Canada, 03/05/2025. https://doi.org/10.1007/978-3-031-90900-9_8","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-90900-9_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-90900-9_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-90900-9_8.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":[],"awards":[{"id":"https://openalex.org/G4336396751","display_name":null,"funder_award_id":"EP/V026801","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G4356830831","display_name":null,"funder_award_id":"CiET1718/45","funder_id":"https://openalex.org/F4320320005","funder_display_name":"Royal Academy of Engineering"},{"id":"https://openalex.org/G5700893048","display_name":null,"funder_award_id":"EP/R025479/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G7348943929","display_name":null,"funder_award_id":"CiET1718","funder_id":"https://openalex.org/F4320320005","funder_display_name":"Royal Academy of Engineering"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320320005","display_name":"Royal Academy of Engineering","ror":"https://ror.org/0526snb40"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409980292.pdf","grobid_xml":"https://content.openalex.org/works/W4409980292.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W119823395","https://openalex.org/W1587853850","https://openalex.org/W1990911977","https://openalex.org/W2069503920","https://openalex.org/W2128510433","https://openalex.org/W2407152788","https://openalex.org/W2769257089","https://openalex.org/W2803704405","https://openalex.org/W2891611071","https://openalex.org/W2912806430","https://openalex.org/W3016506139","https://openalex.org/W3181847392","https://openalex.org/W4225775897","https://openalex.org/W4243335696","https://openalex.org/W4307704342","https://openalex.org/W4403849475"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"It":[1,17],"is":[2,104],"often":[3],"the":[4,29,33,41,73,98,108,117,123,130,133],"case":[5],"that":[6,21],"a":[7,45,79],"robot":[8],"must":[9],"adapt":[10],"to":[11,27,54,91,96,128],"unexpected":[12],"changes":[13,23],"in":[14,59],"its":[15,120],"environment.":[16],"is,":[18],"however,":[19],"important":[20],"these":[22],"can":[24],"be":[25],"demonstrated":[26],"maintain":[28],"safe":[30],"operation":[31],"of":[32,100,125,132],"robot.":[34],"The":[35],"adaptive":[36],"systems":[37],"community":[38],"has":[39],"developed":[40],"MAPE-K":[42,53,74,103],"pattern":[43],"as":[44],"widely":[46],"recognised":[47],"conceptual":[48],"architecture.":[49],"We":[50],"propose":[51],"extending":[52],"incorporate":[55],"runtime":[56],"verification,":[57],"resulting":[58],"an":[60],"architecture":[61],"we":[62,68,83],"call":[63],"MAPLE-K.":[64],"In":[65],"this":[66],"paper,":[67],"capture":[69],"and":[70,75,94,119],"formalise":[71],"both":[72],"MAPLE-K":[76],"architectures":[77],"using":[78],"domain-specific":[80],"language.":[81],"Additionally,":[82],"provide":[84],"support":[85],"for":[86],"translation":[87],"from":[88],"architectural":[89,126],"models":[90,93],"software":[92],"code":[95,118],"facilitate":[97],"deployment":[99],"verified":[101],"applications.":[102],"rarely":[105],"maintained":[106],"at":[107],"implementation":[109],"level,":[110],"but":[111],"our":[112],"work":[113],"ensures":[114],"traceability":[115],"between":[116],"design,":[121],"enabling":[122],"use":[124],"information":[127],"verify":[129],"correctness":[131],"software.":[134]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}