基於框架的面向服務軟體異常處理方法研究

《基於框架的面向服務軟體異常處理方法研究》是依託武漢大學，由應時擔任項目負責人的面上項目。

基本介紹

• 中文名：基於框架的面向服務軟體異常處理方法研究
• 項目類別：面上項目
• 項目負責人：應時
• 依託單位：武漢大學

項目摘要

本項目針對如何提高軟體異常處理能力的科學問題，研究面向服務軟體異常處理邏輯的工程化開發方法和形式化驗證方法。具體研究內容包括：支持多層次和多級別面向服務軟體異常處理的開發框架、異常處理策略及其配置語言、基於框架和策略的面向服務軟體異常處理邏輯的開發方法、基於層次著色Petri網的異常處理邏輯的形式化描述與驗證方法。項目在研究內容和技術路線上都具有一定的創新性。項目的研究成果可以解決面向服務軟體大規模複雜異常處理邏輯開發方法中存在的一些難題，如缺乏全面的異常分類體系，缺乏可重用的異常處理資源集，缺乏簡便高效的開發支撐工具，缺乏嚴格的描述驗證方法等，具有重要的學術意義。項目的研究成果可以有效支持面向服務軟體異常處理邏輯的開發，提高軟體系統的可用性和可信性，具有重大的套用價值。

結題摘要

本項目針對如何提高面向服務軟體異常處理能力的科學問題，研究了面向服務軟體異常處理邏輯的工程化開發方法和形式化驗證方法。本項目具體研究內容包括：研究異常處理策略描述語言及其面向服務軟體的異常處理邏輯開發方法，支持設計人員開發或為已有的面向服務軟體集成充分的異常處理邏輯；研究面向服務軟體異常處理框架，提高面向服務軟體異常處理邏輯的開發效率；研究基於層次著色Petri網的異常處理邏輯形式化方法，輔助設計人員檢測異常處理邏輯的設計缺陷。通過深入研究，我們提出了一種基於策略的面向服務軟體異常處理描述語言，設計實現了面向服務軟體異常處理框架，提出了一種面向服務軟體中異常處理邏輯的形式化描述方法，提出了一種基於頑固集狀態空間的異常處理完備性驗證方法，提出了一種基於模型檢測的異常處理可終止性驗證方法。項目的研究成果可以解決面向服務軟體大規模複雜異常處理邏輯開發方法中存在的一些難題，如缺乏可重用的異常處理資源集，缺乏簡便高效的開發支撐工具，缺乏嚴格的描述驗證方法等，具有重要的學術意義。項目的研究成果可以有效支持面向服務軟體異常處理邏輯的開發，提高軟體系統的可用性和可信性，具有重大的套用價值。