面向方面的需求工程

臧光明

面向方面的方法是一个崭新的研究领域，近年来，随着软件开发人员对面向方面思想的进一步了解和在软件开发中的广泛应用，研究人员开始意识到在需求阶段就引入方面的概念和思想是十分必要的，面向方面的需求工程（AORE，AspectOriented Requirements Engineering）方法应运而生。作者试图通过本书，让读者从面向方面视角对需求工程有一个更加直观而深刻的理解。

本书分为5大部分，共17章：第1部分 关注点识别，包含第1-2章：1.方面识别。描述了基于工具的EAMiner方法，该方法提供了在用例中识别横切的自动化支持。此外，该方法的另一个主要特征是在关注点识别中使用了自然语言处理（NLP）；2.动态需求。提出了一种基于目标的方法，该方法使用一个适应规则列表用于实时管理需求，该规则根据在运行时扮演的角色不同来进行分类。

第2部分 关注点建模，包含第3-7章：3.面向方面的动态行为模型。介绍了一个基于场景的体分析法，该方法利用MATA变换对序列图以及状态机进行建模；4.基于语义的文本需求构成。介绍了一种应用到文本需求中的基于语义的构成方法，该方法建立在对自然语言的语义分析基础上；5.构成目标和场景模型。提出了面向方面的用户需求符号的组合机制（AoURN），该机制专注于语义构成规则中匹配的增强；6.AOV图中面向方面的目标建模。介绍了AOV图，该方法主要用于处理在目标建模中因交互而产生的横切问题，有助于定义一个交互的横切关系。此外，该方法还为分析基于目标的需求提供一个可视化机制；7.问题框架方面构成。介绍了在问题框架下如何对横切关注点进行有效识别和建模，该框架显示了如何通过文本构成语言来构成横切关注点。

第3部分 AORE特定域的使用，包含第8-10章：8.需求到体系结构的映射。提出了一种基于构建模型的模型驱动开发策略；9.维护安全要求。提出了一种应对关键项目安全变化的方法。作者认为，当系统中任一部分发生变化时，安全需求验证过程都应该得到及时更新；10.不稳定模型问题。阐述了如何处理不稳定需求的同时，本章还讨论了如何通过采用面向方面的方法来对被约束的演变模型进行优化。

第4部分 方面的相互作用，包含第11-14章：11.冲突识别。提出了一种名为EA分析仪的方法和工具来对冲突监测进行自动化处理；12.冲突处理。提出了一种AORE层次的冲突管理方法，该方法使用一个混合的多标准分析技术进行分析并最终获得关注点的一个排序；13.面向方面模型分析。给出了一种用于一致性分析的用例驱动方法，实现对用例的优化；14.工程角度的方面交互。展示了一种将特征作为方面、将特征构成作为方面构成的方法。该方法使用构成框架来解决方面交互问题。

第5部分 工业中的AORE实例，包含第15-17章：15.面向方面的需求分析。展示了需求构成表技术（RCT）在金融领域的两个应用实例；16.AORE在老虎机中的应用。讨论了两个AORO方法在老虎机领域的应用，该应用涉及几个较大的需求文件；17.AERO评估。在借鉴其它发展阶段的基础之上，本章建立了一系列的评估指南用于帮助相关的软件开发者。

本书阅读对象为从事软件开发的工程师，也适合相关专业高年级本科生和一年级研究生阅读和参考。

（中国科学院国家空间科学中心）endprint