{“id”：“https://openalex.org/W2151600503“，”doi“：”https://doi.org/10.109/rtss.2008.28“，”title“：”Real Time Asynchronous Objects的可调度性和兼容性“，”display_name“：”实时异步对象的调度性和兼容“，”publication_year“：2008，”publiation_date“：”2008-11-01“，”ids“：{”openalex“：”https://openalex.org/W2151600503“，”doi“：”https://doi.org/10.109/rtss.2008.28“，”mag“：”2151600503“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/rtss.2008.28“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://www.lri.fr/%7Elonguet/Publications/JLdB08-RTSS.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5050982984“，”display_name“：”Mohammad Mahdi Jaghoori“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”M.M.Jaghoori“，”raw_affiliation_strings“：[“CWI，阿姆斯特丹”]，”affiliations“：[{”raw_affiliation_string“：”CWI，Amsterdam“，”institution_ids“：[https://openalex.org/I1341640284“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5056303418“，”display_name“：”Delphine Longuet“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1341640284“，”display_name“：”Wiskunde和Informatica中心“，”ror“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”D.Longuet“，”raw _affiliation_strings“：[“CWI，阿姆斯特丹”]，”affiliations“：[{”raw _affiliation_string“：”CWI，Amsterdam“，”institution_ids“：[https://openalex.org/I1341640284“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5058708865“，”display_name“：”Frank S.de Boer“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”F.S.de Boer“，”raw _affiliation_strings“：[“CWI，阿姆斯特丹”]，”affiliations“：[{”raw _affiliation_string“：”CWI，Amsterdam“，”institution_ids“：[https://openalex.org/I1341640284“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5020004082“，”display_name“：”Tom Chothia“，”orcid“：”https://orcid.org/0000-0002-9381-1368}，“机构”：[{“id”：https://openalex.org/I79619799“，”display_name“：”伯明翰大学“，”ror“：”https://ror.org/03angcq70“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I79619799“]}，{”id“：”https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”GB“，”NL“]，”is_corresponding“：false，”raw_author_name“：”T.Chothia“，”raw _affiliation_strings“：[“CWI，阿姆斯特丹，荷兰”，“英国伯明翰大学计算机科学学院”]，”affiliations“：[{”raw _affiliation_string“：”英国伯明罕大学计算机科学院“，”institution_ids“：]”https://openalex.org/I79619799“]}，{”raw_affiliation_string“：”CWI，阿姆斯特丹，荷兰“，”institution_ids“：[”https://openalex.org/I1341640284“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“fwci”：1.707，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：11，“ciped_by_percentile_year”：{“min”：86，“max”：87}，“biblio”“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9999，”subfield“：｛”id“：”https://openalex.org/subfields/1703“，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.999，“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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9983，“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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.571408}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.55463}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.527111}，{“id”：“https://openalex.org/keywords/reconfigurable-computing网站“，”display_name“：”可重构计算“，”score“：0.526438}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.518602}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8352371}，{”id“：”https://openalex.org/C2778648169，“wikidata”：https://www.wikidata.org/wiki/Q967768“，”display_name“：”兼容性（地球化学）“，”级别“：2，”分数“：0.8305148}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.77652943}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.6306087}，{”id“：”https://openalex.org/C20574231，“wikidata”：https://www.wikidata.org/wiki/Q844605“，”display_name“：”向后兼容性“，”level“：2，”score“：0.46538535}，{”id“：”https://openalex.org/C79403827，“wikidata”：https://www.wikidata.org/wiki/Q3988“，”display_name“：”实时计算“，”level“：1，”score“：0.4233954｝，｛”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.39646676}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.3660644}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.21442431}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.18516272}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.07568765}，{”id“：”https://openalex.org/C17409809，“wikidata”：https://www.wikidata.org/wiki/Q161764“，”display_name“：”地球化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127313418，“wikidata”：https://www.wikidata.org/wiki/Q1069“，”display_name“：”Geology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/rtss.2008.28“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01760569“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-01760569“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.527.7945，“pdf_url”：http://www.lri.fr/%7Elonguet/Publications/JLdB08-RTSS.pdf“，”来源“：｛”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.527.7945，“pdf_url”：http://www.lri.fr/%7Elonguet/Publications/JLdB08-RTSS.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：7，“referrenced_works”：https://openalex.org/W2000947342","https://openalex.org/W2025079043","https://openalex.org/W2033745581","https://openalex.org/W2036081705","https://openalex.org/W2101508170","https://openalex.org/W2152650067","https://openalex.org/W2914055623“]，”related_works“：[”https://openalex.org/W3176673918","https://openalex.org/W2388297596","https://openalex.org/W2371078869","https://openalex.org/W2312598952","https://openalex.org/W2226237160","https://openalex.org/W2103734435","https://openalex.org/W2066550866","https://openalex.org/W1551703449","https://openalex.org/W1492220143","https://openalex.org/W128084838“]，”ngrams_url“：”https://api.openalex.org/works/W2151600503/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“apply”：[1]，“automata”：[2]，“theory”：[3]，“to”：[4,12,47,54,84]，“specifying”：[5]，“behavioralinterfaces”：[6]，“of”：[7,16,23,99]，“objects”：[8,26,91]，“and”：[9,29,37,52]，“show”：[10]，“how”：[11]，“check”：[13]，“schedulabilityand”：[14]，“兼容性”：[15]，“真实”：[17,24]，“时间”：[18,25]，“异步”：[19]，“对象。”：[20]，“行为”：[21,86]，“接口”：[22]，“指定（the“：[27]，”order“：[28]，”timeings“：[30]，”of）“：[31]，”the“：[32,65100107]，”messages“：[33]，”an“：[34]，”object“：[35,40,78]，”maysend“：[3]，”receive.“：[38]，”Each“：[39]，”is“：[41,62,79]，”checked“：[42]，”against“：[43]，”its行为“：[44]，”接口；“：[45]，”第一，“：[46]，”保证“：[48]，”其“：[49,85]，”正确“：[50]，“outputbehavior”，：[51]，“second”：[53]，“make”：[55]，“sure”：[56]，“that”：[57]，“every”：[58,77]，“messageit”：[59]，“may”：[60]，“receive”：[61]，“processed”：[63]，“within”：[64]，“designateddeadline”：[66]，“（schedulability”：[67]，“analysis）。”：[68]，“Next，”：[69]，“we”：%70]，“提议”：[71]，“新”：[72]，“技术”：[73]，“用于”：[74]，“测试”：[75]，“是否”：[76]，“usedas”：[80]，“expected”：[81]，“（即，“：[82]，”according“：[83]，”interface）when“：[87]，”combined“：[88]，”with“：[89]，”other“：/90]，”（compatibility“：[92]，”check）。兼容性“：[93]，”additional“：[94]，”implies“：[95]，”schedulability“：[96]，”in“：[97]，”The context“：[98]，”actual“：[101]，”system。“：[102]、“The”：[103]、“analysis”：[104]、“are”：[105]、“automatedusing”：[106]，“Uppaal”：[108]，“model”：[109]，“checker.”：[110]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2151600503“，”counts_by_year“：[{”year“:2020，”cited_by_count“：1}，{”year“：2016，”cited_by_count”：2}，“year”：2012，”citecd_by_count“：3}]，”updated_date“：”2024-06-30T07:20:22.615620“，”created_dates“：”2016-06-24“}