軟體演化過程的行為驗證研究

《軟體演化過程的行為驗證研究》是依託雲南大學，由李彤擔任負責人的國家自然科學基金專項基金項目。

基本介紹

• 中文名：軟體演化過程的行為驗證研究
• 負責人：李彤
• 依託單位：雲南大學
• 項目類型：專項基金項目

項目摘要

軟體過程驗證是軟體過程建模的後續研究，可以確保過程模型符合建模者的期望，提高過程實施的有效性。針對現有過程驗證研究缺乏行為驗證的不足，在已有軟體演化過程建模的基礎上，建立支持行為驗證的理論基礎，提出支持行為驗證的驗證方法，設計過程模型改進操作。採用通信基礎代數ACP對已有軟體演化過程元模型進行擴展，提出軟體演化過程元模型進程代數，使用進程項指定軟體演化過程模型的代數語義，進而在進程代數的統一框架下，基於公理系統，使用等式推理驗證軟體演化過程的行為是否滿足過程規約；以此為基礎，充分結合Petri網和ACP的長處，提出基於Petri網的進程代數驗證方法，支持軟體演化過程結構、性質和行為的形式驗證，並使用過程模型改進操作對不能通過驗證的過程模型進行修改，提高過程模型的可靠性。本課題建立支持軟體演化過程行為驗證的理論基礎、方法和工具原型，為軟體過程驗證的進一步研究提供新方法和理論依據。

結題摘要

軟體過程驗證是軟體過程建模的後續研究，可以確保過程模型符合建模者的期望，提高過程實施的有效性。針對現有過程驗證研究缺乏行為驗證的不足，首先，採用通信基礎代數ACP對已有軟體演化過程元模型進行擴展，提出軟體演化過程元模型進程代數，使用進程項指定軟體演化過程模型的代數語義，進而在進程代數的統一框架下，基於公理系統，使用等式推理驗證軟體演化過程的行為是否滿足過程規約，建立了支持行為驗證的理論基礎；其次，針對軟體演化過程模型的結構、性質和行為，分別提出了結構合理性驗證方法、性質合理性驗證方法和行為驗證方法；最後，從模型改進的角度，提出了插入操作、刪除操作、抽象操作和細化操作，用於修改不能通過驗證的過程模型。本課題建立支持軟體演化過程行為驗證的理論基礎、方法和工具原型，為軟體過程驗證提供了新方法和理論依據。