{"id":"https://openalex.org/W1685612739","doi":"https://doi.org/10.1145/2882784","title":"On Lions, Impala, and Bigraphs","display_name":"On Lions, Impala, and Bigraphs","publication_year":2016,"publication_date":"2016-05-28","ids":{"openalex":"https://openalex.org/W1685612739","doi":"https://doi.org/10.1145/2882784","mag":"1685612739"},"language":"en","primary_location":{"id":"doi:10.1145/2882784","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2882784","pdf_url":null,"source":{"id":"https://openalex.org/S89276529","display_name":"ACM Transactions on Computer-Human Interaction","issn_l":"1073-0516","issn":["1073-0516","1557-7325"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computer-Human Interaction","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://eprints.nottingham.ac.uk/39044/","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086725824","display_name":"Steve Benford","orcid":"https://orcid.org/0000-0001-8041-2520"},"institutions":[{"id":"https://openalex.org/I142263535","display_name":"University of Nottingham","ror":"https://ror.org/01ee9ar58","country_code":"GB","type":"education","lineage":["https://openalex.org/I142263535"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Steve Benford","raw_affiliation_strings":["University of Nottingham, UK"],"affiliations":[{"raw_affiliation_string":"University of Nottingham, UK","institution_ids":["https://openalex.org/I142263535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015862123","display_name":"Muffy Calder","orcid":"https://orcid.org/0000-0001-5033-7232"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Muffy Calder","raw_affiliation_strings":["University of Glasgow, Glasgow, Scotland"],"affiliations":[{"raw_affiliation_string":"University of Glasgow, Glasgow, Scotland","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113437182","display_name":"Tom Rodden","orcid":null},"institutions":[{"id":"https://openalex.org/I142263535","display_name":"University of Nottingham","ror":"https://ror.org/01ee9ar58","country_code":"GB","type":"education","lineage":["https://openalex.org/I142263535"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tom Rodden","raw_affiliation_strings":["University of Nottingham, UK"],"affiliations":[{"raw_affiliation_string":"University of Nottingham, UK","institution_ids":["https://openalex.org/I142263535"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042005513","display_name":"Michele Sevegnani","orcid":"https://orcid.org/0000-0001-6773-9481"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michele Sevegnani","raw_affiliation_strings":["University of Glasgow, Glasgow, Scotland"],"affiliations":[{"raw_affiliation_string":"University of Glasgow, Glasgow, Scotland","institution_ids":["https://openalex.org/I7882870"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5086725824"],"corresponding_institution_ids":["https://openalex.org/I142263535"],"apc_list":null,"apc_paid":null,"fwci":1.503,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.87626496,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"23","issue":"2","first_page":"1","last_page":"56"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.9840999841690063,"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.9787999987602234,"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/formalism","display_name":"Formalism (music)","score":0.7753422856330872},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7513760328292847},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.5919393301010132},{"id":"https://openalex.org/keywords/ubiquitous-computing","display_name":"Ubiquitous computing","score":0.5674148797988892},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.434129536151886},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42993417382240295},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19997161626815796}],"concepts":[{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.7753422856330872},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7513760328292847},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.5919393301010132},{"id":"https://openalex.org/C172195944","wikidata":"https://www.wikidata.org/wiki/Q541265","display_name":"Ubiquitous computing","level":2,"score":0.5674148797988892},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.434129536151886},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42993417382240295},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19997161626815796},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2882784","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2882784","pdf_url":null,"source":{"id":"https://openalex.org/S89276529","display_name":"ACM Transactions on Computer-Human Interaction","issn_l":"1073-0516","issn":["1073-0516","1557-7325"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computer-Human Interaction","raw_type":"journal-article"},{"id":"pmh:oai:eprints.gla.ac.uk:109777","is_oa":false,"landing_page_url":"http://eprints.gla.ac.uk/view/author/9129.html>","pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":false,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:eprints.nottingham.ac.uk:39044","is_oa":true,"landing_page_url":"http://eprints.nottingham.ac.uk/39044/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402013","display_name":"Nottingham ePrints (University of Nottingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I142263535","host_organization_name":"University of Nottingham","host_organization_lineage":["https://openalex.org/I142263535"],"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":"","raw_type":"Article"},{"id":"pmh:oai:nottingham-repository.worktribe.com:788157","is_oa":true,"landing_page_url":"https://nottingham-repository.worktribe.com/output/788157","pdf_url":null,"source":{"id":"https://openalex.org/S4306402483","display_name":"Repository@Nottingham (University of Nottingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I142263535","host_organization_name":"University of Nottingham","host_organization_lineage":["https://openalex.org/I142263535"],"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":"acceptedVersion"}],"best_oa_location":{"id":"pmh:oai:eprints.nottingham.ac.uk:39044","is_oa":true,"landing_page_url":"http://eprints.nottingham.ac.uk/39044/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402013","display_name":"Nottingham ePrints (University of Nottingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I142263535","host_organization_name":"University of Nottingham","host_organization_lineage":["https://openalex.org/I142263535"],"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":"","raw_type":"Article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1257459233","display_name":"Verifying Interoperability Requirements in Pervasive Systems","funder_award_id":"EP/F033206/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1876582937","display_name":null,"funder_award_id":"EP/E028519/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3635452828","display_name":null,"funder_award_id":"EP/J007617/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4777936725","display_name":null,"funder_award_id":"EP/M000877/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5212835721","display_name":null,"funder_award_id":"EP/F033206/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6041094040","display_name":null,"funder_award_id":"EP/N007565/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W882228","https://openalex.org/W24517290","https://openalex.org/W57728205","https://openalex.org/W86470207","https://openalex.org/W93770828","https://openalex.org/W173176895","https://openalex.org/W1493970470","https://openalex.org/W1503549511","https://openalex.org/W1519956505","https://openalex.org/W1539003381","https://openalex.org/W1588422495","https://openalex.org/W1898475679","https://openalex.org/W1953089651","https://openalex.org/W1968103050","https://openalex.org/W1971670344","https://openalex.org/W1973938051","https://openalex.org/W1982410511","https://openalex.org/W1983098349","https://openalex.org/W1985951810","https://openalex.org/W1988730997","https://openalex.org/W1998065338","https://openalex.org/W2001200683","https://openalex.org/W2009134190","https://openalex.org/W2026000422","https://openalex.org/W2026645894","https://openalex.org/W2034889933","https://openalex.org/W2049318064","https://openalex.org/W2050291389","https://openalex.org/W2050483420","https://openalex.org/W2051000932","https://openalex.org/W2062334424","https://openalex.org/W2064189581","https://openalex.org/W2080957047","https://openalex.org/W2081428746","https://openalex.org/W2085529605","https://openalex.org/W2085571744","https://openalex.org/W2101324577","https://openalex.org/W2105357036","https://openalex.org/W2110425399","https://openalex.org/W2116355936","https://openalex.org/W2131071012","https://openalex.org/W2133110656","https://openalex.org/W2133116101","https://openalex.org/W2139666195","https://openalex.org/W2139992310","https://openalex.org/W2148334620","https://openalex.org/W2158035776","https://openalex.org/W2158422857","https://openalex.org/W2165197950","https://openalex.org/W2303413189","https://openalex.org/W2340390498","https://openalex.org/W2561675875","https://openalex.org/W3107271803","https://openalex.org/W3143148979","https://openalex.org/W4211008702","https://openalex.org/W4300617723"],"related_works":["https://openalex.org/W4244076636","https://openalex.org/W2399184610","https://openalex.org/W4230176027","https://openalex.org/W2916277247","https://openalex.org/W1978647869","https://openalex.org/W2022505847","https://openalex.org/W2121787498","https://openalex.org/W2767823446","https://openalex.org/W2110009831","https://openalex.org/W2734183330"],"abstract_inverted_index":{"While":[0],"HCI":[1],"has":[2,16],"a":[3,64,91],"long":[4],"tradition":[5],"of":[6,45,58,75,123,138],"formally":[7],"modelling":[8,21,46,92],"task-based":[9],"interactions":[10],"with":[11,109],"graphical":[12],"user":[13,121],"interfaces,":[14],"there":[15],"been":[17],"less":[18],"progress":[19],"in":[20,27,120,133],"emerging":[22],"ubiquitous":[23,49,99],"computing":[24],"systems":[25],"due":[26],"large":[28],"part":[29],"to":[30,145],"their":[31],"highly":[32],"contextual":[33],"nature":[34],"and":[35,72,80,103,125,135],"dependence":[36],"on":[37,63,95,98],"unreliable":[38],"sensing":[39],"systems.":[40],"We":[41,89,112],"present":[42],"an":[43,47,131],"exploration":[44],"example":[48],"system,":[50],"the":[51,55,139],"Savannah":[52],"game,":[53],"using":[54],"mathematical":[56],"formalism":[57],"bigraphs,":[59],"which":[60],"are":[61],"based":[62,94],"universal":[65],"process":[66],"algebra":[67],"that":[68,78],"encapsulates":[69],"both":[70],"dynamic":[71],"spatial":[73],"behaviour":[74],"autonomous":[76],"agents":[77],"interact":[79,108],"move":[81],"among":[82],"each":[83,87],"other,":[84],"or":[85],"within":[86],"other.":[88],"establish":[90],"approach":[93],"four":[96],"perspectives":[97],"systems\u2014Computational,":[100],"Physical,":[101],"Human,":[102],"Technology\u2014and":[104],"explore":[105],"how":[106,114,127],"these":[107],"one":[110],"another.":[111],"show":[113],"our":[115],"model":[116,140],"explains":[117],"observed":[118],"inconsistencies":[119],"trials":[122],"Savannah,":[124],"then,":[126],"formal":[128],"analysis":[129],"reveals":[130],"incompleteness":[132],"design":[134],"guides":[136],"extensions":[137],"and/or":[141],"possible":[142],"system":[143],"re-design":[144],"resolve":[146],"this.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}