{“id”：“https://openalex.org/W1558537941“，”doi“：”https://doi.org/10.1007/978-3-540-39878-3_3“，”title“：”分布式无功系统的可视化建模与验证“，”display_name“：”分布无功系统可视化建模与检验“，”publication_year“：2003，”publiation_date“：”2003-01-01“，”ids“：{”openalex“：”https://openalex.org/W1558537941“，”doi“：”https://doi.org/10.1007/978-3-540-39878-3_3“，”mag“：”1558537941“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-39878-3_3“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5047690576“，”display_name“：”Atif Iqbal“，”orcid“：”https://orcid.org/0000-0001-9741-4119}，“机构”：[{“id”：https://openalex.org/I1329621470“，”display_name“：”巴巴原子研究中心“，”ror“：”https://ror.org/05w6wfp17“，”“country_code”“：”IN“，”type“：”facility“，”lineage“：[”https://openalex.org/I1329621470","https://openalex.org/I2799351866","https://openalex.org/I3149292468“]}]，”国家“：[”IN“]，”is_corresponding“：false，”raw_author_name“：”A.Iqbal“，”raw _ afiliation_strings“：[“印度孟买巴巴原子研究中心反应堆控制部”]，”从属关系“：[{”raw _affiliation_string“：”印度孟买巴巴原子研究院反应堆控制部“，”institution_ids“：[https://openalex.org/I1329621470“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5054403251“，”display_name“：”Anup Kumar Bhattacharjee“，”orcid“：”https://orcid.org/0000-0002-6399-1513}，“机构”：[{“id”：https://openalex.org/I1329621470“，”display_name“：”巴巴原子研究中心“，”ror“：”https://ror.org/05w6wfp17“，”“country_code”“：”IN“，”type“：”facility“，”lineage“：[”https://openalex.org/I1329621470","https://openalex.org/I2799351866","https://openalex.org/I3149292468“]}]，”国家“：[”IN“]，”is_corresponding“：false，”raw_author_name“：”A.K.Bhattacharjee“，”raw _ afiliation_strings“：[“印度孟买巴巴原子研究中心反应堆控制部”]，”从属关系“：[{”raw _affiliation_string“：”印度孟买巴巴原子研究中反应堆控制部“，”institution_ids“：[https://openalex.org/I1329621470“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5016415178“，”display_name“：”S.D.Dhodapkar“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1329621470“，”display_name“：”巴巴原子研究中心“，”ror“：”https://ror.org/05w6wfp17“，”“country_code”“：”IN“，”type“：”facility“，”lineage“：[”https://openalex.org/I1329621470","https://openalex.org/I2799351866","https://openalex.org/I3149292468“]}]，”国家“：[”IN“]，”is_corresponding“：false，”raw_author_name“：”S.D.Dhodapkar“，”raw _ afiliation_strings“：[“印度孟买巴巴原子研究中心反应堆控制部”]，”affiliations“：[{”raw _affiliation_string“：”印度孟买巴巴原子研究中反应堆控制部“，”institution_ids“：[https://openalex.org/I1329621470“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5081333705“，”display_name“：”S.Ramesh“，”orcid“：”https://orcid.org/0000-0003-1361-8224}，“机构”：[{“id”：https://openalex.org/I162827531“，”display_name“：”孟买印度理工学院“，”ror“：”https://ror.org/02qyf5152“，”country_code“：”IN“，”type“：”教育“，”血统“：[”https://openalex.org/I162827531“]}]，”国家“：[”IN“]，”is_corresponding“：false，”raw_author_name“：”S.Ramesh“，”raw _ affiliation_strings“：[“印度孟买印度理工学院软件正式设计与验证中心”]，”affiliation“：[{”raw _affiliation_string“：”印度孟买印度理工学院软件正式设计和验证中心”，“institution_ids”：[“https://openalex.org/I162827531“]}]}]，”countries_distinct_count“：1，”institutions_distinact_counts“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payd”：null，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：1，“cit”ed_by_percentile_year“：{“最小值”：64，“最大值”：70}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”22“，”last_page“：”34“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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”：1.0，“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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9995，“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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9993，”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“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.586039}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.566121}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.516411}]，”concepts“：[{”id“：”https://openalex.org/C2776329536，“wikidata”：https://www.wikidata.org/wiki/Q948666“，”display_name“：”Promela“，”level“：3，”score“：0.9855737}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.86832666}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.8366735}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.784613}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.67731625}，{”id“：”https://openalex.org/C45357846，“wikidata”：https://www.wikidata.org/wiki/Q2001982“，”display_name“：”Notation“，”level“：2，”score“：0.6367258}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.5481055}，{”id“：”https://openalex.org/C2776303644，“wikidata”：https://www.wikidata.org/wiki/Q1020499“，”display_name“：”接口“，”level“：2，”score“：0.5154684}，{”id“：”https://openalex.org/C35292069网址，“wikidata”：https://www.wikidata.org/wiki/Q1575458网址“，”display_name“：”Validator“，”level“：2，”score“：0.5034854}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.4973016}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.43278712}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634网址“，”display_name“：”分布式计算“，”level“：1，”score“：0.38159534}，{”id“：”https://openalex.org/C9390403，“wikidata”：https://www.wikidata.org/wiki/Q3966“，”display_name“：”计算机硬件“，”level“：1，”score“：0.118449956}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-39878-3_3“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：nuld，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“id”：”https://metadata.un.org/sdg/9“，”score“：0.4，”display_name“：”Industry，innovation and infrastructure“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：12，”referrenced_works“：[”https://openalex.org/W1497879578","https://openalex.org/W1964896754","https://openalex.org/W2072961973","https://openalex.org/W2081938726","https://openalex.org/W2099529102","https://openalex.org/W2100500368","https://openalex.org/W2115309705","https://openalex.org/W2129395888","https://openalex.org/W2164989576","https://openalex.org/W2561675875","https://openalex.org/W4232073592","https://openalex.org/W45604208“]，”related_works“：[”https://openalex.org/W4388660625","https://openalex.org/W251782534","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W1946493810","https://openalex.org/W1922520186","https://openalex.org/W17088386","https://openalex.org/W1608485412","https://openalex.org/W1544097700","https://openalex.org/W1495250406“]，”ngrams_url“：”https://api.openalex.org/works/W1558537941/ngrams“，”abstract_inverted_index“：｛”In“：[0]，”this“：[1]，”paper“：[2]，”we“：[3122149]，”describe“：[4]，”the“：[5，17，94，99112125145152159162175182187215]，”design“：[6]，”and“：[7，19，71418200]，”implementation“：[8]，”of“：[9，21，31,34111161181191214]，”a“：[10，32，87204]，”tool“：[11147209]，”that“：”[12]，“已”：[13]，“已”：[14]，“已开发”：[15]，“用于“：[16，69，98211]，”规范“：[18]，”验证“：[20170213]，”分布式“：[22，26133198]，”反应性“：[23，27，36，54]，”系统。“：[24]，”A“：[25]，”system“：[28113]，”is“：[29,80184]，”composed“：[30]，”collection“：[33]，”autonomous“：[35]，”nodes“：[37]，”which“：[38]，”communicate“：[39]，”over“：[40]，”buffered“：[C1,73]，”and/or“：[42]，”unbuffereds“：[43,75]，”channels“：[44]，”。“：[45]，”状态图“：[46,65192]，”是“：[47]，”行业“：[48]，”接受“：[49]，”正式“：[50212]，”符号“：[51,79]，”到“：[52,59,89107157196]，”模型“：[53,6011116139154177197207]，”系统“：[55134199]，”但是“：[56]，”缺乏“：[57]，”特征“：[58194]，”通信。“：[61]，”We“：[62,84]，”have“：[63,85123150]，”extended“：[64,78]，”[1]，”：[66]，“with”：[67193203]，”primitives“：[68]，”handling“：[70]，”communication“：%71]，”through“：[72]，”channels。“：[76]，”The“：[77138169179]，”called“：[81]，”Communicating“：[82]，”Statecharts（CS）。“：[83]，“已实现”：[86]，“转换器”：[88]，“翻译”：[90]，“CS”：[91136]，“转换”：[92142]，“Promela，”：[93]，“输入”：[95]，“建模”：[96]，“语言”：[97]，“旋转”：[100115176210]，“检查程序”：[102]，“[2]。“：[103]，”This“：[104]，”allows“：[105]，”us“：[106]，”verify“：[108]，”temporal“：[109]，”properties“：[110]，”using“：[114135144174]，”checker。“：[117178]，“As”：[118]，“an”：[119]，“illustrative”：%120]，“example”，“：[121]，“modeled”：/124]，“well”：[126205]，“known”：[127167]，“Leader”：[128]，“Selection”：[129]，“Protocol”：[130]，“used”：[131151]，“in”：[132155185]，“notation”。“：[137]，”was“：[140171]，”translated“：[141153]，”Promela“：[143156]，”CSPROM“：[146]，”show“：[158]，”correctivity“：[160]，”algorithm“：[163]，”by“：[164]，”verifying“：[165]，”its“：/166]，”properties。“：[168]，”携带“：[172]，”输出“：[173]，”贡献“：[180]，”纸张“：[183]，”延伸“：[186]，”强大“：[188]，”视觉“：[189]，”形式主义“：[190]，”要求“：[195]，”接口“：[201]，”it“：[202]，”建立“：[206]，”检查“：[208]，”模型。“：[216]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W1558537941“，”counts_by_year“：[]，”updated_date“：”2024-06-15T10:58:39.457495“，”创建日期“：”2016-06-24“}