{“id”：“https://openalex.org/W1964053464网址“，”doi“：”https://doi.org/10.1007/s10009-006-0003-0“，”title“：”VeriTech:在模型描述符号之间转换的框架“，”display_name“：”VeriTech:一个在模型描述注释之间转换的架构“，”publication_year“：2006，”publiation_date“：”2006-07-10“，”ids“：{”openalex“：”https://openalex.org/W1964053464“，”doi“：”https://doi.org/10.1007/s10009-006-0003-0“，”mag“：”1964053464“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-006-0003-0“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”display_name“：”《国际技术转让软件工具杂志》“，”issn_l“：”1433-2779“，”issn“：[”1433-2779“，”1433-2787“]，”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/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”journal“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5043936415“，”display_name“：”Orna Grumberg“，”orcid“：”https://orcid.org/0009-0005-9682-3312“｝，”机构“：[｛”id“：”https://openalex.org/I174306211“，”display_name“：”Technion\u2013以色列理工学院“，”ror“：”https://ror.org/03qryx823“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I174306211“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”Orna Grumberg“，”raw _affiliation_strings“：[“Technion，计算机科学部，海法，以色列#TAB#”]，“affiliations”：[{“raw_affiliation _string”：“Technionhttps://openalex.org/I174306211“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5055894990“，”display_name“：”Shmuel Katz“，”orcid“：”https://orcid.org/0000-0002-7065-8823“｝，”机构“：[｛”id“：”https://openalex.org/I174306211“，”display_name“：”Technion\u2013以色列理工学院“，”ror“：”https://ror.org/03qryx823“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I174306211“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”Shmuel Katz“，”raw _ afiliation_strings“：[“Technion，计算机科学部，海法，以色列#TAB#”]，”affiliations“：[{”raw _affiliation_strong“：”Technion，计算科学部，以色列#TAB#“，”institution_ids“：]”https://openalex.org/I174306211“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[[]，”apc_list“：{”value“：2390，”currency“：”EUR“，”value_usd“：2990，”provenance“：”doaj“}”，“apc_payed”：null，“fwci”：0.455，“has_fulltext”：true，“全文_origin“：”ngrams“，”cited_by_count“：6，”引用_规范化_percentile“：{”value“：0.743137，”is_in_top_1_percent“：false，”is_in_top_10_percents“：false}，”cited_by_percentile_year“：{“min”：78，“max”：79}，“biblio”：{“volume”：“9”，“issue”：“2”，“first_page”：“119”，“last_page”：”132，“is_retracted”：false、“is_paratext”：false，“primary_topic”：{“id”：“”https://openalex.org/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9997，”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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9997，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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/T10703“，”display_name“：”工作流挖掘和业务流程管理“，”score“：0.9934，”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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.567123}，{”id“：”https://openalex.org/keywords/model-transformation网站“，”display_name“：”模型转换“，”score“：0.522071}，{”id“：”https://openalex.org/keywords/conformance-checking网站“，”display_name“：”一致性检查“，”score“：0.515964}，{”id“：”https://openalex.org/keywords/theory-of-computation网站“，”display_name“：”计算理论“，”score“：0.44070995}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.85668445}，{”id“：”https://openalex.org/C45357846，“wikidata”：https://www.wikidata.org/wiki/Q2001982“，”display_name“：”Notation“，”level“：2，”score“：0.8263042}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.617741｝，｛”id“：”https://openalex.org/C25343380，“wikidata”：https://www.wikidata.org/wiki/Q277521“，”display_name“：”关系（数据库）“，”级别“：2，”分数“：0.54715025}，{”id“：”https://openalex.org/C149364088，“wikidata”：https://www.wikidata.org/wiki/Q185917“，”display_name“：”Translation（biology）“，”level“：4，”score“：0.5315466}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.45641357}，{”id“：”https://openalex.org/C24858836，“wikidata”：https://www.wikidata.org/wiki/Q844718“，”display_name“：”计算理论“，”level“：2，”score“：0.44070995｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3278467}，{”id“：”https://openalex.org/C204321447，“wikidata”：https://www.wikidata.org/wiki/Q30642“，”display_name“：”自然语言处理“，”level“：1，”score“：0.32242912}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491网址“，”display_name“：”数据挖掘“，”level“：1，”score“：0.13550779}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.10901216}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C105580179，“wikidata”：https://www.wikidata.org/wiki/Q188928“，”display_name“：”Messenger RNA“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-006-0003-0“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”display_name“：”《国际技术转让软件工具杂志》“，”issn_l“：”1433-2779“，”issn“：[”1433-2779“，”1433-2787“]，”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/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“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”：37，“referrenced_works”：[“https://openalex.org/W108971667","https://openalex.org/W1487158608","https://openalex.org/W1502494185","https://openalex.org/W1504003510","https://openalex.org/W1506588809","https://openalex.org/W1517173520","https://openalex.org/W1543430399","https://openalex.org/W1571819235","https://openalex.org/W1583645201","https://openalex.org/W1590686765","https://openalex.org/W1599489402","https://openalex.org/W1605593319","https://openalex.org/W1606860058","https://openalex.org/W1608624815","https://openalex.org/W1972065960","https://openalex.org/W2009965218","https://openalex.org/W2040060046","https://openalex.org/W2061438988","https://openalex.org/W2093916942","https://openalex.org/W2096039823","https://openalex.org/W2099529102","https://openalex.org/W2107978495","https://openalex.org/W2113486906","https://openalex.org/W2119149970","https://openalex.org/W2121372686","https://openalex.org/W2128111779","https://openalex.org/W2148853331","https://openalex.org/W2163751633","https://openalex.org/W2164989576","https://openalex.org/W2171480813","https://openalex.org/W2340735175","https://openalex.org/W2787127008","https://openalex.org/W2913459036","https://openalex.org/W3129277215","https://openalex.org/W3140353777","https://openalex.org/W4250884204","https://openalex.org/W4300021588“]，”related_works“：[”https://openalex.org/W4240253816","https://openalex.org/W4234874385","https://openalex.org/W4232954277","https://openalex.org/W3096456556","https://openalex.org/W2979513934","https://openalex.org/W2749133591","https://openalex.org/W2504004674","https://openalex.org/W2367473450","https://openalex.org/W2169584677","https://openalex.org/W2020341030“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1964053464“，”counts_by_year“：[{”年份“：2021，”cited_by_count“：1}，{”年“：2013，”cited_by_count”：3}]，”更新日期“：”2024-09-26T22:04:04.542828“，”创建日期“：“2016-06-24”}