{"id":"https://openalex.org/W3023519487","doi":"https://doi.org/10.1177/1550147720911008","title":"Design and model checking of timed automata oriented architecture for Internet of thing","display_name":"Design and model checking of timed automata oriented architecture for Internet of thing","publication_year":2020,"publication_date":"2020-05-01","ids":{"openalex":"https://openalex.org/W3023519487","doi":"https://doi.org/10.1177/1550147720911008","mag":"3023519487"},"language":"en","primary_location":{"id":"doi:10.1177/1550147720911008","is_oa":true,"landing_page_url":"https://doi.org/10.1177/1550147720911008","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147720911008","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"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 of Distributed Sensor Networks","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147720911008","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100323032","display_name":"Guang Chen","orcid":"https://orcid.org/0000-0002-4456-5981"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210106108","display_name":"Xinjiang Technical Institute of Physics & Chemistry","ror":"https://ror.org/00x44h034","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210106108"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Guang Chen","raw_affiliation_strings":["Jiangsu CAS Nor-West star Information Technology Co., Ltd., Wuxi, China","Research and Development Center for IoT of Chinese Academy of Sciences, Wuxi, China","The Xinjiang Technical Institute of Physics and Chemistry, Chinese Academy of Sciences, Urumqi, China","University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-4456-5981","affiliations":[{"raw_affiliation_string":"Jiangsu CAS Nor-West star Information Technology Co., Ltd., Wuxi, China","institution_ids":[]},{"raw_affiliation_string":"Research and Development Center for IoT of Chinese Academy of Sciences, Wuxi, China","institution_ids":["https://openalex.org/I19820366"]},{"raw_affiliation_string":"The Xinjiang Technical Institute of Physics and Chemistry, Chinese Academy of Sciences, Urumqi, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210106108"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062767745","display_name":"Tonghai Jiang","orcid":"https://orcid.org/0000-0002-4797-2902"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210106108","display_name":"Xinjiang Technical Institute of Physics & Chemistry","ror":"https://ror.org/00x44h034","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210106108"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tonghai Jiang","raw_affiliation_strings":["The Xinjiang Technical Institute of Physics and Chemistry, Chinese Academy of Sciences, Urumqi, China","Xinjiang Laboratory of Minority Speech and Language Information Processing, Chinese Academy of Sciences, Urumqi, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Xinjiang Technical Institute of Physics and Chemistry, Chinese Academy of Sciences, Urumqi, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210106108"]},{"raw_affiliation_string":"Xinjiang Laboratory of Minority Speech and Language Information Processing, Chinese Academy of Sciences, Urumqi, China","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100377084","display_name":"Meng Wang","orcid":"https://orcid.org/0000-0001-5291-5622"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210106108","display_name":"Xinjiang Technical Institute of Physics & Chemistry","ror":"https://ror.org/00x44h034","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210106108"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Meng Wang","raw_affiliation_strings":["Jiangsu CAS Nor-West star Information Technology Co., Ltd., Wuxi, China","Research and Development Center for IoT of Chinese Academy of Sciences, Wuxi, China","The Xinjiang Technical Institute of Physics and Chemistry, Chinese Academy of Sciences, Urumqi, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jiangsu CAS Nor-West star Information Technology Co., Ltd., Wuxi, China","institution_ids":[]},{"raw_affiliation_string":"Research and Development Center for IoT of Chinese Academy of Sciences, Wuxi, China","institution_ids":["https://openalex.org/I19820366"]},{"raw_affiliation_string":"The Xinjiang Technical Institute of Physics and Chemistry, Chinese Academy of Sciences, Urumqi, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210106108"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101539896","display_name":"Xinyu Tang","orcid":"https://orcid.org/0000-0003-1761-6664"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210106108","display_name":"Xinjiang Technical Institute of Physics & Chemistry","ror":"https://ror.org/00x44h034","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210106108"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinyu Tang","raw_affiliation_strings":["Jiangsu CAS Nor-West star Information Technology Co., Ltd., Wuxi, China","Research and Development Center for IoT of Chinese Academy of Sciences, Wuxi, China","The Xinjiang Technical Institute of Physics and Chemistry, Chinese Academy of Sciences, Urumqi, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jiangsu CAS Nor-West star Information Technology Co., Ltd., Wuxi, China","institution_ids":[]},{"raw_affiliation_string":"Research and Development Center for IoT of Chinese Academy of Sciences, Wuxi, China","institution_ids":["https://openalex.org/I19820366"]},{"raw_affiliation_string":"The Xinjiang Technical Institute of Physics and Chemistry, Chinese Academy of Sciences, Urumqi, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210106108"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031742323","display_name":"Wenfei Ji","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210106108","display_name":"Xinjiang Technical Institute of Physics & Chemistry","ror":"https://ror.org/00x44h034","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210106108"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenfei Ji","raw_affiliation_strings":["Jiangsu CAS Nor-West star Information Technology Co., Ltd., Wuxi, China","Research and Development Center for IoT of Chinese Academy of Sciences, Wuxi, China","The Xinjiang Technical Institute of Physics and Chemistry, Chinese Academy of Sciences, Urumqi, China","University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jiangsu CAS Nor-West star Information Technology Co., Ltd., Wuxi, China","institution_ids":[]},{"raw_affiliation_string":"Research and Development Center for IoT of Chinese Academy of Sciences, Wuxi, China","institution_ids":["https://openalex.org/I19820366"]},{"raw_affiliation_string":"The Xinjiang Technical Institute of Physics and Chemistry, Chinese Academy of Sciences, Urumqi, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210106108"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100323032"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210106108","https://openalex.org/I4210165038"],"apc_list":{"value":2200,"currency":"USD","value_usd":2200},"apc_paid":{"value":2200,"currency":"USD","value_usd":2200},"fwci":0.536,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.73627199,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"16","issue":"5","first_page":"155014772091100","last_page":"155014772091100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988999962806702,"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.9988999962806702,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9968000054359436,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9962999820709229,"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/computer-science","display_name":"Computer science","score":0.8810827732086182},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8007221221923828},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.6624423265457153},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5615783333778381},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5513392686843872},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5447874069213867},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5317527055740356},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42997533082962036},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3140450119972229},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.2184351682662964},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19209200143814087}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8810827732086182},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8007221221923828},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.6624423265457153},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5615783333778381},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5513392686843872},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5447874069213867},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5317527055740356},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42997533082962036},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3140450119972229},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.2184351682662964},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19209200143814087},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"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":3,"locations":[{"id":"doi:10.1177/1550147720911008","is_oa":true,"landing_page_url":"https://doi.org/10.1177/1550147720911008","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147720911008","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"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 of Distributed Sensor Networks","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:sae:intdis:v:16:y:2020:i:5:p:1550147720911008","is_oa":false,"landing_page_url":"https://journals.sagepub.com/doi/10.1177/1550147720911008","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:doaj.org/article:d3404941607e48ec90e33ab4f2256835","is_oa":true,"landing_page_url":"https://doaj.org/article/d3404941607e48ec90e33ab4f2256835","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Distributed Sensor Networks, Vol 16 (2020)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1177/1550147720911008","is_oa":true,"landing_page_url":"https://doi.org/10.1177/1550147720911008","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147720911008","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"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 of Distributed Sensor Networks","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6800000071525574,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W78026558","https://openalex.org/W2023499821","https://openalex.org/W2122824813","https://openalex.org/W2321161136","https://openalex.org/W2333545516","https://openalex.org/W2588847126","https://openalex.org/W2809951001","https://openalex.org/W2888727839","https://openalex.org/W3112759701"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3097218026","https://openalex.org/W4390481443","https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449"],"abstract_inverted_index":{"The":[0,96,118],"architecture":[1,40,94,137],"model":[2,36,87,97,124,130],"of":[3,6,18,21,31,41,44,60,72,78,105,120,131,135,147,159,162],"the":[4,10,14,19,27,39,42,48,56,69,73,102,128,145,150,160],"Internet":[5,20,43,77,104,134,161],"thing":[7,22,45,79,106,136,163],"system":[8,46,107,111],"is":[9,88],"primary":[11],"foundation":[12],"for":[13,38],"design":[15],"and":[16,29,35,50,58,83,115,123,154,157],"implementation":[17],"system.":[23,164],"This":[24,53],"article":[25,54,141],"discusses":[26],"method":[28,59,99],"practice":[30],"time":[32,51,63,85,132],"automaton":[33,86],"modeling":[34,61,121],"checking":[37,98],"from":[47],"state":[49],"dimensions.":[52],"introduces":[55],"theory":[57],"using":[62],"automata.":[64],"And":[65],"then,":[66],"combined":[67],"with":[68,149],"actual":[70],"need":[71],"elderly":[74],"health":[75],"cabin":[76],"system,":[80],"a":[81,91],"dynamic":[82],"fault-tolerant":[84],"established":[89,138],"through":[90],"relatively":[92],"complete":[93],"modeling.":[95],"verifies":[100],"that":[101,127],"designed":[103],"has":[108],"no":[109],"deadlock":[110],"activity,":[112],"service":[113],"correctness,":[114],"timeliness":[116],"correctness.":[117],"results":[119],"experiments":[122],"validation":[125],"show":[126],"reference":[129],"automata":[133],"in":[139],"this":[140],"can":[142],"better":[143],"reflect":[144],"nature":[146],"interaction":[148],"physical":[151],"world,":[152],"heterogeneity":[153],"large-scale,":[155],"dynamic,":[156],"incompleteness":[158]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}