基於場景的構件行為建模和組合研究

《基於場景的構件行為建模和組合研究》是依託浙江師範大學，由陳中育擔任項目負責人的面上項目。

基本介紹

• 中文名：基於場景的構件行為建模和組合研究
• 項目類別：面上項目
• 項目負責人：陳中育
• 依託單位：浙江師範大學

項目摘要

遵循用戶主導、直接面向領域專家進行需求建模的原則，針對用戶場景存在需求覆蓋性問題，解決多場景組合可能出現的過概括、欠概括及不一致，採用範疇論數學，研究基於場景的構件行為建模和組合。主要研究包括：(1)把場景抽象為有點集形式的數學結構，結合場景生命周期時間模型，給出場景及其組合的範疇論語義模型；(2)根據函子構造性，提出一種由場景產生構件行為模型的構造函子；(3)研究構造函子的泛性質，給出系統構件可組合的條件。其研究意義在於：通過模型轉換函子的抽象算法設計與實現，開發一個場景建模系統構件的工具原型，對尋求一種不僅尊重用戶需求變更而且自動適應需求變化的可供領域專家定義的新型需求方法的深入研究，具有重要的理論意義和套用價值。

結題摘要

需求工程在軟體開發活動中占有十分重要的位置，良好的軟體需求對於降低開發成本和保障項目成功至關重要，有效的用戶需求獲取是需求建模的一個重要前提，隨著軟體需求的工程化發展，需求獲取變得相當複雜和困難。場景被公認為需求獲取和需求驗證的有效工具。然而，場景只是用戶對目標系統的部分描述，容易產生需求覆蓋性問題，不同用戶提交的場景可能存在不一致。在場景組合演化的過程中，需求規約中可能隱含有某些用戶所不期望的行為，也可能出現某些暗含需求信息的丟失。為此，主要研究包括：(1)把場景抽象為有點集形式的數學結構，結合場景生命周期時間模型，給出場景及其組合的範疇論語義模型；(2)根據函子構造性，提出一種由場景產生構件行為模型的構造函子；(3)研究構造函子的泛性質，給出系統構件可組合的條件。課題組提出一種基於場景的需求建模解決方案。整個方案可看成是一個具有反饋能力的抽象機器，控制部件是狀態合併，反饋部件是用戶，輸入僅限於用戶初始提交的場景集合，輸出是合併後的商自動機，反饋輸入是合併算法產生的新的事件序列，反饋輸出是用戶對新事件序列作出的判斷。從形式觀點來看，輸入是可執行的字元串集合，將其概括為能被形式系統所接受的一個語言，輸出的是識別一種語言的語法，這種語言的特徵由輸入串所代表。整個建模過程體現了以用戶為主導的需求建模思想。項目研究意義在於：通過模型轉換函子的抽象算法設計與實現，開發一個場景建模系統構件的工具原型，對尋求一種不僅尊重用戶需求變更而且自動適應需求變化的可供領域專家定義的新型需求方法的深入研究，有科學意義和套用價值。