Deakin University
Browse

File(s) under permanent embargo

Workflow temporal verification: an efficient and effective approach for delivering on-time completion

conference contribution
posted on 2014-01-01, 00:00 authored by Xiao LiuXiao Liu, Y Yang
In the real world, most workflow applications are time constrained, i.e. to be completed by satisfying a set of temporal constraints such as local milestones and global deadlines. Meanwhile, due to the distributed nature of business processes and scientific workflows, most workflow systems are running in a dynamic computing environment such as the Cloud. Therefore, how to guarantee the on-time completion of workflow applications becomes a critical yet challenging issue for enhancing the overall performance and usability of workflow systems. In this tutorial, we will present a detailed overview of workflow temporal verification, which is one of the most efficient and effective approaches for delivering on-time completion of workflow applications. A general temporal verification framework consists of three major components, viz. temporal constraint setting, temporal consistency monitoring and temporal exception handling. Details for each component and comprehensive experimental results will be demonstrated. After the tutorial, the audience will have a complete view of what are workflow temporal verification as well as the state-of-the-art and open issues in this field. © 2014 Authors.

History

Pagination

198-198

Location

Nanjing, China

Start date

2014-05-26

End date

2014-05-28

ISBN-13

9781450327541

Language

eng

Publication classification

E Conference publication, E3.1 Extract of paper

Copyright notice

2014, ACM

Title of proceedings

ICCSP 2014 : Proceedings of the 2014 International Conference on Software and System Process

Event

Software and System Process. International Conference (2014 : Nanjing, China)

Publisher

ACM

Place of publication

New York, N.Y.

Usage metrics

    Research Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC