基于形式化方法的面向方面需求分析

摘要：

面向方面编程(AOP)可以通过它的横切属性有效地解决代码缠结和分散的问题,但大部分的工作都集中在编程和实现阶段,很少有对早期的需求分析模型进行研究.本文通过采用AOP技术对软件系统的需求分析进行研究.首先在需求分析阶段,通过关注点分离技术识别出系统的功能需求和非功能需求,功能需求由核心关注点通过组件来实现,非功能需求由横切关注点通过方面来实现;然后结合具有精确描述性特点的形式化语言Aspect-Z来表示组件和方面.对于在同一连接点处需要编织多个方面且方面之间可能产生冲突的问题,通过定义方面的优先级来解决.最后,通过定理证明的方法推理出所描述需求的性质与属性,从而对Aspect-Z规格说明进行形式化验证.文章的最后给出应用实例.

关键词：面向方面、需求分析、Aspect-Z语言、形式化验证

所属期刊栏目：34

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61572142,61370082;广东省自然科学基金资助项目2015A030313490

在线出版日期：2018-04-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：54-60,67