{“id”：“https://openalex.org/W2070475271“，”doi“：”https://doi.org/10.4204/eptcs.139.4“，”title“：”Fluent Logic Workflow Analyzer:一个验证工作流属性的工具“，”display_name“：”Florent Logic Workfow Analyzer：一个验证工作流程属性的工具”，“publication_year”：2014，“publiation_date”：“2014-01-02”，“ids”：{“openalex”：“https://openalex.org/W2070475271“，”doi“：”https://doi.org/10.4204/eptcs.139.4“，”mag“：”2070475271“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：null，”pdf_url”：“https://arxiv.org/pdf/1401.0971，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“，”doaj“]，”open_access“：{”is_oa“：true，”oa_status“：”diamond“，”oa_url“：”https://arxiv.org/pdf/1401.0971“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5074298887“，”display_name“：”Germ\u00e1n Regis“，”orcid“：”https://orcid.org/0000-0002-0979-4623“}，”机构“：[]，”国家“：[”AR“]，”is_corresponding“：false，”raw_author_name“：”Germ\u00e1n Regis“，”raw _ afiliation_strings“：[“UNRC-阿根廷”]，”从属关系“：[{”raw _affiliation_string“：”UNRC-Argentina“，”institution_ids“：[]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5031309062“，”display_name“：”Fernando Mac\u00edas“，”orcid“：”https://orcid.org/0000-0002-6442-6997“}，”机构“：[]，”国家“：[”AR“]，”is_corresponding“：false，”raw_author_name“：”费尔南多·维拉尔“，”raw _ afiliation_strings“：[“UNRC-阿根廷”]，”从属关系“：[{”raw_ afiliation _string“：”UNRC-阿根廷人“，”机构id“：[]}，{”author_position“：”last“，”author“：”https://openalex.org/A5085876981“，”display_name“：”Nicol\u00e1s Ricci“，”orcid“：null}，”institutions“：[]，”countries“：[”AR“]，”is_corresponding“：false，”raw_author_name“:”Nicol \u00e 1s Ricci“，“raw_affiliation_strings”：[”UNRC-阿根廷“]，“affiliations”：[{“raw_affiliation_string”：“UNRC-阿根廷人”，“institution_ids”：[]}]，“countries_distiction_count”：1，“institutions_distiction_count”：0，“corresponding_author_ids“：[]，”correspounding_institution_ids”：[]、“apc_list”：{“value”：0、“currency”：“USD”、“value_USD”：0，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.571，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：1，“citected_by_percentile_year”:{“min”：68，“max”：75}，”biblio“：{”卷“：”139“，”问题“：null，”第一页“：”46“，”最后一页“：“51”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10703“，”display_name“：”工作流挖掘和业务流程管理“，”score“：0.9999，”subfield“：｛”id“：”https://openalex.org/subfields/s404“，”display_name“：”管理信息系统“}，”字段“：{”id“：”https://openalex.org/fields/14“，”display_name“：”商业、管理和会计“}，”域“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}，”主题“：[{”id“：”https://openalex.org/T10703“，”display_name“：”工作流挖掘和业务流程管理“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1404“，”display_name“：”Management Information Systems“｝，”field“：｛”id“：”https://openalex.org/fields/14“，”display_name“：”商业、管理和会计“}，”域“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T11986“，”“display_name”：“科学工作流的管理和再现性”，“score”：0.9931，“subfield”：{“id”：“https://openalex.org/subfields/1802“，”display_name“：”信息系统和管理“}，”字段“：{”id“：”https://openalex.org/fields/18“，”display_name“：”Decision Sciences“}，”domain“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9927，”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/keywords/workflow-mining“，”display_name“：”工作流挖掘“，”score“：0.602932}，{”id“：”https://openalex.org/keywords/flexibility-in-workflows网站“，”display_name“：”工作流灵活性“，”score“：0.596717}，{”id“：”https://openalex.org/keywords/workflow-management网站“，”display_name“：”工作流管理“，”score“：0.589395｝，｛”id“：”https://openalex.org/keywords/sciencefic-workflows网站“，”display_name“：”科学工作流“，”score“：0.563353}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.548086}]，”concepts“：[{”id“：”https://openalex.org/C177212765，“wikidata”：https://www.wikidata.org/wiki/Q627335“，”“display_name”“：”工作流“，”级别“：2，”分数“：0.86663437}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.75199264}，{”id“：”https://openalex.org/C26834552，“wikidata”：https://www.wikidata.org/wiki/Q3275846“，”display_name“：”Analyzer“，”level“：2，”score“：0.6604665}，{”id“：”https://openalex.org/C19612761，“wikidata”：https://www.wikidata.org/wiki/Q8034836“，”display_name“：”工作流技术“，”level“：3，”score“：0.61366665}，{”id“：”https://openalex.org/C2780598303，“wikidata”：https://www.wikidata.org/wiki/Q65921492网址“，”display_name“：”灵活性（工程）“，”level“：2，”score“：0.5658098｝，｛”id“：”https://openalex.org/C2780411076，“wikidata”：https://www.wikidata.org/wiki/Q5462653“，”display_name“：”Fluent“，”level“：3，”score“：0.54383135}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.534757}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.50682193｝，｛”id“：”https://openalex.org/C163888707，“wikidata”：https://www.wikidata.org/wiki/Q1154450“，”display_name“：”Windows Workflow Foundation“，”level“：4，”score“：0.46740085}，{”id“：”https://openalex.org/C188220564，“wikidata”：https://www.wikidata.org/wiki/Q3325097“，”display_name“：”工作流引擎“，”level“：3，”score“：0.44260028}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”数据库“，”级别“：1，”分数“：0.32403487}，{”id“：”https://openalex.org/C44154836，“wikidata”：https://www.wikidata.org/wiki/Q45045“，”display_name“：”Simulation“，”level“：1，”score“：0.15143481}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”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/C500300565，“wikidata”：https://www.wikidata.org/wiki/Q925667“，”display_name“：”计算机模拟“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C43617362，“wikidata”：https://www.wikidata.org/wiki/Q170050“，”display_name“：”色谱“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：null，”pdf_url”：“https://arxiv.org/pdf/1401.0971，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“}，”license“：”cc by nc nd“，”license_id“：”https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：false，”landing_page_url“：”https://doaj.org/article/567d5e11866a4c7ab24194921e5816d6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306401280“，”display_name“：”DOAJ（DOAJ：开放存取期刊目录）“，”issn_l“：null，”issn“：null:”is_oa“：true，”is_in_DOAJ“：false，”is_core“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[[]，”type“：”repository“}”，“license”：nullis_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url“：”https://api.datacite.org/dois/10.48550/arxiv.1401.0971“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：null，“pdf_url“：”https://arxiv.org/pdf/1401.0971，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”score“：0.73，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[”https://openalex.org/W2070475271","https://openalex.org/W3102117275“]，”referenced_works_count“：12，”referrenced_works“：[”https://openalex.org/W1830954042","https://openalex.org/W2020675906","https://openalex.org/W2022078754","https://openalex.org/W2114457640","https://openalex.org/W2131247527","https://openalex.org/W2135220153","https://openalex.org/W2138447175","https://openalex.org/W2204954092","https://openalex.org/W2911625174","https://openalex.org/W3023191323","https://openalex.org/W4256581596","https://openalex.org/W44713956“]，”related_works“：[”https://openalex.org/W291310304","https://openalex.org/W2384625043","https://openalex.org/W2376410910","https://openalex.org/W2374818432","https://openalex.org/W2373541195","https://openalex.org/W2365658322","https://openalex.org/W2352344200","https://openalex.org/W2166163080","https://openalex.org/W2091596831","https://openalex.org/W2028407054“]，”ngrams_url“：”https://api.openalex.org/works/W2070475271/ngrams网站“，”abstract_inverted_index“：{”In“：[0]，”this“：[1]，”paper“：[2]，”we“：[3]，”present“：[4]，”the“：[5,27,58,61,74]，”design“：[6]，”and“：[7,60,73]，”implementation“：[8]，”as“：[9,11,69]，”well“：[10]，”a“：[12,32]，”use“：[13]，”case“：[14]，“：[15,29]，”of“,31,55]，“工具”：[17,22]，“用于”：[18,26,38,52]，“工作流”：[19,33]，“分析”：[20]，“the”：[21,35]，“provides”：[23]，“an“：[24,49,66]，”助手“：[25]，”规格“：[28,36]，”属性“：[30,54,62]，”模型。“：[34]，”language“：[37]，”property“：[39]，”description“：[40]，”is“：[41,76]，”Fluent“：[42]，”Linear“：[43]，”Time“：[44]，”Temporal“：[45]，”Logic“。“：[46]，”Fluents“：[47]，”provide“：[48]，”sufficient“：[50]，”flexibility“：[51]，”capturing“：[53]，”工作流。“：[56]，”Both“：[57]，”model“：[59,79]，”are“：[63]，”encoded“，”：[64]，”in“：[65]，”automated“：[67]，”way“，”:[68]，”Labeled“：[70]，”Transition“：%71]，”Systems“，”:[72]，”analysis“：[75]，”reduced“：77]，”to“：[78]，”checking“。“：[80]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2070475271“，”counts_by_year“：[{”年“：2014，”cited_by_count“：1}]，”更新日期“：”2024-07-31T20:17:16.388312“，”创建日期“：“2016-06-24”}