{“id”：“https://openalex.org/W1858193385“，”doi“：”https://doi.org/10.1007/978-3-540-39878-3_15“，”title“：”A Unified Tool for Performance Modelling and Prediction“，”display_name“：”一个统一的性能建模和预测工具“，”publication_year“：2003，”publiation_date“：”2003-01-01“，“ids”：{“openalex”：“https://openalex.org/W1858193385“，”doi“：”https://doi.org/10.1007/978-3-540-39878-3_15“，”mag“：”1858193385“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-39878-3_15“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://www.pure.edac.uk/ws/files/13472456/safecomp2003_1_.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A500114432“，”display_name“：”Stephen Gilmore“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Stephen Gilmore“，”raw _affiliation_strings“：[“苏格兰爱丁堡大学计算机科学基础实验室”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5054603304“，”display_name“：”Le\u0131\u0308la Kloul“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]｝]，”国家“：[”GB“]，”is_corressionang“：false，”raw_author_name“：”Le\u00efla Kloul“，”raw_affiation_strings“：[”苏格兰爱丁堡大学计算机科学基础实验室“]｝]，”国家_地区_计数“：1，”机构_地区_计数“：1，”对应_作者_ ID“：[]，”对应_机构_ ID“：[]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value”：5000，“currency:”EUR”，“value_usd:5392，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：7，“citected_by_percentile_year”：{“min”：80，“max”：81}，“：{”volume“：null，”issue“：nul，”first_page“：”179“，”last_page“：”192“}，”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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9995，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9975，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/model-checking“，”display_name“：”模型检查“，”score“：0.553724}，{”id“：”https://openalex.org/keywords/feature-models网站“，”display_name“：”Feature Models“，”score“：0.536528}，{”id“：”https://openalex.org/keywords/model-based-development网站“，”display_name“：”基于模型的开发“，”score“：0.501719}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8925952}，{”id“：”https://openalex.org/C145644426，“wikidata”：https://www.wikidata.org/wiki/Q169411“，”display_name“：”统一建模语言“，”level“：3，”score“：0.7706904}，{”id“：”https://openalex.org/C45357846，“wikidata”：https://www.wikidata.org/wiki/Q2001982“，”display_name“：”Notation“，”level“：2，”score“：0.621518｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.547263}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.50114775}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.50093436}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.45973173}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.45106345}，{”id“：”https://openalex.org/C161771561，“wikidata”：https://www.wikidata.org/wiki/Q1970286“，”display_name“：”进程演算“，”level“：2，”score“：0.43208727}，{”id“：”https://openalex.org/C135257023，“wikidata”：https://www.wikidata.org/wiki/Q691358“，”display_name“：”领域特定语言“，”level“：2，”score“：0.42143673}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.41082555}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2895245}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.102660835}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-39878-3_15“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://www.research.ed.ac.uk/portal/en/publications/a-unified-tool-for-performance-modelling-and-prediction网站（53cecf76-393d-426e-990c-64a89fd5d268）.html“，”pdf_url“：”https://www.pure.edac.uk/ws/files/13472456/safecomp2003_1_.pdf，“源”：{“id”：https://openalex.org/S4306400320“，”“display_name”“：”爱丁堡研究探索者（爱丁堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I98677209“，”“host_organization_name”：“爱丁堡大学”，“host_organization_lineage”：[“https://openalex.org/I98677209“]，”host_organization_lineage_names“：[”爱丁堡大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/20.500.11820/b6f43327-1df-4a1f-9104-d71979923859，“pdf_url”：https://www.research.ed.ac.uk/files/13465156/umlpepaprism.pdf，“源”：{“id”：https://openalex.org/S4306400320“，”“display_name”“：”爱丁堡研究探索者（爱丁堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I98677209“，”“host_organization_name”：“爱丁堡大学”，“host_organization_lineage”：[“https://openalex.org/I98677209“]，”host_organization_lineage_names“：[”爱丁堡大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.307.7150，“pdf_url”：http://homepages.inf.ed.ac.uk/stg/publications/safecomp2003.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：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}，{“is_oa”：true，“landing_page_url”：“https://www.pure.ed.ac.uk/ws/files/13465156/umlpepaprism.pdf，“pdf_url”：https://www.pure.ed.ac.uk/ws/files/13465156/umlpepaprism.pdf，“源”：{“id”：https://openalex.org/S4306400320“，”“display_name”“：”爱丁堡研究探索者（爱丁堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I98677209“，”“host_organization_name”：“爱丁堡大学”，“host_organization_lineage”：[“https://openalex.org/I98677209“]，”host_organization_lineage_names“：[”爱丁堡大学“]，“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://www.research.ed.ac.uk/portal/en/publications/a-unified-tool-for-performance-modelling-and-prediction网站（53cecf76-393d-426e-990c-64a89fd5d268）.html“，”pdf_url“：”https://www.pure.edac.uk/ws/files/13472456/safecomp2003_1_.pdf，“源”：{“id”：https://openalex.org/S4306400320“，”“display_name”“：”爱丁堡研究探索者（爱丁堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I98677209“，”host_organization_name“：”爱丁堡大学“，”host_organization_lineage“：[”https://openalex.org/I98677209“]，”host_organization_lineage_names“：[”爱丁堡大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1486258796","https://openalex.org/W1501020965","https://openalex.org/W1829244603","https://openalex.org/W1909562114","https://openalex.org/W2134991157","https://openalex.org/W2140228363","https://openalex.org/W2148592141","https://openalex.org/W2561675875","https://openalex.org/W2710510407","https://openalex.org/W2912904668","https://openalex.org/W3163686038","https://openalex.org/W4206542816“]，”related_works“：[”https://openalex.org/W4390482104","https://openalex.org/W4301864728","https://openalex.org/W322408318","https://openalex.org/W2963177394","https://openalex.org/W2728210909","https://openalex.org/W2504004674","https://openalex.org/W2498744856","https://openalex.org/W1965815883","https://openalex.org/W1595229445","https://openalex.org/W14904114“]，”ngrams_url“：”https://api.openalex.org/works/W1858193385/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,76]，“describe”：[1]，“a”：[2,81]，“novely”：[3]，“performability”：[4]，“modeling”：[5,34]，“approach”：[6,79]，“which”：[7,23,38]，“facilities”：[8]，“the”：[9,31,40,45,50,65,86]，“efficient”：[10,41]，“solution”：[11]，“of”：[12,88]，“perormance”：[13,47]，“模型”：[14,58]，“提取”：[15]，“来自”：[16,85]，“高级”：[17,28]，“descriptions“：[18]，”系统。“：[20]，”The“：[21,36,56]，”notation“：[22]，”we“：[24]，”use“：[25]，”for“：[26,44,74]，”our“：[2]，78]，”designs“：[29]，”is“：[30,49]，”UML“：[32,57]，”graphical“：[33]，”language“。“：[35]，”技术“：[37]，”提供“：[39]，”表示“：[42]，”能力“：[43]，”基础“：[46]，”模型“：[48,54]，”基于MTBDD“：[51]，”PRISM“：[52]，”概率“：[53]，”检查程序。“：[55]，”are“：[59]，”compiled“：[60]，”through“：[61]，”an“：[62]，”intermediate“：[63]，”language“，”：[64]，”randomic“：[66]，”process“：[67]，”algebration“：[68]，”PEPA“：[69]，”before“：[70]，”translation“：[71]，”into“：[72]，”MTBDDs“：[3]，”solution“。“：[75]，”图解“：[77]，”on“：[80]，”真实世界“：[82]，”分析“：[83]，”问题“：[84]，”域“：[87]，”移动“：[89]，”电话。“：[90]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1858193385“，”counts_by_year“：[]，”updated_date“：”2024-05-10T15:20:19.206614“，”创建日期“：”2016-06-24“}