{“id”：“https://openalex.org/W1481613203“，”doi“：”https://doi.org/10.1007/978-3-540-68863-1_7“，”title“：”基于对象的通信状态机的符号步骤编码“，”display_name“：”用于基于对象的通讯状态机的象征步骤编码“、”publication_year“：2008，”publication_date“：”2008-01-01“，”ids“：{”openalex“：”https://openalex.org/W1481613203“，”doi“：”https://doi.org/10.1007/978-3-540-68863-1_7“，”mag“：”1481613203“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-68863-1_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-68863-1_7.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-540-68863-1_7.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5025256981“，”display_name“：”Jori Dubrovin“，”orcid“：null}，”institutions“：[]，”countries“：[”FI“]，”is_corresponding“：false，”raw_author_name“:”Jori Dubrovin”，“raw_affiliation_strings”：[”赫尔辛基理工大学信息与计算机科学系TKK，芬兰FI-02015 TK#TAB#“]，“afliations”：[{“raw_affiliation_string”：“”赫尔辛基理工大学信息与计算机科学系芬兰TKK FI-02015 TKK#TAB#“，”institution_ids“：[]}]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5037137004“，”display_name“：”Tommi Junttila“，”orcid“：null}，”institutions“：[]，”countries“：[”FI“]，”is_corresponding“：false，”raw_author_name“:”Tommy Junttila-“，”raw _affiliation_strings“：【”赫尔辛基理工大学信息与计算机科学系TKK，芬兰FI-02015-TK#TAB#“】，”afliations“：{”raw_affiliation_string“：”赫尔辛基理工大学信息与计算机科学系芬兰TKK FI-02015 TKK#TAB#“，”institution_ids“：[]}]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5078732211“，”display_name“：”Keijo Heljanko“，”orcid“：”https://orcid.org/0000-0002-4547-2701“}，”机构“：[]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Keijo Heljanko“，”raw _ afiliation_strings“：[“赫尔辛基理工大学信息与计算机科学系TKK，芬兰FI-02015 TKK#TAB#”]，”从属关系“：[{”raw _affiliation_strong“：”赫尔辛基理工大学信息与计算机科学系，芬兰TKK，FI-02015 TKK#TAB#“，”institution_ids“：[]}]}]，”institution_assertions“：[]，”countries_distict_count“：1，”instistations_disticent_count“：0，”corresponding_author_ids”：[]“correspounding_institution_ids”：[]]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“}，”apc_payed“：null，”fwci“：5.471，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：15，”citation_normalized_percentile“：{”value“：0.790763，”is_in_top_1_percent“：false，”is.in_top_10_percennt“：false}，“cited_by_percentile_year”：{“min”：86，“max”：87}，“：{”volume“：null，”issue“：null，”first_page“：”96“，”last_page“：”112“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9953，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9949，“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/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.545332}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing Effort Dependent Models“，”score“：0.513701｝，｛”id“：”https://openalex.org/keywords/transition-system网站“，”display_name“：”过渡系统“，”score“：0.44095302}]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.83890426}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6715837}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.6332745}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5761077}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.53501564}，{”id“：”https://openalex.org/C2781238097，“wikidata”：https://www.wikidata.org/wiki/Q175026“，”display_name“：”Object（grammar）“，”level“：2，”score“：0.45985088}，{”id“：”https://openalex.org/C2779167558，“wikidata”：https://www.wikidata.org/wiki/Q176468“，”display_name“：”过渡系统“，”level“：2，”score“：0.44095302}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.41580272}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.41528645}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.33056682}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-68863-1_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-68863-1_7.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.144.8853，“pdf_url”：http://www.tcs.hut.fi/Publications/bibdb/hut-tcs-B24.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”：“https://doi.org/10.1007/978-3-540-68863-1_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-68863-1_7.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/11“，”display_name“：”可持续城市和社区“，”score“：0.42}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：28，”referrenced_works“：[”https://openalex.org/W1039949627","https://openalex.org/W1480531236","https://openalex.org/W1481613203","https://openalex.org/W1489391022","https://openalex.org/W1495299640","https://openalex.org/W1515231954","https://openalex.org/W1539432158","https://openalex.org/W1541031870","https://openalex.org/W1574570499","https://openalex.org/W1600919542","https://openalex.org/W1644882639","https://openalex.org/W1663140555","https://openalex.org/W1787074469","https://openalex.org/W194677851","https://openalex.org/W1973898358","https://openalex.org/W2022479543","https://openalex.org/W2039492255","https://openalex.org/W2067623660","https://openalex.org/W2086602487","https://openalex.org/W2101602798","https://openalex.org/W2119055724","https://openalex.org/W2143760481","https://openalex.org/W2161040744","https://openalex.org/W21704088876","https://openalex.org/W2598506763","https://openalex.org/W2612995250","https://openalex.org/W32248595","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W4312991606","https://openalex.org/W4298187297","https://openalex.org/W2967704739","https://openalex.org/W258567853","https://openalex.org/W24395736","https://openalex.org/W2146445117","https://openalex.org/W2104141758","https://openalex.org/W2100014112","https://openalex.org/W1559791232","https://openalex.org/W1489487975“]，”abstract_inverted_index“：{”In“：[0]，”this“：[1]，”work“：[2]，”novel“：[3]，”符号“：[4]，”step“：[5]，”encodings“：[6]，”of“：[7,21,32,48,54,68,79,91]，”the“：[8,27,49,52,55,66,82,95120127136]，”transition“：[9]，”relation“：[10]，”for“：[11,64]，”object“：[12,41]，“基于”：[13,70]，“通信”：[14]，“状态”：[15,34,98]，“机器”：[16,35]，“是”：[17101]提出了。“：[18]，”This“：[19]，”class“：[20,78]，”systems“：[22]，”is“：[23,51,84]，”clitted“：[24]，”to“：[25,73,86]，”capture“：[26]，”essential“：[28]，“data”：[29]，“manipulation”：[30]，”features“：[31]，”UML“：[33,97]，”when“：[36]，”enriced“：[37]，”with“：[38112]，”a“：[39,74,88140]，“Java-like”：[40]，“oriented”：[42]，“action”：[43]，“language”。“：[44]，“The”：[45]，“main”：[46]，“commentation”：[47]，“work”：[50]，“generalization”：[53]，“$\\exists$”：[56121]，“-step”：[57122]，“semantics”：[58123130]，“approach”：【59】，“which”：[60]，“Rintanen”：【61】，“has”：【62】，“used”：【63】，“improving”：【65】，“efficiency”：【67】，“SAT”：[69141]，“AI”“：[71]，”规划“：[72]，”多“：[75]，”更多“：[76]，”复杂“：[77]，”系统。“：[80]，”此外，“：[81]，”方法“：[83]，”扩展“：[85]，”使用“：[87]，”动态“：[89]，”概念“：[90]，”独立性。“：[92]，“To”：[93]，“evaluate”：[94]，“codings”：[96]，“machine”：[99]，“models”：[100106]，“automatically”：[102]，“translated”：[103]，“into”：[104]，“NuSMV”：[105]，“and”：[107]，“then”：[108]，“symbolly”：[109]，“model”：[110117]，“checked”：[111]，“NuSMV”。“：[113]，“特别是”：[114]，“in”：[115135]，“有界”：[116]，“检查”：[118]，“（BMC），”：[119]，“经常”：[124]，“显著”：[125]，“优于”：[126]，“传统”：[128]，“交错”：[129]，“没有”：[131]，“任何”：[132]，“实质性”：[133]，“放大”：[134]，“BMC”：[137]，“编码”：[138]，“as”：[139]，“公式。“：[142]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1481613203“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：1}，{”年“：2012，”cited_by_count”：2}]，”更新日期“：”2024-09-26T17:02:58.177077“，”创建日期“：“2016-06-24”}