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