基于組件的軟件過程建模方法框架

基于組件的軟件過程建模示例成果描述

　　基于組件的軟件過程建模方法是一種支持可信軟件過程建模，支持軟件過程模型性質驗證的一種形式化的軟件過程建模方法。該方法通過形式化方法保證所建立的軟件過程模型能夠將可信的輸入（人力資源、生產資料等）通過恰當的方式轉化成可信的輸出（軟件產品、相關文檔等）。該方法主要包括基于組件的軟件過程建模框架（簡稱“框架”）和軟件過程組件及其操作的形式化定義（簡稱“定義”）兩部分。其中，框架將本軟件過程建模方法分為四層，其中組件層是本方法的核心內容，其他層次是組件層的補充、完善和擴展。定義部分主要給出了軟件過程組件的形式化描述，以及軟件過程組件間的添加、刪除、連接、擴展、收縮五種操作的形式化定義，使得軟件過程模型能夠通過標準的軟件過程組件經過標準的操作方式進行建模，從而保證了軟件過程建模的效率及所建立模型的正確性。