计算机学院学术报告博士论坛

Professor Forum and Doctor Forum of Computer Institute

第  08003  期      

报 告 人：       陈金俊   博 士（特邀）

报告时间：    5 月 23 日（周五）15:00～16:30

报告地点：   上海大学延长校区行健楼707会议厅

报告简介：In scientific workflows, temporal correctness is critical to assure the timely completion of scientific workflow execution. To monitor and control the temporal correctness, fixed-time constraints are often assigned to a scientific workflow and then verified. A checkpoint selection strategy is used to select checkpoints along scientific 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.   

陈金俊  博士 现为IEEE可扩展计算委员会执行委员以及IEEE 可扩展计算委员会 可扩展计算环境下工作流管理 专业领域全球协调人。陈博士创立了国际著名出版社 Springer 的商务过程与工作流管理系列书籍并任主编；创立了国际新兴出版社Nova Publishers 的过程与工作流管理与应用系列书籍并任主编。