A Temporal Logic Based Grid Workflow Model and Scheduling Scheme
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the grid computing. By the virtue of the dynamic and heterogeneous nature of grid environment, grid workflow system requires a resource evaluation and utilization enhancing mechanism to satisfy all kinds of grid resource requirements from workflow instances and ease to build billing system.Motivated by this, we present a novel Extended Temporal Logic based Workflow Specification (ETLWS) model to meet with the requirements above.The ETLWS extends temporal logic based workflow specification model by injecting resource requirement descriptor. Then, we propose a dynamic workflow scheduling scheme to improve the stability and efficiency of grid workflow system. In particular, we implement a system prototype and present a case study.The experimental results demonstrate the effectiveness of the ETLWS model and its corresponding scheduling scheme.
Yu-E Zheng Huadong Ma Lejun Zhang
Beijing Key Lab of Intelligent Telecommunications Software and Multimedia, Beijing University of Posts and Telecomm., Beijing 100876, China
国际会议
第六届网格与协同计算国际会议(The Sixth International Conference on Grid and Cooperative Computing GCC 2007)
乌鲁木齐
英文
338-345
2007-08-16（万方平台首次上网日期，不代表论文的发表时间）