{"id":"https://openalex.org/W3123157969","doi":"https://doi.org/10.1145/3324884.3418906","title":"Towards programming and verification for activity-oriented smart home systems","display_name":"Towards programming and verification for activity-oriented smart home systems","publication_year":2020,"publication_date":"2020-12-21","ids":{"openalex":"https://openalex.org/W3123157969","doi":"https://doi.org/10.1145/3324884.3418906","mag":"3123157969"},"language":"en","primary_location":{"id":"doi:10.1145/3324884.3418906","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3324884.3418906","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007970191","display_name":"Xuansong Li","orcid":"https://orcid.org/0000-0002-9199-9205"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xuansong Li","raw_affiliation_strings":["Nanjing University of Science and Technology, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Science and Technology, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071056788","display_name":"Wei Song","orcid":"https://orcid.org/0000-0002-4324-3382"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Song","raw_affiliation_strings":["Nanjing University of Science and Technology, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Science and Technology, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100362465","display_name":"Xiangyu Zhang","orcid":"https://orcid.org/0000-0003-2138-4608"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiangyu Zhang","raw_affiliation_strings":["Purdue University"],"affiliations":[{"raw_affiliation_string":"Purdue University","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5007970191"],"corresponding_institution_ids":["https://openalex.org/I36399199"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16811185,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1270","last_page":"1272"},"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.9997000098228455,"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.9997000098228455,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9984999895095825,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9925000071525574,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.746965765953064},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5946946740150452},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.4742264449596405},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.43971869349479675},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4059557616710663},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.38704150915145874}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.746965765953064},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5946946740150452},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.4742264449596405},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.43971869349479675},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4059557616710663},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.38704150915145874},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3324884.3418906","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3324884.3418906","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6398633914","display_name":null,"funder_award_id":"61702263","funder_id":"https://openalex.org/F4320327720","funder_display_name":"Foundation for Innovative Research Groups of the National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320327720","display_name":"Foundation for Innovative Research Groups of the National Natural Science Foundation of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W2035298159","https://openalex.org/W2047923159","https://openalex.org/W2131399618","https://openalex.org/W2157319504","https://openalex.org/W2162904316","https://openalex.org/W2596410987","https://openalex.org/W2891356189","https://openalex.org/W2947898397","https://openalex.org/W2956191072"],"related_works":["https://openalex.org/W2072180474","https://openalex.org/W2898732673","https://openalex.org/W1960052459","https://openalex.org/W2410053581","https://openalex.org/W2383658677","https://openalex.org/W3123203398","https://openalex.org/W2375707231","https://openalex.org/W2524555411","https://openalex.org/W3209137209","https://openalex.org/W2479449183"],"abstract_inverted_index":{"Smart":[0],"home":[1],"systems":[2,11,61],"are":[3,22,31],"becoming":[4],"increasingly":[5],"popular.":[6],"Software":[7],"engineering":[8,19],"of":[9,54,59,97,107,123,174,188],"such":[10,60],"hence":[12],"becomes":[13],"a":[14,73,93,156,181],"prominent":[15],"challenge.":[16],"In":[17,87],"this":[18,88],"paradigm,":[20],"users":[21],"often":[23],"interested":[24],"in":[25,72],"considering":[26],"sensor":[27,114],"states":[28],"while":[29],"they":[30],"performing":[32],"various":[33,67],"activities.":[34],"Existing":[35],"works":[36],"have":[37],"proposed":[38],"initial":[39],"efforts":[40],"on":[41],"incremental":[42],"development":[43,106,187],"method":[44],"for":[45,95,138],"activity-oriented":[46,98,189],"requirements.":[47],"However,":[48],"there":[49],"is":[50,127],"no":[51],"systematic":[52,182],"way":[53],"ensuring":[55],"reliability":[56,199],"and":[57,69,100,112,126,172,191,200],"security":[58],"which":[62],"may":[63,70],"be":[64,85,180],"developed":[65],"by":[66,143],"developers":[68],"execute":[71],"complex":[74],"environment.":[75],"Some":[76],"properties,":[77],"especially":[78],"those":[79],"including":[80],"timing":[81,195],"constraints,":[82],"need":[83],"to":[84,129,132,168,184,197],"satisfied.":[86],"paper,":[89],"we":[90],"introduce":[91],"Actom,":[92],"framework":[94,183],"identification":[96],"requirements":[99,190],"runtime":[101],"verification.":[102],"Actom":[103,120,148],"supports":[104],"the":[105,108,134,139,144,160,165,170,186],"mapping":[109,153],"between":[110],"activities":[111],"required":[113,135],"readings":[115],"(activity-sensor":[116],"mapping).":[117],"At":[118],"runtime,":[119],"receives":[121],"results":[122],"activity":[124],"recognition":[125],"able":[128],"trigger":[130],"actuators":[131],"provide":[133],"physical":[136],"conditions":[137],"activities,":[140],"as":[141],"determined":[142],"activity-sensor":[145,152],"mapping.":[146],"Moreover,":[147],"continuously":[149],"monitors":[150],"whether":[151],"holds":[154],"over":[155],"time":[157],"period":[158],"during":[159],"activity.":[161],"We":[162],"also":[163],"discuss":[164],"evaluation":[166],"plan":[167],"demonstrate":[169],"effectiveness":[171],"efficiency":[173],"Actom.":[175],"The":[176],"end":[177],"product":[178],"will":[179],"facilitate":[185],"monitor":[192],"properties":[193],"with":[194],"constraints":[196],"improve":[198],"security.":[201]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}