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

• 作者: 张立臣 曲璨
• 来源期刊: 广东工业大学学报
• 学科: 工学
• 关键词: 面向方面 需求分析 Aspect-Z语言 形式化验证
• 年，卷（期）: 2017,（6）
• 所属期刊栏目: 综合研究
• 页码范围: 54-60,67
• 页数: 8页
• 分类号: TP391
• 字数: 3131字
• 语种: 中文
• DOI: 10.12052/gdutxb.160144

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张立臣	广东工业大学计算机学院	158	820	14.0	21.0
2	曲璨	广东工业大学计算机学院	1	1	1.0	1.0