{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:44:18Z","timestamp":1761648258126,"version":"3.41.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2015,4,8]],"date-time":"2015-04-08T00:00:00Z","timestamp":1428451200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1007\/s11432-015-5317-7","type":"journal-article","created":{"date-parts":[[2015,4,8]],"date-time":"2015-04-08T07:14:19Z","timestamp":1428477259000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems","\u9ad8\u53ef\u4fe1\u4e91\u5de5\u4f5c\u6d41\u7cfb\u7edf\u4e2d\u7684\u5145\u5206\u5fc5\u8981\u65f6\u5e8f\u9a8c\u8bc1\u68c0\u6d4b\u70b9\u9009\u62e9\u7b56\u7565"],"prefix":"10.1007","volume":"58","author":[{"given":"FuTian","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yun","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,8]]},"reference":[{"key":"5317_CR1","volume-title":"Distributed and Cloud Computing: from Parallel Processing to the Internet of Things","author":"K Hwang","year":"2012","unstructured":"Hwang K, Dongarra J, Fox G C. Distributed and Cloud Computing: from Parallel Processing to the Internet of Things. San Franciscon: Morgan Kaufmann Press, 2012"},{"key":"5317_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-1933-4","volume-title":"The Design of Cloud Workflow Systems","author":"X Liu","year":"2012","unstructured":"Liu X, Yuan D, Zhang G, et al. The Design of Cloud Workflow Systems. Berlin: Springer Press, 2012"},{"key":"5317_CR3","doi-asserted-by":"crossref","first-page":"1481","DOI":"10.1007\/s11432-010-4011-z","volume":"53","author":"W Zheng","year":"2010","unstructured":"Zheng W. An introduction to Tsinghua Cloud. Sci China Inf Sci, 2010, 53: 1481\u20131486","journal-title":"Sci China Inf Sci"},{"key":"5317_CR4","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1016\/j.future.2008.06.012","volume":"25","author":"E Deelman","year":"2009","unstructured":"Deelman E, Gannon D, Shields M, et al. Workflows and e-science: an overview of workflow system features and capabilities. Future Gener Comput Syst, 2009, 25: 528\u2013540","journal-title":"Future Gener Comput Syst"},{"key":"5317_CR5","doi-asserted-by":"crossref","DOI":"10.1201\/9781420067682","volume-title":"Grid Computing: Infrastructure, Service, and Applications","author":"L Wang","year":"2009","unstructured":"Wang L, Jie W, Chen J. Grid Computing: Infrastructure, Service, and Applications. Boca Raton: CRC Press, Talyor & Francis Group, 2009"},{"key":"5317_CR6","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1016\/j.future.2008.12.001","volume":"25","author":"R Buyya","year":"2009","unstructured":"Buyya R, Yeo C S, Venugopal S, et al. Cloud computing and emerging IT platforms: vision, hype, and reality for delivering computing as the 5th utility. Future Gener Comput Syst, 2009, 25: 599\u2013616","journal-title":"Future Gener Comput Syst"},{"key":"5317_CR7","volume-title":"Amsterdam: Elsevier","author":"X Liu","year":"2012","unstructured":"Liu X, Chen J, Yang Y. Temporal QoS Management in Scientific Cloud Workflow Systems. Amsterdam: Elsevier, 2012"},{"key":"5317_CR8","first-page":"286","volume-title":"Proceedings of 11th International Conference on Advanced Information Systems Engineering (CAiSE99), Heidelberg","author":"J Eder","year":"1999","unstructured":"Eder J, Panagos E, Rabinovich M. Time constraints in workflow systems. In: Proceedings of 11th International Conference on Advanced Information Systems Engineering (CAiSE99), Heidelberg, 1999. 286\u2013300"},{"key":"5317_CR9","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1016\/j.jss.2010.11.927","volume":"84","author":"X Liu","year":"2011","unstructured":"Liu X, Ni Z, Yuan D, et al. A novel statistical time-series pattern based interval forecasting strategy for activity durations in workflow systems. J Syst Softw, 2011, 84: 354\u2013376","journal-title":"J Syst Softw"},{"key":"5317_CR10","first-page":"180","volume-title":"Proceedings of 6th International Conference on Business Process Management (BPM2008), Milan","author":"X Liu","year":"2008","unstructured":"Liu X, Chen J, Yang Y. A probabilistic strategy for setting temporal constraints in scientific workflows. In: Proceedings of 6th International Conference on Business Process Management (BPM2008), Milan, 2008. 180\u2013195"},{"key":"5317_CR11","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1145\/1242060.1242063","volume":"2","author":"J Chen","year":"2007","unstructured":"Chen J, Yang Y. Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems. ACM Trans Autonom Adap Syst, 2007, 2: 6","journal-title":"ACM Trans Autonom Adap Syst"},{"key":"5317_CR12","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1002\/cpe.1088","volume":"19","author":"J Chen","year":"2007","unstructured":"Chen J, Yang Y. Multiple states based temporal consistency for dynamic verification of fixed-time constraints in Grid workflow systems. Concurr Comput-Pract Exp, 2007, 19: 965\u2013982","journal-title":"Concurr Comput-Pract Exp"},{"key":"5317_CR13","first-page":"393","volume-title":"Proceedings of International Conference on Cloud Computing (CloudCom 2009), Beijing","author":"C Zhang","year":"2009","unstructured":"Zhang C, Sterck H D. A computational workflow system for clouds based on Hadoop. In: Proceedings of International Conference on Cloud Computing (CloudCom 2009), Beijing, 2009. 393\u2013404"},{"key":"5317_CR14","first-page":"640","volume-title":"Proceedings of 4th IEEE International Conference on e-Science, Indianapolis","author":"C Hoffa","year":"2008","unstructured":"Hoffa C, Mehta G, Freeman T, et al. On the use of cloud computing for scientific workflows. In: Proceedings of 4th IEEE International Conference on e-Science, Indianapolis, 2008. 640\u2013645"},{"key":"5317_CR15","volume-title":"Handbook of Cloud Computing","author":"X Liu","year":"2010","unstructured":"Liu X, Yuan D, Zhang G, et al. SwinDeW-C: a peer-to-peer based cloud workflow system. In: Furht B, Escalante A, eds. Handbook of Cloud Computing. Berlin: Springer, 2010"},{"key":"5317_CR16","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/978-3-642-41154-0_20","volume-title":"Proceedings of 14th International Conference on Web Information System Engineering (WISE 2013), Nanjing","author":"D Cao","year":"2013","unstructured":"Cao D, Liu X, Yang Y. Novel client-cloud architecture for scalable instance-intensive workflow systems. In: Proceedings of 14th International Conference on Web Information System Engineering (WISE 2013), Nanjing, 2013. 270\u2013284"},{"key":"5317_CR17","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10723-005-9010-8","volume":"3","author":"J Yu","year":"2005","unstructured":"Yu J, Buyya R. A taxonomy of workflow management systems for Grid computing. J Grid Comput, 2005, 3: 171\u2013200","journal-title":"J Grid Comput"},{"key":"5317_CR18","first-page":"713","volume-title":"Proceedings of International Conference on Cloud and Green Computing (CGC2011), Sydney","author":"X Liu","year":"2011","unstructured":"Liu X, Yang Y, Yuan D, et al. A generic QoS framework for cloud workflow systems. In: Proceedings of International Conference on Cloud and Green Computing (CGC2011), Sydney, 2011. 713\u2013720"},{"key":"5317_CR19","volume-title":"A novel probabilistic temporal framework and its strategies for cost effective delivery of high QoS in scientific cloud workflow systems","author":"X Liu","year":"2011","unstructured":"Liu X. A novel probabilistic temporal framework and its strategies for cost effective delivery of high QoS in scientific cloud workflow systems. Dissertation for the Doctotal Degree. Melbourne: Swinburne University of Technology, 2011"},{"key":"5317_CR20","doi-asserted-by":"crossref","first-page":"1893","DOI":"10.1002\/cpe.1739","volume":"23","author":"X Liu","year":"2011","unstructured":"Liu X, Ni Z, Chen J, et al. A probabilistic strategy for temporal constraint management in scientific workflow systems. Concurr Comput-Pract Exp, 2011, 23: 1893\u20131919","journal-title":"Concurr Comput-Pract Exp"},{"key":"5317_CR21","first-page":"141","volume-title":"Proceedings of 30th International Conference on Software Engineering (ICSE 2008), Leipzig","author":"J Chen","year":"2008","unstructured":"Chen J, Yang Y. Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems. In: Proceedings of 30th International Conference on Software Engineering (ICSE 2008), Leipzig, 2008. 141\u2013150"},{"key":"5317_CR22","volume-title":"Towards effective and efficient temporal verification in grid workflow systems","author":"J Chen","year":"2007","unstructured":"Chen J. Towards effective and efficient temporal verification in grid workflow systems. Dissertation for the Doctotal Degree. Melbourne: Swinburne University of Technology, 2007"},{"key":"5317_CR23","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1109\/CCGRID.2010.15","volume-title":"Proceedings of 10th IEEE\/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid10), Melbourne","author":"X Liu","year":"2010","unstructured":"Liu X, Chen J, Wu Z, et al. Handling recoverable temporal violations in scientific workflow systems: a workflow rescheduling based strategy. In: Proceedings of 10th IEEE\/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid10), Melbourne, 2010. 534\u2013537"},{"key":"5317_CR24","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/ICPADS.2010.8","volume-title":"Proceedings of 16th IEEE International Conference on Parallel and Distributed Systems (ICPADS2010), Shanghai","author":"X Liu","year":"2010","unstructured":"Liu X, Ni Z, Wu Z, et al. An effective framework of light-weight handling for three-level fine-grained recoverable temporal violations in scientific workflows. In: Proceedings of 16th IEEE International Conference on Parallel and Distributed Systems (ICPADS2010), Shanghai, 2010. 43\u201350"},{"key":"5317_CR25","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF03325097","volume":"1","author":"O Marjanovic","year":"1999","unstructured":"Marjanovic O, Orlowska M E. On modelling and verification of temporal constraints in production workflows. Knowl Inf Syst, 1999, 1: 157\u2013192","journal-title":"Knowl Inf Syst"},{"key":"5317_CR26","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/APSEC.2004.47","volume-title":"Proceedings of 11th Asia-Pacific Software Engineering Conference, Busan","author":"J Chen","year":"2004","unstructured":"Chen J, Yang Y, Chen T Y. Dynamic verification of temporal constraints on-the-fly for workflow systems. In: Proceedings of 11th Asia-Pacific Software Engineering Conference, Busan, 2004. 30\u201337"},{"key":"5317_CR27","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1177\/1094342007086229","volume":"22","author":"J Chen","year":"2008","unstructured":"Chen J, Yang Y. Activity completion duration based checkpoint selection for dynamic verification of temporal constraints in Grid workflow systems. Int J High Perform Comput App, 2008, 22: 319\u2013329","journal-title":"Int J High Perform Comput App"},{"key":"5317_CR28","first-page":"9","volume":"20","author":"J Chen","year":"2011","unstructured":"Chen J, Yang Y. Temporal dependency based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems. ACM Trans Softw Eng Methodol, 2011, 20: 9","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"5317_CR29","first-page":"1281","volume-title":"Proceedings of 35th International Conference on Software Engineering (NIER Track), San Francisco","author":"X Liu","year":"2013","unstructured":"Liu X, Yang Y, Cao D, et al. Selecting checkpoints along the time line: a novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes. In: Proceedings of 35th International Conference on Software Engineering (NIER Track), San Francisco, 2013. 1281\u20131284"},{"key":"5317_CR30","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/2600821.2600834","volume-title":"Proceedings of International Conference on Software and Systems Process (ICSSP14), Nanjing","author":"X Liu","year":"2014","unstructured":"Liu X, Wang D, Yuan D, et al. Throughput based temporal verification for monitoring large batch of parallel processes. In: Proceedings of International Conference on Software and Systems Process (ICSSP14), Nanjing, 2014. 124\u2013133"},{"key":"5317_CR31","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1109\/TSE.2010.99","volume":"37","author":"X Liu","year":"2011","unstructured":"Liu X, Yang Y, Jiang Y, et al. Preventing temporal violations in scientific workflows: where and how. IEEE Trans Softw Eng, 2011, 37: 805\u2013825","journal-title":"IEEE Trans Softw Eng"},{"key":"5317_CR32","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/978-1-84628-757-2_2","volume-title":"In Workflows for e-Science","author":"R Barga","year":"2007","unstructured":"Barga R, Gannon D. In Workflows for e-Science. Berlin: Springer, 2007. 9\u201316"},{"key":"5317_CR33","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W M P Aalst van der","year":"2002","unstructured":"van der Aalst W M P, Hee K M V. Workflow Management: Models, Methods, and Systems. Cambridge: MIT Press, 2002"},{"key":"5317_CR34","volume-title":"Simulation Modelling and Analysis","author":"A M Law","year":"2007","unstructured":"Law A M, Kelton W D. Simulation Modelling and Analysis. 4th ed. New York: McGraw-Hill Press, 2007","edition":"4th ed"},{"key":"5317_CR35","first-page":"2757","volume":"55","author":"H B Mi","year":"2012","unstructured":"Mi H B, Wang H M, Zhou Y F, et al. Localizing root causes of performance anomalies in cloud computing systems by analyzing request trace logs. Sci China Inf Sci, 2012, 55: 2757\u20132773","journal-title":"Sci China Inf Sci"},{"key":"5317_CR36","doi-asserted-by":"crossref","first-page":"1807","DOI":"10.1002\/cpe.1316","volume":"20","author":"K Liu","year":"2008","unstructured":"Liu K, Chen J, Yang Y, et al. A throughput maximization strategy for scheduling transaction intensive workflows on SwinDeW-G. Concurr Comput-Pract Exp, 2008, 20: 1807\u20131820","journal-title":"Concurr Comput-Pract Exp"},{"key":"5317_CR37","volume-title":"Engineering Mathematics","author":"K A Stroud","year":"2007","unstructured":"Stroud K A. Engineering Mathematics. 6th ed. New York: Palgrave Macmillan Press, 2007","edition":"6th ed."},{"key":"5317_CR38","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1016\/j.jss.2010.10.027","volume":"84","author":"X Liu","year":"2011","unstructured":"Liu X, Ni Z, Wu Z, et al. A novel general framework for automatic and cost-effective handling of recoverable temporal violations in scientific workflow systems. J Syst Softw, 2011, 84: 492\u2013509","journal-title":"J Syst Softw"},{"key":"5317_CR39","first-page":"5","volume":"23","author":"X Liu","year":"2013","unstructured":"Liu X, Yang Y, Yuan D, et al. Do we need to handle every temporal violation in scientific workflow systems? ACM Trans Softw Eng Methodol, 2013, 23: 5","journal-title":"ACM Trans Softw Eng Methodol"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-5317-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-015-5317-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-5317-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T00:09:43Z","timestamp":1747872583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-015-5317-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,8]]},"references-count":39,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["5317"],"URL":"https:\/\/doi.org\/10.1007\/s11432-015-5317-7","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"type":"print","value":"1674-733X"},{"type":"electronic","value":"1869-1919"}],"subject":[],"published":{"date-parts":[[2015,4,8]]}}}