题目：Temporal Dependency based Checkpoint Selection for Dynamic Verification of Fixed-time Constraints in Grid/Scientific Workflows
报告人：陈金俊 博士，澳大利亚斯威本科技大学
地点：东五楼二楼210学术报告厅
时间：12月23日上午8：30

报告摘要：
　　In grid/scientific workflows, temporal correctness is critical to assure the timely completion of workflow execution. To monitor and control the temporal correctness, fixed-time constraints are often assigned to a grid/scientific workflow and then verified. A checkpoint selection strategy is used to select checkpoints along workflow execution for verifying fixed-time constraints. The problem of existing representative strategies is that they do not differentiate fixed-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 verification of such constraints is consequently unnecessary and can severely impact 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 constraints. With this strategy, the corresponding unnecessary verification can be avoided. The comparison and experimental simulation further demonstrate that the new strategy can improve the efficiency of overall temporal verification significantly over the existing representative strategies.

报告人简介：
　　Dr. Jinjun Chen received his Ph.D. degree from Swinburne University of Technology, Australia. His thesis was granted Research Thesis Execellence Award. He is a core executive member of IEEE Technicial Committee of Scalable Computing and the coordinator of IEEE TCSC technicial area of Workflow Management in Scalable Computing Environments. He is the Editor-in-Chief of Springer book series on Advances in Business Process and Workflow Management (http://www.swinflow.org/books/springer/SpringerBook.htm) and Editor-in-Chief of Nova book series on Process and Workflow Management and Applications (http://www.swinflow.org/books/nova/NovaBook.htm). He has guest edited or is editing several special issues in quality journals such as in IEEE Transactions on Automation Science and Engineering. He has been involved in the organization of many conferences and awarded IEEE Computer Society Service Award (2007). He has published more than 50 papers in journals and conferences such as ICSE2008 and ACM TAAS. His research interests include Scientific Workflow Management and Applications, Workflow Management and Applications in Web Service or SOC Environments, Workflow Management and Applications in Grid (Service)/Cloud Computing Environments, Software Verification and Validation in Workflow Systems, QoS and Resource Scheduling in Distributed Computing Systems such as Cloud Computing, Service Oriented Computing (SLA and Composition), and Cloud Computing. Refer to http://www.swinflow.org/~jchen/ for details.