{“id”：“https://openalex.org/W2145079623“，”doi“：”https://doi.org/10.1504/ijwmc.2010.034219“，”title“：“协调系统的建模同步”，”display_name“：”协调系统的模型同步“，”publication_year“：2010，”publiation_date“：”2010-01-01“，”ids“：{”openalex“：”https://openalex.org/W2145079623“，”doi“：”https://doi.org/10.1504/ijwmc.2010.034219“，”mag“：”2145079623“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1504/ijwmc.2010.034219“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S168395412“，”display_name“：”国际无线与移动计算杂志“，”issn_l“：”1741-1084“，”isn“：[”1741-10084“，“1741-1092”]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310317825“，”“host_organization_name”：“Inderscience Publishers”，“host_organization_lineage”：[“https://openalex.org/P4310317825“]，”host_organization_lineage_names“：[”Inderscience Publishers“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，_repository_has_fulltext“：false}，“作者”：[{“author_position”：“first”，“author”：{“id”：“https://openalex.org/A5080478168“，”display_name“：”A.Y.Chang“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I207776796“，”display_name“：”华侨大学“，”ror“：”https://ror.org/01j9jq089“，”country_code“：”TW“，”type“：“教育”，”世系“：[”https://openalex.org/I207776796“]}]，”国家“：[”TW“]，”is_corresponding“：false，”raw_author_name“：”Anthony Y.Chang“，”raw _ afiliation_strings“：[台湾台中华侨大学信息技术系]，”affiliations“：[{”raw _affiliation_strong“：”台湾台中华侨大学信息科技系”，“institution_ids”：[“https://openalex.org/I207776796“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5057547860“，”display_name“：”Jason C.Hung“，”orcid“：”https://orcid.org/0000-0002-3316-4250}，“机构”：[{“id”：https://openalex.org/I207776796“，”display_name“：”华侨大学“，”ror“：”https://ror.org/01j9jq089“，”country_code“：”TW“，”type“：”教育“，”血统“：[”https://openalex.org/I207776796“]}]，”国家“：[”TW“]，”is_corresponding“：false，”raw_author_name“：”Jason C.Hung“，”raw _ afiliation_strings“：[“台湾台中华侨大学信息技术系”]，”affiliations“：[{”raw _affiliation_strong“：”台湾台中华侨大学信息科技系”，“institution_ids”：[“”https://openalex.org/I207776796“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：空，”fwci“：0.506，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：2，”citation_normalized_percentile“：{”value“：0.724256，”is_in_top_1_percent“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：72，”max“：75}，“biblio”：{“volume”：“4”，“issue”：“3”，“first_page”：“203”，“last_page”：”203https://openalex.org/T10703“，”display_name“：”工作流挖掘和业务流程管理“，”score“：0.9931，”subfield“：{”id“：”https://openalex.org/subfields/1404“，”display_name“：”管理信息系统“}，”字段“：{”id“：”https://openalex.org/fields/14“，”display_name“：”商业、管理和会计“}，”域“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}，”主题“：[{”id“：”https://openalex.org/T10703“，”display_name“：”工作流挖掘和业务流程管理“，”score“：0.9931，”subfield“：{”id“：”https://openalex.org/subfields/1404“，”display_name“：”管理信息系统“}，”字段“：{”id“：”https://openalex.org/fields/14“，”display_name“：”商业、管理和会计“}，”域“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9931，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.993，“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/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.5431}，{”id“：”https://openalex.org/keywords/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.51281}，{”id“：”https://openalex.org/keywords/conformance-checking网站“，”display_name“：”一致性检查“，”score“：0.500201}，{”id“：”https://openalex.org/keywords/system-requirements-规范“，”display_name“：”系统需求规范“，”score“：0.43773782}，{”id“：”https://openalex.org/keywords/complex-system网站“，”display_name“：”复杂系统“，”score“：0.4139079}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.90374064}，{”id“：”https://openalex.org/C89611455，“wikidata”：https://www.wikidata.org/wiki/Q6804646“，”display_name“：”机制（生物学）“，”level“：2，”score“：0.6308677}，{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.52320004}，{”id“：”https://openalex.org/C2778562939，“wikidata”：https://www.wikidata.org/wiki/Q1298791“，”display_name“：”同步（交流）“，”level“：3，”score“：0.5145628}，{”id“：”https://openalex.org/C84651959，“wikidata”：https://www.wikidata.org/wiki/Q17052506“，”display_name“：”系统需求规范“，”level“：2，”score“：0.43773782}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42210656}，{”id“：”https://openalex.org/C47822265，“wikidata”：https://www.wikidata.org/wiki/Q854457“，”display_name“：”复杂系统“，”level“：2，”score“：0.4139079}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634网址“，”display_name“：”分布式计算“，”level“：1，”score“：0.40157688}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.27867776}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.19306713}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”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/C127162648，“wikidata”：https://www.wikidata.org/wiki/Q16858953“，”display_name“：”频道（广播）“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1504/ijwmc.2010.032219“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S168395412“，”display_name“：”国际无线与移动计算杂志“，”issn_l“：”1741-1084“，”issn“：[”1741-1084“，”1741-1092“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310317825“，”“host_organization_name”：“Inderscience Publishers”，“host_organization_lineage”：[“https://openalex.org/P4310317825“]，”host_organization_lineage_names“：[”Inderscience Publishers“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：20，“referrenced_works”：https://openalex.org/W152735434","https://openalex.org/W1535785531","https://openalex.org/W1543864477","https://openalex.org/W170717793","https://openalex.org/W1710227109","https://openalex.org/W1964839117","https://openalex.org/W1975767205","https://openalex.org/W2080360997","https://openalex.org/W2098283973","https://openalex.org/W2116626663","https://openalex.org/W2118706864","https://openalex.org/W2132381663","https://openalex.org/W2133393998","https://openalex.org/W2135515705","https://openalex.org/W2144835774","https://openalex.org/W2155081832","https://openalex.org/W2161484642","https://openalex.org/W2167700420","https://openalex.org/W2170783078","https://openalex.org/W67110772“]，”related_works“：[”https://openalex.org/W2390968135","https://openalex.org/W2388563748","https://openalex.org/W2382997850","https://openalex.org/W2382213751","https://openalex.org/W2375179084","https://openalex.org/W2370906336","https://openalex.org/W2366646518","https://openalex.org/W2354715126","https://openalex.org/W2351750670","https://openalex.org/W1597848696“]，”abstract_inverted_index“：{”This“：[0]，”paper“：[1]，”developes“：[2]，”a“：[3,23]，”general“，”：[4]，”理论“：[5]，”计算“：[6]，”model“：[7]，”for“：[8]，”discussing“：[9]，”synchronization“：[10,64,68]，”and“：[11,35,54,70]，”specification“：[12,31]，”schemes.“：[13]，”We“：[14]，”analysis“：[15]，“the”：[16,29]，“domains”：[17]，“of”：[18]，“relationships”：[19]，“在“：[20]”、“代理”：[21]、“in”：[22,28]、“协调”：[24]、“系统”之间。“：[25]，”可能“：[26]，”冲突“：[27]，”代理“：[30,73]，”是“：[32]，”第一个“：[33]，”检测到“：[34]，”已消除。“：[36]，”The“：[37,58]，”mechanism“：[38,59]，”constructs“：[39]，”partial“：[40]，”order“：[41]，”relationship“：[42]，”interface“：[43]，”actions“。“：[44]，”A“：[45]，”时态“：[46，56]，”代数“：[47]，”is“：[48，60]，”提议“：[49]，”to“：[50，62，66，71]，”deal“：[51]，”with“：[52]，”定性“：[53]，”定量“：[55]，”关系。“：[57]，”高效“：[61]，”句柄“：[63]，”规范“：[65]，”生成“：[67]，”场景“：[69]，”满足“：[72]，”请求。“：[74]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2145079623“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}，{”年份“：2013，”cited_by_count”：1}]，”更新日期“：”2024-08-13T20:12:38.729927“，”创建日期“：“2016-06-24”}