Temporal verification for scientific cloud workflows: State-of-the-art and research challenges

Wang, Qiudan, Liu, Xiao, Zhao, Zhou and Wang, Futian 2015, Temporal verification for scientific cloud workflows: State-of-the-art and research challenges, in PAS 2014 : Communications in Computer and Information Science : Proceedings of the Process-Aware Systems 2014 International Workshop, Springer, Berlin, Germany, pp. 59-74, doi: 10.1007/978-3-662-46170-9_6.

Attached Files
Name Description MIMEType Size Downloads

Title Temporal verification for scientific cloud workflows: State-of-the-art and research challenges
Author(s) Wang, Qiudan
Liu, XiaoORCID iD for Liu, Xiao orcid.org/0000-0001-8400-5754
Zhao, Zhou
Wang, Futian
Conference name Process-Aware Systems. International Workshop (1st : 2014 : Shanghai, China)
Conference location Shanghai, China
Conference dates 17 Oct. 2014
Title of proceedings PAS 2014 : Communications in Computer and Information Science : Proceedings of the Process-Aware Systems 2014 International Workshop
Editor(s) Cao, Jian
Wen, Lijie
Liu, XiaoORCID iD for Liu, Xiao orcid.org/0000-0001-8400-5754
Publication date 2015
Series Communications in Computer and Information Science
Conference series Process-Aware Systems. International Workshop
Start page 59
End page 74
Total pages 16
Publisher Springer
Place of publication Berlin, Germany
Keyword(s) scientific workflow
workflow temporal verification
cloud computing
quality of service
Summary Cloud computing is establishing itself as the latest computing paradigm in recent years. As doing science in the cloud is becoming a reality, scientists are now able to access public cloud centers and employ high-performance computing resources to run scientific applications. However, due to the dynamic nature of the cloud environment, the usability of scientific cloud workflow systems can be significantly deteriorated if without effective service quality assurance strategies. Specifically, workflow temporal verification as the major approach for workflow temporal QoS (Quality of Service) assurance plays a critical role in the on-time completion of large-scale scientific workflows. Great efforts have been dedicated to the area of workflow temporal verification in recent years and it is high time that we should define the key research issues for scientific cloud workflows in order to keep our research on the right track. In this paper, we systematically investigate this problem and present four key research issues based on the introduction of a generic temporal verification framework. Meanwhile, state-of-the-art solutions for each research issue and open challenges are also presented. Finally, SwinDeW-V, an ongoing research project on temporal verification as part of our SwinDeW-C cloud workflow system, is also demonstrated.
ISBN 9783662461709
ISSN 1865-0929
Language eng
DOI 10.1007/978-3-662-46170-9_6
Field of Research 080502 Mobile Technologies
Socio Economic Objective 970108 Expanding Knowledge in the Information and Computing Sciences
HERDC Research category E1.1 Full written paper - refereed
ERA Research output type E Conference publication
Copyright notice ©2014, Springer
Persistent URL http://hdl.handle.net/10536/DRO/DU:30084935

Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 0 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 233 Abstract Views, 2 File Downloads  -  Detailed Statistics
Created: Fri, 15 Jul 2016, 12:53:52 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.