《面向服務軟體體系結構設計階段異常處理的建模與驗證》是依託武漢大學，由應時擔任項目負責人的面上項目。
基本介紹
- 中文名：面向服務軟體體系結構設計階段異常處理的建模與驗證
- 項目類別：面上項目
- 項目負責人：應時
- 依託單位：武漢大學
項目摘要,結題摘要,
項目摘要
針對如何提高面向服務軟體異常處理能力的科學問題，研究面向服務軟體體系結構設計階段異常處理邏輯的建模、仿真分析、驗證方法及其支撐工具。具體內容包括：研究體系結構層異常模型AEM4SOA、能描述異常處理的軟體體系結構描述語言SOADL-EH，以支持面向服務軟體體系結構設計階段異常處理邏輯的建模。研究基於著色Petri網的面向服務軟體體系結構的形式化描述方法、異常處理邏輯仿真分析方法和異常處理邏輯驗證方法，以分析異常處理邏輯對軟體系統可靠性和時間性能的影響，驗證異常處理邏輯的完備性、可終止性。研製相應的工具系統，並開展案例研究。項目成果可用於構造具有異常處理機制的面向服務軟體體系結構的設計模型，在體系結構設計階段保障面向服務軟體的可用性和可信性，具有學術意義和套用價值。項目不但能為體系結構層異常處理機制的設計提供具有創新性的方法和工具，而且還能拓展創新著色Petri網在面向服務軟體工程中的套用。
結題摘要
針對如何提高面向服務軟體異常處理能力的科學問題，研究面向服務軟體體系結構設計階段的異常處理邏輯的建模和形式化分析驗證方法.構造了面向服務軟體系統的體系結構層的異常模型AEM4SOA,定義了支持異常處理建模的面向服務軟體體系結構描述語言SOADL-EH，以及基於該語言的體系結構設計階段異常處理邏輯的建模方法，並研究了SOADL-EH中各種語言成份的基於著色Petri網的形式化語義，以及基於Petri網狀態空間分析技術的體系結構設計階段的異常處理的形式化驗證方法。項目成果可用於構造具有異常處理機制的面向服務軟體體系結構的設計模型，在體系結構設計階段保障面向服務軟體的可用性和可信性，具有學術意義和套用價值。
