{"id":"https://openalex.org/W4307117580","doi":"https://doi.org/10.3390/a15110390","title":"An Actor-Based Formal Model and Runtime Environment for Resource-Bounded IoT Services","display_name":"An Actor-Based Formal Model and Runtime Environment for Resource-Bounded IoT Services","publication_year":2022,"publication_date":"2022-10-23","ids":{"openalex":"https://openalex.org/W4307117580","doi":"https://doi.org/10.3390/a15110390"},"language":"en","primary_location":{"id":"doi:10.3390/a15110390","is_oa":true,"landing_page_url":"https://doi.org/10.3390/a15110390","pdf_url":"https://www.mdpi.com/1999-4893/15/11/390/pdf?version=1667551584","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1999-4893/15/11/390/pdf?version=1667551584","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100393179","display_name":"Ahmed Abdelmoamen Ahmed","orcid":"https://orcid.org/0000-0001-9736-5353"},"institutions":[{"id":"https://openalex.org/I250520410","display_name":"Prairie View A&M University","ror":"https://ror.org/0449kf092","country_code":"US","type":"education","lineage":["https://openalex.org/I250520410"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ahmed Abdelmoamen Ahmed","raw_affiliation_strings":["Department of Computer Science, Prairie View A&M University, Prairie View, TX 77446, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Prairie View A&M University, Prairie View, TX 77446, USA","institution_ids":["https://openalex.org/I250520410"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100393179"],"corresponding_institution_ids":["https://openalex.org/I250520410"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.9552,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.81078676,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"15","issue":"11","first_page":"390","last_page":"390"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9979000091552734,"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"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9979000091552734,"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"}},{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9944999814033508,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9926999807357788,"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/computer-science","display_name":"Computer science","score":0.8221429586410522},{"id":"https://openalex.org/keywords/middleware","display_name":"Middleware (distributed applications)","score":0.6980028748512268},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.6337398886680603},{"id":"https://openalex.org/keywords/services-computing","display_name":"Services computing","score":0.5871337652206421},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5200000405311584},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5054857730865479},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.5007789134979248},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.46068906784057617},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42956864833831787},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.30847764015197754},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.2972312271595001},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.27539491653442383},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.11899000406265259}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8221429586410522},{"id":"https://openalex.org/C169468491","wikidata":"https://www.wikidata.org/wiki/Q146923","display_name":"Middleware (distributed applications)","level":2,"score":0.6980028748512268},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.6337398886680603},{"id":"https://openalex.org/C542858634","wikidata":"https://www.wikidata.org/wiki/Q7455845","display_name":"Services computing","level":3,"score":0.5871337652206421},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5200000405311584},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5054857730865479},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.5007789134979248},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.46068906784057617},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42956864833831787},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.30847764015197754},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.2972312271595001},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.27539491653442383},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.11899000406265259},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/a15110390","is_oa":true,"landing_page_url":"https://doi.org/10.3390/a15110390","pdf_url":"https://www.mdpi.com/1999-4893/15/11/390/pdf?version=1667551584","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:46e95f2c6b5b4e4888721125a3f5516e","is_oa":true,"landing_page_url":"https://doaj.org/article/46e95f2c6b5b4e4888721125a3f5516e","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":"Algorithms, Vol 15, Iss 11, p 390 (2022)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/1999-4893/15/11/390/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/a15110390","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"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":"Algorithms; Volume 15; Issue 11; Pages: 390","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/a15110390","is_oa":true,"landing_page_url":"https://doi.org/10.3390/a15110390","pdf_url":"https://www.mdpi.com/1999-4893/15/11/390/pdf?version=1667551584","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2410639564","display_name":null,"funder_award_id":"2011330","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4307117580.pdf","grobid_xml":"https://content.openalex.org/works/W4307117580.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1537941984","https://openalex.org/W1977577978","https://openalex.org/W2071474793","https://openalex.org/W2110681125","https://openalex.org/W2592395755","https://openalex.org/W2616077070","https://openalex.org/W2770053105","https://openalex.org/W2792889368","https://openalex.org/W2891205498","https://openalex.org/W2951297998","https://openalex.org/W2969683807","https://openalex.org/W3004721784","https://openalex.org/W3008301453","https://openalex.org/W3015570924","https://openalex.org/W3091245962","https://openalex.org/W3152647699","https://openalex.org/W3157503767","https://openalex.org/W3175578024","https://openalex.org/W3211558815","https://openalex.org/W4256363426","https://openalex.org/W6745985103","https://openalex.org/W6749086019"],"related_works":["https://openalex.org/W1168306964","https://openalex.org/W3124804953","https://openalex.org/W2392154426","https://openalex.org/W2036575898","https://openalex.org/W1965927827","https://openalex.org/W2508582246","https://openalex.org/W1985045096","https://openalex.org/W2260415902","https://openalex.org/W2145170732","https://openalex.org/W2905020836"],"abstract_inverted_index":{"With":[0],"sensors":[1],"becoming":[2],"increasingly":[3],"ubiquitous,":[4],"there":[5,27,38,64],"is":[6,39,47,65],"tremendous":[7],"potential":[8],"for":[9,69,80,106,112],"Internet":[10],"of":[11,19,32,50,53,59,96,156,178,210,218],"Things":[12],"(IoT)":[13],"services":[14,99,159,226],"that":[15],"can":[16,160],"take":[17],"advantage":[18],"the":[20,51,93,97,119,153,184,189,196,208,216],"data":[21],"collected":[22],"by":[23,163,224],"these":[24,200],"sensors.":[25],"Although":[26],"are":[28,202],"a":[29,77,135,138,142,170,211,231],"growing":[30],"number":[31],"technologies":[33],"focused":[34],"on":[35,44],"IoT":[36,87,98,123,148,179,219],"services,":[37,61,124,149],"relatively":[40],"limited":[41,66],"foundational":[42],"work":[43],"them.":[45,71],"This":[46,181],"partly":[48],"because":[49],"lack":[52],"precise":[54],"understanding,":[55],"specification,":[56],"and":[57,82,101,110,127,192,195],"analysis":[58],"such":[60,113,225],"and,":[62],"consequently,":[63],"platform":[67],"support":[68,215],"programming":[70],"In":[72],"this":[73],"paper,":[74],"we":[75,168],"present":[76],"formal":[78],"model":[79,117,155,172,182],"understanding":[81],"enabling":[83],"reasoning":[84],"about":[85,130],"distributed":[86,232],"services.":[88,114,166,220],"The":[89,115,204],"paper":[90,205],"first":[91],"studies":[92],"key":[94],"properties":[95],"profoundly,":[100],"then":[102],"develops":[103],"an":[104,175],"approach":[105,145],"fine-grained":[107],"resource":[108,116],"coordination":[109],"control":[111],"identifies":[118],"core":[120],"mechanisms":[121,222],"underlying":[122],"informing":[125],"design":[126,209],"implementation":[128,217],"decisions":[129],"them":[131],"if":[132],"implemented":[133,229],"over":[134],"middleware":[136],"or":[137],"platform.":[139],"We":[140],"took":[141],"multi-agent":[143],"systems":[144],"to":[146,173,214],"represent":[147,174],"broadly":[150],"founded":[151],"in":[152,198,230],"actors":[154],"concurrency.":[157],"Actor-based":[158],"be":[161,228],"built":[162],"composing":[164],"simpler":[165],"Furthermore,":[167],"created":[169],"proximity":[171],"appropriate":[176],"notion":[177],"proximity.":[180],"represents":[183],"dynamically":[185],"evolving":[186],"relationship":[187],"between":[188],"service\u2019s":[190],"sensing":[191],"acting":[193],"capabilities":[194,201],"environments":[197],"which":[199],"exercised.":[203],"also":[206],"presents":[207],"runtime":[212],"environment":[213],"Key":[221],"required":[223],"will":[227],"middleware.":[233]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}