《基於溯源信息的可信科學工作流關鍵技術研究》是依託清華大學，由姜進磊擔任項目負責人的專項基金項目。
基本介紹
- 中文名：基於溯源信息的可信科學工作流關鍵技術研究
- 依託單位：清華大學
- 項目負責人：姜進磊
- 項目類別：專項基金項目
- 負責人職稱：副教授
- 批准號：61040048
- 研究期限：2011-01-01 至 2011-12-31
- 申請代碼：F0207
- 支持經費：10（萬元）
項目摘要
由於在表示和管理分散式計算任務方面所具有的諸多優勢，科學工作流已被證明是創建複雜科學套用最成功的泛型，具有廣闊的套用前景和巨大的社會效益。然而，現有的科學工作流系統在可信賴性(dependability)方面尚不能令人滿意，阻礙了科學工作流被進一步廣泛的接受，成為日常使用的工具。溯源(provenance)信息記錄了數據的產生過程及工作流的執行軌跡，為解決上述問題提供了新的可能。在本課題中，我們擬基於溯源信息，研究提升科學工作流可信賴性的異常處理和容錯技術，解決以下關鍵問題：(1)科學工作流中的異常分類與形式化描述；(2)面向可信場景的溯源信息的採集、表示與存儲方法；(3)基於溯源信息的科學工作流異常/錯誤檢測及異常處理/容錯機制；(4)基於溯源信息的科學工作流恢復算法。在上述工作的基礎上，最終形成一個高可信的科學工作流參考架構，並在可能的情況下實現一個具有示範意義的套用系統。
