{“id”：“https://openalex.org/W2953940064“，”doi“：”https://doi.org/10.109/icse.2019.00043“，”title“：“AutoTap:使用LTL属性合成和修复触发器操作程序”，“display_name”：“AutoTap:使用LT属性合成和维修触发器操作程序“，”publication_year“：2019，”publiation_date“：”2019-05-01“，”ids“：{”openalex“：”https://openalex.org/W2953940064“，”doi“：”https://doi.org/10.109/icse.2019.00043“，”mag“：”2953940064“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/icse.2019.00043“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5070936042“，”display_name“：”张乐凡“，”兽人“：”https://orcid.org/0000-0001-6559-9630}，“机构”：[{“id”：https://openalex.org/I40347166“，”display_name“：”芝加哥大学“，”ror“：”https://ror.org/024mw5h28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I40347166“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Lefan Zhang“，”raw _affiliation_strings“：[“芝加哥大学”]，”affiliations“：[{”raw _affiliation_string“：”芝加哥大学“，”institution_ids“：[https://openalex.org/I40347166“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5038875749“，”display_name“：”何伟基“，”orcid“：”https://orcid.org/0000-0003-1051-389X}，“机构”：[{“id”：https://openalex.org/I40347166“，”display_name“：”芝加哥大学“，”ror“：”https://ror.org/024mw5h28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I40347166“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Weijia He“，”raw _ afiliation_strings“：[“芝加哥大学”]，”affiliations“：[{”raw_ afiliation _string“：”The University of Chicago“，“institution_ids”：[”https://openalex.org/I40347166“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5088476718“，”display_name“：”Jesse J.Martinez“，”orcid“：”https://orcid.org/0000-0003-2008-4136}，“机构”：[{“id”：https://openalex.org/I40347166“，”display_name“：”芝加哥大学“，”ror“：”https://ror.org/024mw5h28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I40347166“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Jesse Martinez“，”raw _ afiliation_strings“：[“芝加哥大学”]，”affiliations“：[{”raw_ afiliation _string“：”The University of Chicago，“，”institution_ids“：]”https://openalex.org/I40347166“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5090780643“，”display_name“：”Noah Brackenbury“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I40347166“，”display_name“：”芝加哥大学“，”ror“：”https://ror.org/024mw5h28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I40347166“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”诺亚·布拉肯伯里“，”raw _ afiliation_strings“：[“芝加哥大学”]，”affiliations“：[{”raw_ afiliation _string“：”芝加哥大学“，”institution_ids“：]”https://openalex.org/I40347166“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5061448314“，”display_name“：”山路“，”兽人“：”https://orcid.org/0000-0001-9849-216X}，“机构”：[{“id”：https://openalex.org/I40347166“，”display_name“：”芝加哥大学“，”ror“：”https://ror.org/024mw5h28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I40347166“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Shan Lu“，”raw _affiliation_strings“：[“芝加哥大学”]，”affiliations“：[{”raw_affiliation_string“：”The University of Chicago“，“institution_ids”：[“https://openalex.org/I40347166“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5071246801“，”display_name“：”Blase Ur“，”orcid“：”https://orcid.org/0000-0001-9365-3155}，“机构”：[{“id”：https://openalex.org/I40347166“，”display_name“：”芝加哥大学“，”ror“：”https://ror.org/024mw5h28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I40347166“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Blase Ur“，”raw_affiliation_strings“：[“芝加哥大学”]，”affiliations“：[{”raw_affiliation_string“：”芝加哥大学“，”institution_ids“：[https://openalex.org/I40347166“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc _ paid”：null，“fwci”：7.321，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：46，“citeconding_by_percentile_year”：{“min”：97，“max”：98}，“bib”lio“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T13197“，”“display_name”：“最终用户软件工程和元设计”，“score”：0.9995，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T13197“，”“display_name”：“最终用户软件工程和元设计”，“score”：0.9995，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9819，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9642，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/trigger-action-programming“，”display_name“：”触发动作编程“，”score“：0.580165}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.79757375}，{”id“：”https://openalex.org/C2780791683，“wikidata”：https://www.wikidata.org/wiki/Q846785“，”display_name“：”Action（physical）“，”level“：2，”score“：0.61079496}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.59151953}，{”id“：”https://openalex.org/C2781235140，“wikidata”：https://www.wikidata.org/wiki/Q275131“，”display_name“：”Scratch“，”level“：2，”score“：0.56342113}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.5128036}，{”id“：”https://openalex.org/C79974875，“wikidata”：https://www.wikidata.org/wiki/Q483639“，”display_name“：”云计算“，”level“：2，”score“：0.47364345｝，｛”id“：”https://openalex.org/C107457646，“wikidata”：https://www.wikidata.org/wiki/Q207434“，”display_name“：”Human\u2013计算机交互“，”level“：1，”score“：0.43625027}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.33245093}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.11084762}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/icse.2019.00043“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：33，“referrenced_works”：[”https://openalex.org/W1498432697","https://openalex.org/W1607782211","https://openalex.org/W1966590372","https://openalex.org/W1975458495","https://openalex.org/W1986186023","https://openalex.org/W1993270618","https://openalex.org/W2026629052","https://openalex.org/W2028970698","https://openalex.org/W2086239403","https://openalex.org/W2101508170","https://openalex.org/W2121334200","https://openalex.org/W2151520537","https://openalex.org/W2158396456","https://openalex.org/W2346018686","https://openalex.org/W2399248522","https://openalex.org/W2519460064","https://openalex.org/W2533712304","https://openalex.org/W2605367183","https://openalex.org/W2608358627","https://openalex.org/W2609648139","https://openalex.org/W2610385267","https://openalex.org/W2734791431","https://openalex.org/W2752651292","https://openalex.org/W2770057444","https://openalex.org/W2791710451","https://openalex.org/W2792078641","https://openalex.org/W2801040906","https://openalex.org/W2803355841","https://openalex.org/W2942483256","https://openalex.org/W2951719623","https://openalex.org/W3023554972","https://openalex.org/W4212901716","https://openalex.org/W4247796159“]，”related_works“：[”https://openalex.org/W4243252198","https://openalex.org/W4235530921","https://openalex.org/W3162240892","https://openalex.org/W3137189469","https://openalex.org/W2522590477","https://openalex.org/W2383532021","https://openalex.org/W2382501300","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W2065109233“]，”ngrams_url“：”https://api.openalex.org/works/W2953940064/ngrams网站“，”“abstract_inverted_index”：{“End-user”：[0]，“programming”：[1]，“specially”：[2]，“trigger-action”：[3]，“progming”：[4]，“（TAP），”：[5]，“is”：[6123]，“a”：[7,43,85,95124]，“popular”：[8]，“method”：[9]，“of”：[10]，“let”：[11]，“users”：[12,31,48,90103]，“express”：[13,34]，“他们的“：[14,35]，“意图”：[15]，“用于”：[16,30,53129]，“如何”：[17]，“聪明”：[18]，“设备“：[19,54]，”和“：[20,55,66,75126]，”云“：[21]，”服务“：[22]，”交互。“：[23]，”不幸“：[24]，”有时“：[25]，”它“：[26]，”可以“：[27]，”成为“：[28]，”挑战“：[29]，”到“：[32,61,92]，”正确“：[33]，”欲望“：[36]，”通过“：[37]，”TAP。“：[38]，”This“：[39]，”paper“：[40]，”presents“：[41]，”AutoTap“：[42]，”system“：[44]，”that“：[4511121]，”let“：[46]，”新手“：[47102]，”easy“：[49]，”specify“：[50]，”desired“：[55110]，”properties“：[52，60，89]，”services“。“：[56]，“AutoTap”：[57,82113122]，“translates”：[58]，“these”：[59]，“linear”：[62]，“temporal”：[63]，“logic”：[64]，“（LTL）”：[65]，“both”：[67]，“automatically”：[68]，“synthesis”：[69]，“property-satizing”：[70]，“TAP”：[71,78116]，“rules”：[72]，“from”：[73]，“scratch”：[74]，“repairs”：[76]，“现有”：[77]，“规则。“：[79117]，”我们“：[80]，”设计“：[81]，”基于“：[83]，”on“：[84]，”用户“：[86,97]，”研究“：[87]，”关于“：[88]，”愿望“：[91]，”快递。“：[93]，“通过”：[94]，“秒”：[96]，“研究”：[98]，“我们”：[99]，“显示”：[100120]，“完成”：[104]，“显著”：[105]，“较少”：[106]，“错误”：[107]，“当”：[108]，“表达”：[109]，“行为”：[111]，“使用”：[1112115]，“比”：[114]，“我的”：[118]，“实验”：[119]，“简单”：[125]，“有效”：[127]，“选项”：[128]，“表达型”：[130]，“最终用户”：[131]，“编程。“：[132]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2953940064“，”counts_by_year“：[{”year“:2024，”cited_by_count“：2}，{”year“：2023，”cited_by_count”：8}，}”year:2022，”citecd_by_count“：7}，“{”年“：2021，”citesd_by_count“:17}，”年“2020，”citted_by-count“:9}，“，”创建日期“：”2019-07-12“}