题目：Temporal Dependency based Checkpoint Selection for Dynamic Verification of Fixed-time Constraints in Grid/Scientific Workflows 报告人：陈金俊（Jinjun Chen）博士
澳大利亚Swinburne University of Technology
时间：2008年12月19日
地点：蒙民伟604会议室
讲座主要内容：
In grid/scientific workflows, temporal correctness is critical to assure the t
imely completion of workflow execution. To monitor and control the temporal co
rrectness, fixed-time constraints are often assigned to a grid/scientific work
flow and then verified. A checkpoint selection strategy is used to select chec
kpoints along workflow execution for verifying fixed-time constraints. The pro
blem of existing representative strategies is that they do not differentiate f
ixed-time constraints as once a checkpoint is selected, they verify all fixed-
time constraints. However, these checkpoints do not need to be taken for those
constraints whose consistency can be deduced from others. The corresponding v
erification of such constraints is consequently unnecessary and can severely i
mpact the efficiency of overall temporal verification. To address the problem,
in this talk, we discuss a new temporal dependency based checkpoint selection
strategy which can select checkpoints according to different fixed-time const
raints. With this strategy, the corresponding unnecessary verification can be
avoided. The comparison and experimental simulation further demonstrate that t
he new strategy can improve the efficiency of overall temporal verification si
gnificantly over the existing representative strategies. Dr.Jinjun Chen 简历 Dr. Jinjun Chen received his Ph.D. degree from Swinburne University of Technol
ogy, Australia. His thesis was granted Research Thesis Execellence Award. He r
eceived Swinburne Vice Chancellor's research award 2008. He is a core executiv
e member of IEEE Technicial Committee of Scalable Computing and the coordinato
r of IEEE TCSC technicial area of Workflow Management in Scalable Computing En
vironments. He is the Editor-in-Chief of Springer book series on Advances in B
usiness Process and Workflow Management (http://www.swinflow.org/books/springe
r/SpringerBook.htm) and Editor-in-Chief of Nova book series on Process and Wor
kflow Management and Applications (http://www.swinflow.org/books/nova/NovaBook
.htm). He has guest edited or is editing several special issues in quality jou
rnals such as in IEEE Transactions on Automation Science and Engineering. He h
as been involved in the organization of many conferences and awarded IEEE Comp
uter Society Service Award (2007). He has published more than 50 papers in jou
rnals and conferences such as ICSE2008 and ACM TAAS. His research interests in
clude Scientific Workflow Management and Applications, Workflow Management and
Applications in Web Service or SOC Environments, Workflow Management and Appl
ications in Grid (Service)/Cloud Computing Environments, Software Verification
and Validation in Workflow Systems, QoS and Resource Scheduling in Distribute
d Computing Systems such as Cloud Computing, Service Oriented Computing (SLA a
nd Composition), and Cloud Computing. Refer to http://www.swinflow.org/~jchen/
for details.
|
