{"id":"https://openalex.org/W231759849","doi":"https://doi.org/10.1007/s11432-015-5317-7","title":"Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems","display_name":"Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems","publication_year":2015,"publication_date":"2015-04-08","ids":{"openalex":"https://openalex.org/W231759849","doi":"https://doi.org/10.1007/s11432-015-5317-7","mag":"231759849"},"language":"en","primary_location":{"id":"doi:10.1007/s11432-015-5317-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-015-5317-7","pdf_url":null,"source":{"id":"https://openalex.org/S4210218743","display_name":"Science China Information Sciences","issn_l":"1674-733X","issn":["1674-733X","1869-1919"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science China Information Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/journal_contribution/Necessary_and_sufficient_checkpoint_selection_for_temporal_verification_of_high-confidence_cloud_workflow_systems/20898325","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113728798","display_name":"FuTian Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I143868143","display_name":"Anhui University","ror":"https://ror.org/05th6yx34","country_code":"CN","type":"education","lineage":["https://openalex.org/I143868143"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"FuTian Wang","raw_affiliation_strings":["School of Computer Science and Technology, Anhui University, Hefei, 230601, China","School of Computer Science and Technology, Anhui University, Hefei, China","Anhui University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Anhui University, Hefei, 230601, China","institution_ids":["https://openalex.org/I143868143"]},{"raw_affiliation_string":"School of Computer Science and Technology, Anhui University, Hefei, China","institution_ids":["https://openalex.org/I143868143"]},{"raw_affiliation_string":"Anhui University","institution_ids":["https://openalex.org/I143868143"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075936732","display_name":"Xiao Liu","orcid":"https://orcid.org/0000-0001-8400-5754"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiao Liu","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, 200241, China","Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","[East China Normal University]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, 200241, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"[East China Normal University]","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035343733","display_name":"Yun Yang","orcid":"https://orcid.org/0000-0002-7868-5471"},"institutions":[{"id":"https://openalex.org/I143868143","display_name":"Anhui University","ror":"https://ror.org/05th6yx34","country_code":"CN","type":"education","lineage":["https://openalex.org/I143868143"]},{"id":"https://openalex.org/I57093077","display_name":"Swinburne University of Technology","ror":"https://ror.org/031rekg67","country_code":"AU","type":"education","lineage":["https://openalex.org/I57093077"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Yun Yang","raw_affiliation_strings":["School of Computer Science and Technology, Anhui University, Hefei, 230601, China","School of Computer Science and Technology, Anhui University, Hefei, China","School of Software and Electrical Engineering, Swinburne University of Technology, Hawthorn, Australia","School of Software and Electrical Engineering, Swinburne University of Technology, Hawthorn, VIC, 3122, Australia","Swinburne University of Technology","Anhui University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Anhui University, Hefei, 230601, China","institution_ids":["https://openalex.org/I143868143"]},{"raw_affiliation_string":"School of Computer Science and Technology, Anhui University, Hefei, China","institution_ids":["https://openalex.org/I143868143"]},{"raw_affiliation_string":"School of Software and Electrical Engineering, Swinburne University of Technology, Hawthorn, Australia","institution_ids":["https://openalex.org/I57093077"]},{"raw_affiliation_string":"School of Software and Electrical Engineering, Swinburne University of Technology, Hawthorn, VIC, 3122, Australia","institution_ids":["https://openalex.org/I57093077"]},{"raw_affiliation_string":"Swinburne University of Technology","institution_ids":["https://openalex.org/I57093077"]},{"raw_affiliation_string":"Anhui University","institution_ids":["https://openalex.org/I143868143"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5075936732"],"corresponding_institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":11.0015,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.97811385,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"58","issue":"5","first_page":"1","last_page":"16"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8135983943939209},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6907656788825989},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.4991331100463867},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.4596545100212097},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3837761878967285},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.29096299409866333},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13938593864440918},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09360101819038391}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8135983943939209},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6907656788825989},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.4991331100463867},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.4596545100212097},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3837761878967285},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.29096299409866333},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13938593864440918},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09360101819038391}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s11432-015-5317-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-015-5317-7","pdf_url":null,"source":{"id":"https://openalex.org/S4210218743","display_name":"Science China Information Sciences","issn_l":"1674-733X","issn":["1674-733X","1869-1919"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science China Information Sciences","raw_type":"journal-article"},{"id":"pmh:oai:dro.deakin.edu.au:DU:30082906","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401102","display_name":"Own your potential (DEAKIN)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149704539","host_organization_name":"Deakin University","host_organization_lineage":["https://openalex.org/I149704539"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},{"id":"pmh:oai:figshare.com:article/20898325","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Necessary_and_sufficient_checkpoint_selection_for_temporal_verification_of_high-confidence_cloud_workflow_systems/20898325","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},{"id":"pmh:oai:researchbank.swinburne.edu.au:bcfbbbb5-b582-4291-8ba8-9c1f683cc4a9/1","is_oa":false,"landing_page_url":"http://hdl.handle.net/1959.3/398515","pdf_url":null,"source":{"id":"https://openalex.org/S4306401157","display_name":"Swinburne Research Bank (Swinburne University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I57093077","host_organization_name":"Swinburne University of Technology","host_organization_lineage":["https://openalex.org/I57093077"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Science China Information Sciences, Vol. 58, no. 2015) (May 2015), article no. 052103","raw_type":null}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/20898325","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Necessary_and_sufficient_checkpoint_selection_for_temporal_verification_of_high-confidence_cloud_workflow_systems/20898325","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W122889433","https://openalex.org/W126642355","https://openalex.org/W1483587302","https://openalex.org/W1540266249","https://openalex.org/W1575670837","https://openalex.org/W1598942112","https://openalex.org/W1642179982","https://openalex.org/W1824976302","https://openalex.org/W1972651863","https://openalex.org/W1977367431","https://openalex.org/W1978629702","https://openalex.org/W1982107955","https://openalex.org/W2011438544","https://openalex.org/W2011572811","https://openalex.org/W2013753555","https://openalex.org/W2014977977","https://openalex.org/W2022905422","https://openalex.org/W2023254383","https://openalex.org/W2025577327","https://openalex.org/W2083257352","https://openalex.org/W2092720293","https://openalex.org/W2111857207","https://openalex.org/W2111895701","https://openalex.org/W2112059412","https://openalex.org/W2125118549","https://openalex.org/W2127775257","https://openalex.org/W2132630921","https://openalex.org/W2137997008","https://openalex.org/W2150390154","https://openalex.org/W2152064897","https://openalex.org/W2154513453","https://openalex.org/W2158837560","https://openalex.org/W2170835573","https://openalex.org/W2171192546","https://openalex.org/W2253364281","https://openalex.org/W2259891449","https://openalex.org/W2271772831","https://openalex.org/W2412853042","https://openalex.org/W2493670965","https://openalex.org/W2497994696","https://openalex.org/W2614288973","https://openalex.org/W3124530199","https://openalex.org/W3150657163","https://openalex.org/W4233522539","https://openalex.org/W4246970543","https://openalex.org/W4252868426","https://openalex.org/W4300815546","https://openalex.org/W6638391357","https://openalex.org/W6654171908","https://openalex.org/W6676547024"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4244478748","https://openalex.org/W1981780420","https://openalex.org/W2182707996","https://openalex.org/W4223488648","https://openalex.org/W45233828","https://openalex.org/W2964988449","https://openalex.org/W2134969820","https://openalex.org/W2251605416","https://openalex.org/W4389340727"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}