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

曲璨; 张立臣

doi:10.12052/gdutxb.160144

欢迎来到能源电力期刊网！

English Version 期刊登录

您当前的位置：

首页 >

文章列表页 >

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

综合研究 | 更新时间：2026-05-27

- 基于形式化方法的面向方面需求分析
- An Aspect-oriented Requirement Analysis Based on Formal Method
- 广东工业大学学报 2017年34卷第6期页码：54-60
- 作者机构：
  
  广东工业大学　计算机学院,广东,广州,510006
- 作者简介：
  
  曲璨(1990–)，女，硕士研究生，主要研究方向为信息物理融合系统、面向方面编程
  张立臣(1962–)，男，教授，主要研究方向为信息物理系统、分布式处理等. E-mail：lchzhang@gdut.edu.cn
- 基金信息：
  
  国家自然科学基金资助项目(61572142，61370082);广东省自然科学基金资助项目(2015A030313490)
- DOI：10.12052/gdutxb.160144
  中图分类号： TP391
- 网络首发：2017-11-09，
  
  纸质出版：2017
- 稿件说明：
移动端阅览
曲璨, 张立臣. 基于形式化方法的面向方面需求分析[J]. 广东工业大学学报, 2017, 34(6): 54-60.

Qu Can, Zhang Li-chen. An Aspect-oriented Requirement Analysis Based on Formal Method[J]. 2017, 34(6): 54-60.
曲璨, 张立臣. 基于形式化方法的面向方面需求分析[J]. 广东工业大学学报, 2017, 34(6): 54-60. DOI： 10.12052/gdutxb.160144.

Qu Can, Zhang Li-chen. An Aspect-oriented Requirement Analysis Based on Formal Method[J]. 2017, 34(6): 54-60. DOI： 10.12052/gdutxb.160144.

摘要

面向方面编程(AOP)可以通过它的横切属性有效地解决代码缠结和分散的问题

但大部分的工作都集中在编程和实现阶段

很少有对早期的需求分析模型进行研究. 本文通过采用AOP技术对软件系统的需求分析进行研究. 首先在需求分析阶段

通过关注点分离技术识别出系统的功能需求和非功能需求

功能需求由核心关注点通过组件来实现

非功能需求由横切关注点通过方面来实现; 然后结合具有精确描述性特点的形式化语言Aspect-Z来表示组件和方面. 对于在同一连接点处需要编织多个方面且方面之间可能产生冲突的问题

通过定义方面的优先级来解决. 最后

通过定理证明的方法推理出所描述需求的性质与属性

从而对Aspect-Z规格说明进行形式化验证. 文章的最后给出应用实例.

Abstract

Aspect-Oriented Programming (AOP) can effectively solve the code-tangling and code-scattering caused by crosscutting attributes; however

much work is presented on the programming and the implementation phase

and little has addressed the early model stages. A research is conducted on the requirements engineering phase of software by using AOP technology. First in the requirements analysis phase

the functional requirements and non-functional requirements are identified by the separation of concerns

and the functional requirements with components and the non-functional requirements with aspects are realized. Then the components and aspects are represented by combining with the formal language Aspect-Z which has the characteristics of accurate description. As actions accompany conflicts while two or more aspects affect the same joint point synchronously

a method is proposed to solve by defining aspects’ priority level. In the end

the properties and attributes of the described requirements are deduced by the theorem proving method

so as to achieve the purpose of formal verification of Aspect-Z specifications. Finally

an application example is given.

关键词

Keywords

references

ZHANG L, HUB M, MANG S, et al . Software for quantitative analysis of radio therapy: overview, requirement analysis and design solutions [J ] . Computer Methods and Programs in Biomedicine, 2013, 110(3): 528-537.

GORGAN V. Requirement analysis for a higher education decision support system. Evidence from a Romanian University [J]. Procedia Social and Behavioral Sciences, 2015, 197: 450-455.

KESHAV B A, GOPALAKRISHNAN N T R. Mapping general system characteristics to non- functional requirements[C]//Proceedings of the 2009 IEEE International Advance Computing Conference. [S.l.]: IEEE, 2009: 1634-1638.

YUAN S J, XU S P, DU S P, et al . A method based software requirements specification description quality evaluation [J ] . Electronic Design Engineering, 2013, 21(7): 11-13.

JIN Y, LIU H B, ZHANG P. An approach to analysis and verifying aspect-oriented requirements model [J]. Chinese Journal of Computers, 2013, 36(1): 63-73.

JIN W Z, LI Y, XU J H, et al . Research on aspect-oriented programming technology [J ] . Application and Software, 2005, 22(8): 42-45.

WANG S H, XING J C, LI J L, et al . Application research of AOP technology in information management system [J ] . Computer Application and Software, 2012, 29(6): 189-195.

CAO F, BRYANT B R, BURT C C, et al . A component assembly approach based on aspect-oriented generative domain modeling [J ] . Electronic Notes in Theoretical Computer Science, 2005, 114: 119-136.

YAO Q Z, WANG J. Software formalization requirements analysis and verification based onUML [J]. Computer Engineering, 2010, 36(13): 30-33.

LIU J Y, ZHONG Y, ZHANG L C. The aspect-oriented modelling of software non-functional requirements [J]. Computer Application and Software, 2010, 27(12): 40-41.

ZHANG L. Aspect-oriented formal techniques of cyber physical systems [J]. Journal of Software, 2012, 7(4): 823-834.

SILVA C V, SAENS R, DEL R C, et al . Aspect-oriented modeling: applying aspect-oriented U-ML use cases and extending aspectZ [J ] . Computing and Informatics, 2013, 32(3): 1001-1021.

FABRY J, KELLENS A, DENIER S, et al . Aspectmaps: extending moose to visualize AOP software [J ] . Science of Computer Programming, 2014, 79(1): 6-22.

YU H, LIU D, YANG L, et al. Formal aspect-oriented modeling and analysis by aspect-Z[C]//International Conference on Software Engineering and Knowledge Engineering. [S.l.]:[s.n.], 2005: 169-174.

ZIELCZYNSKI P. Requirements management using ibm® rational® requisitepro®[M]. New York: IBM Press, 2007.

WEN Z C, LIAO H K, ZHANG X L. Formal verification based on object-Z specification [J]. Computer Science, 2007, 34(5): 247-251.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于高效时序建模的RGB-T跟踪

具守恒量波动方程的循环双子网物理信息神经网络

基于PSI技术的福州市地面形变监测与影响因素分析

基于AAGV-YOLOX模型的输电线路异物检测研究

双模态迭代交叉注意力融合集成框架