面向方面的需求工程

臧光明

面向方面的方法是一個嶄新的研究領(lǐng)域，近年來，隨著軟件開發(fā)人員對面向方面思想的進一步了解和在軟件開發(fā)中的廣泛應(yīng)用，研究人員開始意識到在需求階段就引入方面的概念和思想是十分必要的，面向方面的需求工程（AORE，AspectOriented Requirements Engineering）方法應(yīng)運而生。作者試圖通過本書，讓讀者從面向方面視角對需求工程有一個更加直觀而深刻的理解。

本書分為5大部分，共17章：第1部分 關(guān)注點識別，包含第1-2章：1.方面識別。描述了基于工具的EAMiner方法，該方法提供了在用例中識別橫切的自動化支持。此外，該方法的另一個主要特征是在關(guān)注點識別中使用了自然語言處理（NLP）；2.動態(tài)需求。提出了一種基于目標的方法，該方法使用一個適應(yīng)規(guī)則列表用于實時管理需求，該規(guī)則根據(jù)在運行時扮演的角色不同來進行分類。

第2部分 關(guān)注點建模，包含第3-7章：3.面向方面的動態(tài)行為模型。介紹了一個基于場景的體分析法，該方法利用MATA變換對序列圖以及狀態(tài)機進行建模；4.基于語義的文本需求構(gòu)成。介紹了一種應(yīng)用到文本需求中的基于語義的構(gòu)成方法，該方法建立在對自然語言的語義分析基礎(chǔ)上；5.構(gòu)成目標和場景模型。提出了面向方面的用戶需求符號的組合機制（AoURN），該機制專注于語義構(gòu)成規(guī)則中匹配的增強；6.AOV圖中面向方面的目標建模。介紹了AOV圖，該方法主要用于處理在目標建模中因交互而產(chǎn)生的橫切問題，有助于定義一個交互的橫切關(guān)系。此外，該方法還為分析基于目標的需求提供一個可視化機制；7.問題框架方面構(gòu)成。介紹了在問題框架下如何對橫切關(guān)注點進行有效識別和建模，該框架顯示了如何通過文本構(gòu)成語言來構(gòu)成橫切關(guān)注點。

第3部分 AORE特定域的使用，包含第8-10章：8.需求到體系結(jié)構(gòu)的映射。提出了一種基于構(gòu)建模型的模型驅(qū)動開發(fā)策略；9.維護安全要求。提出了一種應(yīng)對關(guān)鍵項目安全變化的方法。作者認為，當系統(tǒng)中任一部分發(fā)生變化時，安全需求驗證過程都應(yīng)該得到及時更新；10.不穩(wěn)定模型問題。闡述了如何處理不穩(wěn)定需求的同時，本章還討論了如何通過采用面向方面的方法來對被約束的演變模型進行優(yōu)化。

第4部分 方面的相互作用，包含第11-14章：11.沖突識別。提出了一種名為EA分析儀的方法和工具來對沖突監(jiān)測進行自動化處理；12.沖突處理。提出了一種AORE層次的沖突管理方法，該方法使用一個混合的多標準分析技術(shù)進行分析并最終獲得關(guān)注點的一個排序；13.面向方面模型分析。給出了一種用于一致性分析的用例驅(qū)動方法，實現(xiàn)對用例的優(yōu)化；14.工程角度的方面交互。展示了一種將特征作為方面、將特征構(gòu)成作為方面構(gòu)成的方法。該方法使用構(gòu)成框架來解決方面交互問題。

第5部分 工業(yè)中的AORE實例，包含第15-17章：15.面向方面的需求分析。展示了需求構(gòu)成表技術(shù)（RCT）在金融領(lǐng)域的兩個應(yīng)用實例；16.AORE在老虎機中的應(yīng)用。討論了兩個AORO方法在老虎機領(lǐng)域的應(yīng)用，該應(yīng)用涉及幾個較大的需求文件；17.AERO評估。在借鑒其它發(fā)展階段的基礎(chǔ)之上，本章建立了一系列的評估指南用于幫助相關(guān)的軟件開發(fā)者。

本書閱讀對象為從事軟件開發(fā)的工程師，也適合相關(guān)專業(yè)高年級本科生和一年級研究生閱讀和參考。

（中國科學院國家空間科學中心）endprint