基於意圖的軟體需求形式化建模方法研究

《基於意圖的軟體需求形式化建模方法研究》是依託清華大學，由劉璘擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：基於意圖的軟體需求形式化建模方法研究
• 依託單位：清華大學
• 項目負責人：劉璘
• 項目類別：青年科學基金項目
• 負責人職稱：副研究員
• 批准號：60503030
• 申請代碼：F0203
• 研究期限：2006-01-01 至 2008-12-31
• 支持經費：22（萬元）

項目摘要

軟體的成敗直接取決於軟體系統是否能夠反映風險承擔者的真實意圖，以及系統參與者之間的策略依賴關係。現有的軟體建模方法大都以系統的具體行為和數據為研究對象。這類方法在描述傳統的靜態封閉型系統中能夠發揮重要作用，卻難以有效描述和分析現代複雜開放分布網路環境下的新型服務軟體及其設計過程。針對這一問題，本課題通過提高軟體需求概念建模的抽象層次，將軟體看作反映和實現人類意圖及策略的主動實體（Agent），能夠