{“id”：“https://openalex.org/W2119828354“，”doi“：”https://doi.org/10.109/ase.2009.49“，”title“：”支持需求验证：EuRailCheck Tool“，”display_name“：”支撑需求验证：The EuRailCheck Tool”，“publication_year”：2009，“publiation_date”：“2009-11-01”，”ids“：{”openalex“：”https://openalex.org/W2119828354“，”doi“：”https://doi.org/10.109/ase.2009.49“，”mag“：”2119828354“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/ase.2009.49“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5037671595“，”display_name“：”Roberto Cavada“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Roberto Cavada“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler-Irst，Trento，Italy#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler-Erst，Trento#“，Italy#TAB#1”，“institution_ids”：[“https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler-Irst，Trento，Italy#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno凯斯勒-Irst，意大利#TAB##“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5049464220“，”display_name“：”Alessandro Mariotti“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”country_code“：”IT“，”type“：”设施“，”沿袭“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Mariotti“，”raw _ affiliation_strings“：[“Fondazione Bruno Kessler-Irst，Trento，Italy#TAB#”]，”affiliation“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler-Erst，Trento#“，Italy#TAB=”，“institution_ids”：[“https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5023931839“，”display_name“：”Cristian Mattarei“，”orcid“：”https://orcid.org/0000-0001-5050-896X}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”country_code“：”IT“，”type“：”设施“，”沿袭“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Cristian Mattarei“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler-Irst，Trento，Italy#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler-Irst，Trento#“，Italy#TAB#”，“institution_ids”：[“https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5044668534“，”display_name“：”Andrea Micheli“，”orcid“：”https://orcid.org/0000-0002-6370-1061}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Andrea Micheli“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler-Irst，Trento，Italy#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno凯斯勒-Irst，特伦托，Italy#TAB#TAB#“，”institution_ids“：]”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：”https://orcid.org/0000-0003-1029-9547}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]｝]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Sergio Mover“，”raw_affiation_strings“：[”意大利特伦托Bruno Kessler Irst基金会#TAB#“]，”附属机构“：[｛”raw_affiation_string“：”意大利特伦托Bruno Kessler Irst基金会#TAB#“，”institution_ids“：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5031625674“，”display_name“：”Marco Pensallorto“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”网址：https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Pensallorto“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler-Irst，Trento，Italy#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler-Erst，Trento#“，Italy#TAB=”，“institution_ids”：[“https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5055975794“，”display_name“：”Marco Roveri“，”orcid“：”https://orcid.org/0000-0001-9483-3940}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”网址：https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Roveri“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler-Irst，Trento，Italy#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler-Irst，Trento#“，Italy#TAB=”，“institution_ids”：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5021820623“，”display_name“：”Angelo Susi“，”orcid“：”https://orcid.org/0000-0002-5026-7462}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Angelo Susi“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler-Irst，Trento，Italy#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno凯斯勒-Irst，特伦托，意大利#TAB#“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5018618502“，”display_name“：”Stefano Tonetta“，”orcid“：”https://orcid.org/0000-0001-9091-7899}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Stefano Tonetta“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler-Irst，Trento，Italy#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler-Irst，Trento#“，Italy#TAB#”，“institution_ids”：[“https://openalex.org/I2277624104“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[].”apc_list“：null，”apc_payed“：nul，”fwci“：1.902，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：15，“citation_normalized_percentile”：{“value”：0.8 82432，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：87，”max“：88}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：nullhttps://openalex.org/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9989，”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.9989，”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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.997，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9932，“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/tool-integration网站“，”display_name“：”工具集成“，”score“：0.511372}]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.76279235}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.5769161}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.5732485｝，｛”id“：”https://openalex.org/C145644426，“wikidata”：https://www.wikidata.org/wiki/Q169411“，”display_name“：”统一建模语言“，”level“：3，”score“：0.5673655}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.5617037}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.5205782}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5045668}，{”id“：”https://openalex.org/C59488412，“wikidata”：https://www.wikidata.org/wiki/Q187147“，”display_name“：”需求分析“，”level“：3，”score“：0.44676343}，{”id“：”https://openalex.org/C201677973，“wikidata”：https://www.wikidata.org/wiki/Q1209840“，”“display_name”“：”规范语言“，”级别“：2，”分数“：0.42475846}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.40508348}，{”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.34132153}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.14296305}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”Software“，”level“：2，”score“：0.11701575}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/ase.2009.49“，”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/W1553989278","https://openalex.org/W1577971814","https://openalex.org/W2022890244","https://openalex.org/W2048074122","https://openalex.org/W2113541988","https://openalex.org/W4239884176“]，”related_works“：[”https://openalex.org/W4385730994","https://openalex.org/W2897842245","https://openalex.org/W2576260943","https://openalex.org/W2350068048","https://openalex.org/W2156223462","https://openalex.org/W2132815515","https://openalex.org/W2100294651","https://openalex.org/W2016051366","https://openalex.org/W1977144985","https://openalex.org/W1520778375“]，”abstract_inverted_index“：{”We“：[0]，”present“：[1]，”the“：[2,7,10,16,24,28,43,64,74,91,96,99107]，”EuRailCheck“：[3]，”tool“：[4]，”which“：[5,57]，”supports“：[6]，”formalization“：[8]，”and“：[9,33,36,53,84]，”validation“：[11,75,97]，”of“：[12,18,76,98118]，”requirements，“：[13]，“基于”：[14]，“关于”：[15]，“使用”：[17]，“形式”：[19,61,77]，“方法”：[20]，““：[21，79]，”工具“：[22，65，80108]，”允许“：[23，40，66]，”用户“：[25]，”to“：[26，34，41，67]，”分析“：[27]，”需求“：[29，44]，”in“：[30]，”自然“：[31]，”语言“：[32]，”分类“：[35]，”结构“：[37]，”它们。“：[38]，“It”：[39]，“formalize”：[42]，“into”：[45]，“a”：[46,60,87]，“subset”：[47]，“UML”：[49]，“enriced”：[50]，“with”：[51]，“static”：[52]，“temporal”：[54]，“constraints”：[55]，“for”：[56,73,95]，“we”：58]，“defined”：[59]，“semantics”。“：[62]，”最后，“：[63]，”应用“：[68]，”模型“：[69]，”检查“：[70]，”技术“：[71]，”专门化“：[72]，”要求。“：[78]，”has“：[81109]，”been“：[82110]，”developed“：[83]，”validated“：[85]，”within“：[86]，”project“：88]，”funded“：+89]，”by“：[90113]，”European“：[92100]，”Railway“：/93]，”Agency“：[94]，”Train“：[101]，”Control“：[102]，”System“：[103]，”specification。“：[104]，”By“：[105]，”now“：[106]，”successfully“：[111]，”used“：[112]，”about“：[114]，”thentity“：[115]，”railway“：116]，”experts“：[117]，”different“：+119]，”companies“（公司）。“：[120]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2119828354“，”counts_by_year“：[{“年份”：2024，”cited_by_count“：1}，{“年”：2022，”ciped_by_cunt“：1}，”{“年度”：2020，“cited_by_count”：1}.，{”年“：2016，”cited_by_count“创建日期”：“2016-06-24”}