Temporal verification for business cloud workflows: open research issues

Zhao, Zhou, Wang, Futian, Fan, Xiaoliang and Liu, Xiao 2014, Temporal verification for business cloud workflows: open research issues, in SKG 2014 : Proceedings of the 2014 10th International Conference on Semantics, Knowledge and Grids, IEEE, Piscataway, N.J., pp. 33-40, doi: 10.1109/SKG.2014.36.

Attached Files
Name Description MIMEType Size Downloads

Title Temporal verification for business cloud workflows: open research issues
Author(s) Zhao, Zhou
Wang, Futian
Fan, Xiaoliang
Liu, XiaoORCID iD for Liu, Xiao orcid.org/0000-0001-8400-5754
Conference name Semantics, Knowledge and Grids. International Conference (10th : 2014 : Beijing, China)
Conference location Beijing, China
Conference dates 2014/08/27 - 2014/08/29
Title of proceedings SKG 2014 : Proceedings of the 2014 10th International Conference on Semantics, Knowledge and Grids
Publication date 2014
Conference series Semantics, Knowledge and Grids International Conference
Start page 33
End page 40
Total pages 8
Publisher IEEE
Place of publication Piscataway, N.J.
Keyword(s) business workflow
workflow temporal verification
cloud computing
quality of service
Summary In recent years, cloud computing is establishing itself as the latest high-performance and high-throughput computing paradigm, and thus doing business in the cloud is becoming a reality. However, due to the dynamic nature of the cloud environment, the on-time completion of time-constrained business workflows is a big challenge. Workflow temporal verification as the major approach to monitor and control the correctness of temporal consistency plays a critical role in the on-time completion of business workflow instances. In the recent decade, great efforts have been dedicated to the area of workflow temporal verification and it is high time that we should define the key research issues for business cloud workflows in order to keep our research on the right track. In this paper, we systematically investigate this problem and propose four key research issues based on the introduction of a generic temporal verification framework. Meanwhile, some preliminary solutions and open challenges are presented and discussed. Finally, Swin DeW-V, an on-going research project on temporal verification as part of our Swin DeW-C cloud workflow system, is also demonstrated.
ISBN 9781479967155
Language eng
DOI 10.1109/SKG.2014.36
Field of Research 080608 Information Systems Development Methodologies
HERDC Research category E1.1 Full written paper - refereed
ERA Research output type E Conference publication
Copyright notice ©2014, IEEE
Persistent URL http://hdl.handle.net/10536/DRO/DU:30087748

Document type: Conference Paper
Collection: School of Information Technology
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 3 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 62 Abstract Views, 4 File Downloads  -  Detailed Statistics
Created: Fri, 25 Aug 2017, 09:59:14 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.