{“id”：“https://openalex.org/W1968861568“，”doi“：”https://doi.org/10.1016/j.jlap.2007.06.004“，”title“：“动态Web数据的行为等效性”，“display_name”：“动态网络数据的行为等价性”，”publication_year“：2008，”publiation_date“：”2008-02-01“，”ids“：{”openalex“：”https://openalex.org/W1968861568“，”doi“：”https://doi.org/10.1016/j.jlap.2007.06.004“，”mag“：”1968861568“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.jlap.2007.06.004“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S70478294“，”“display_name”“：”“\u0098The \u009c Journal of logic and algebratic programming”“，”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.jlap.2007.06.004“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5043151499“，”display_name“：”Sergio Maffeis“，”orcid“：”https://orcid.org/0000-0003-1514-6857“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Sergio Maffeis“，”raw _ afiliation_strings“：[]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw关联字符串“：[]}]，”countries_distict_count“：0，”机构_distiction_count“：0.，”corresponding_author_ids“：[]，“correspounding_institution_ids”：[]1，“cited_by_percentle_year“：｛“min”：67，“max”：74｝，“biblio”：｛“volume”：“75”，“issue”：“1”，“first_page”：“86”，“last_page”：“138”｝，“is_retracted”：false，“is_paratext”：false，“primary_topic”：｛“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9993，“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.9993，“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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.999，”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/T10679“，”display_name“：”QoS-Aware Web服务组合和语义匹配“，”score“：0.9984，”subfield“：{”id“：”https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”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/web-service-composition网站“，”display_name“：”Web服务组合“，”score“：0.493486｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.54750043}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4044165}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.jlap.2007.06.004“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S70478294“，”“display_name”“：”“\u0098The \u009c Journal of logic and algebratic programming”“，”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.jlap.2007.06.004“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S70478294“，”“display_name”“：”“\u0098The \u009c Journal of logic and algebratic programming”“，”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.4，”id“：”https://metadata.un.org/sdg/9“，”display_name“：”工业、创新和基础设施“}]，”拨款“：[]，”数据集“：[[]，”版本“：['，”referenced_works_count“：16，”referrenced_works“：[”https://openalex.org/W1497250439“，”https://openalex.org/W1535627680“，”https://openalex.org/W1562901937“，”https://openalex.org/W1578898752“，”https://openalex.org/W1770071874“，”https://openalex.org/W1966814918“，”https://openalex.org/W1975082667“，”https://openalex.org/W1997098099“，”https://openalex.org/W2007857312“，”https://openalex.org/W2028016184“，”https://openalex.org/W2072048176“，”https://openalex.org/W2104799982“，”https://openalex.org/W2122630589“，”https://openalex.org/W2128932399“，”https://openalex.org/W258022877“，”https://openalex.org/W2951546131“]，”related_works“：[”https://openalex.org/W2899084033“，”https://openalex.org/W2748952813“，”https://openalex.org/W2530322880“，”https://openalex.org/W2390279801“，”https://openalex.org/W2382290278“，”https://openalex.org/W2376932109“，”https://openalex.org/W2358668433“，”https://openalex.org/W2350741829“，”https://openalex.org/W2130043461“，”https://openalex.org/W2001405890“]，”ngrams_url“：”https://api.openalex.org/works/W1968861568/ngrams“，”“abstract_inverted_index”：{“对等”：[0]，“系统”：[1]，“提供”：[2,50,60]，“a”：[3,51,61,79131153191238]，“简单”：[4]，“和”：[5,25,44,66,94104108125181236]，“有效”：[6]，”“平台”：[7]，“for”：[8,47,54,64,81121193]，“数据”：[9,24]，“集成”：[10]，“on”：[11]，“：[12,31139143165205211]，“互联网”：[13]，“交换”：[14]，“动态“：[15,84,92]，”文档“：[16,21,93]，”使用“：[17]，”Web“：[18,37,48,85]，”服务。“：[19]，”Dynamic“：[20]，”contain“：[22]，”both“：[23]，”references“：[26]，”to“：[27，36110113184204225]，”external“：[28]，”sources“：[29]，”in“：[301421681686210232]，”form“：[32]，”of“：[33,899133207]，”链接“：[34]，”调用“：[35]，”服务“：[38]，”or“：[39]，”coordination“：[40]，”脚本。“：[41]，”XML“：[42]，”标准“：[43]，”工业“：[45]，”平台“：[46]，”服务“：[49]，”技术“：[52]，”基础“：[53]，”建筑“：[55]，”此类“：[56]，”系统。“：[57]，“过程”：[58]，“代数”：[59]，“形式”：[62,69]，“框架”：[63]，“研究”：[65]，“理解”：[67]，“它们的”：[68]，“属性”。“：[70]，“We”：[71171220]，“have”：[72164216]，“previous”：[73]，“introduced”：[74]，“X”：[75122127134147]，“d”：[76123128135148]，“\u03c0”：[77,95124129136149197]，“，”：[78130150176]，“calculation”：[80]，“reasoning”：[82194]，“about”：[83195]，“data”。“：[86]，“It”：[87]，“composes”：[88]，“locations”，“：[90]，“containing”：[91]，“-like”：[96]，“process”：[97159]，“which”：[98137177]，“communication”：[99]，“with”：[100]，“each”：[101]，“other”，“:[102]，”query“：[103234]，”update“：[105]，”these“：[106]，”documents，“：[107]，”migrate“：[109]，”other“：[111]，“对等方”：[112]，“继续”：[114]，“执行。“：[115]，”这里，“：[116]，”我们“：[1151215]，”研究“：[1185226]，”网络“：[119]，”等价物“：[120]，”核心“：[126146]，”重新格式化“：[132]，”嵌入“：[138]，”位置“：[140]，”结构“：[141]，”进程“。“：[144]，”Using“：[145]，”process“：[154179223]，”equivalence“：[155180224]，”specilating“：/156]，”that“：[157]，”two“：[158]，”are“：%160]，”equal“：[161]，”if“：-162]，”they“：[163]，”same“：[166]，”behavior“：[167]，”evaluate“：[169]，”networks。“：[170]，”也“：[172]，”探索“：[173]，”域“：[174]，”双相似性“：[175]，”暗示“：[178]，”是“：[182202]，”更容易“：[183]，”使用“：[185221]，”证明。“：[187]，”我们的“：[188]，”定义“：[189]，”适应“：[190]，”技术“：[192]，”高阶“：[196]，”-过程。“：[198]，”In“：[199]，”addition“：[200]，”it“：[201]，”sensitive“：[203]，”set“：[206]，”locations“：[208]，”present“：[209]，”network，“：[212]，”an“：[213]，”approach“：[214]，”not“：/217]，”seen“：[218]，”before。“：[219]，”我们的“：[222]，”通信“：[227]，”模式“：[228]，”使用“：[229]，”由“：[230]，”服务器“：[231]，”分布式“：[233]，”系统“：[235]，”提议“：[237]，”新“：[239]，”图案“：[240]，”涉及“：[241]，”移动“：[242]，”代码。“：[243]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1968861568“，”counts_by_year“：[]，”updated_date“：”2024-05-27T18:17:06.154577“，”created_dates“：”2016-06-24“}“