{“id”：“https://openalex.org/W4235170768“，”doi“：”https://doi.org/10.1145/18172.1819“，”title“：”通信协议的层自动化表示“，”display_name“：”通讯协议的层自动表示“，“publication_year”：1986，”publication_date“：”1986-08-01“，”ids“：{”openalex“：”https://openalex.org/W4235170768“，”doi“：”https://doi.org/10.1145/18172.18189“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/18172.18189“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5027700304“，”display_name“：”Zamir Bavel“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I146416000“，”display_name“：”堪萨斯大学“，”ror“：”https://ror.org/001tmjg57“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I146416000“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Z Bavel“，”raw _ afiliation_strings“：[“堪萨斯州劳伦斯市堪萨斯大学计算机科学系”]，”affiliations“：[{”raw_ afiliation _string“：”堪萨斯州劳伦斯市堪萨斯城堪萨斯大学计算科学系”，“institution_ids”：[“https://openalex.org/I146416000“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5089529048“，”display_name“：”J Grzymala-Busse“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I146416000“，”display_name“：”堪萨斯大学“，”ror“：”https://ror.org/001tmjg57“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I146416000“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”J Grzymala-Busse“，”raw _ afiliation_strings“：[“堪萨斯州劳伦斯市堪萨斯大学计算机科学系”]，”affiliations“：[{”raw_ afiliation _string“：”堪萨斯州Lawrence市堪萨斯州大学计算机科学学院”，“institution_ids”：[”https://openalex.org/I146416000“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5052120469“，”display_name“：”Y-T.Hsia“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I146416000“，”display_name“：”堪萨斯大学“，”ror“：”https://ror.org/001tmjg57“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I146416000“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Y Hsia“，”raw _ afiliation_strings“：[“堪萨斯州劳伦斯市堪萨斯大学计算机科学系”]，”affiliations“：[{”raw_ afiliation _string“：”堪萨斯州劳伦斯市堪萨斯城堪萨斯大学计算科学系”，“institution_ids”：[“https://openalex.org/I146416000“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5002502346“，”display_name“：”R Mancisidor-Londa“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I146416000“，”display_name“：”堪萨斯大学“，”ror“：”https://ror.org/001tmjg57“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I146416000“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”R Mancisior-Londa“，”raw _ afiliation_strings“：[“堪萨斯州劳伦斯市堪萨斯大学计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”堪萨斯州劳伦斯市堪萨斯大学计算机科学部“，”institution_ids“：[https://openalex.org/I146416000“]}]}]，”institution_assertions“：[]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]、”correspounding_institution_ids“：[]，”apc_list“：null，”apc _payed“：nul，”fwci“：1.093，”has_fulltext“：false，”cited_by_count：2，”citation_normalized_percentile“：{”value“：0.335398，”is_in_top_1_percent“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：62，”max“：66}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，，“is_retracted”：false，“is_paratext”：false，“primary_topic”:{“id”：“https://openalex.org/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9972，“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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9972，“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.9964，“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/T10679“，”display_name“：”QoS-Aware Web服务组合和语义匹配“，”score“：0.994，”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/model-checking“，”display_name“：”模型检查“，”score“：0.468873}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7749001}，{”id“：”https://openalex.org/C115901376，“wikidata”：https://www.wikidata.org/wiki/Q184199“，”display_name“：”Automation“，”level“：2，”score“：0.68934035}，{”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”“display_name”“：”协议（科学）“，”级别“：3，”分数“：0.58833927}，{”id“：”https://openalex.org/C12269588，“wikidata”：https://www.wikidata.org/wiki/Q132364“，”display_name“：”通信协议“，”level“：2，”score“：0.55472183}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.4927254}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.4525572}，{”id“：”https://openalex.org/C2779182362，“wikidata”：https://www.wikidata.org/wiki/Q17126187“，”“display_name”“：”会话（web分析）“，”级别“：2，”分数“：0.43171382}，{”id“：”https://openalex.org/C77618280，“wikidata”：https://www.wikidata.org/wiki/Q1155772网址“，”display_name“：”Scheme（数学）“，”level“：2，”score“：0.42146626}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.104289025｝，｛”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”级别“：1，”分数“：0.07186663}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.062007397}，{”id“：”https://openalex.org/C78519656，“wikidata”：https://www.wikidata.org/wiki/Q101333“，”display_name“：”机械工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C204787440，“wikidata”：https://www.wikidata.org/wiki/Q188504“，”display_name“：”替代医学“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C142724271，“wikidata”：https://www.wikidata.org/wiki/Q7208“，”display_name“：”病理“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/18172.18189“，”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”：6，“referrenced_works”：[”https://openalex.org/W1529477945","https://openalex.org/W1978358700","https://openalex.org/W1981861428","https://openalex.org/W2025970201","https://openalex.org/W2029117638","https://openalex.org/W2092352752“]，”related_works“：[”https://openalex.org/W644007644","https://openalex.org/W621808327","https://openalex.org/W4298212052","https://openalex.org/W4296749040","https://openalex.org/W4254015142","https://openalex.org/W4230197055","https://openalex.org/W2409714959","https://openalex.org/W2392986374","https://openalex.org/W2390164899","https://openalex.org/W2388330702“]，”abstract_inverted_index“：{“The”：[0,43]，“tier”：[1,31]，“automation”：[2,32]，“is”：[3,41,45]，“presented”：[4]，“as”：[5,60]，“a”：[6,49,53]，“model”：[7,15,34]，“for”：[8,28]，“communication”：/9]，“protocols.”：[10]，“Severt”：[11]，“advantaints”：[12]，“of”：[13,22]，“The”：[14],30,57]，“are”：[16,20]，“refered”，“：[17]，“interface”：[18]，“which”：[19]，“普适性”：[21]，“表示“：[23]，”和“：[24,38,52]，”可操作性。“：[25]，“A”：[26]，“scheme”：[27，44]，“using”：[29]，“to”：[33]，“specific”：[35]，“distributed”：[36]，“architecture”：[37]，“their”：[39]，“protocols”：[40]，”描述。“：[42]，”then“：[46]，”used“：[47]，”on“：[48]，”sample“：[50,58]，”protocol“：[51,59]，”transmission“：[54]，”session“：【55】，”with“：【56】，”展示。“：[61]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4235170768“，”counts_by_year“：[]，”updated_date“：”2024-09-15T22:00:25.473868“，”created_date:“2022-05-12”}“