An Aspect-oriented Requirement Analysis Based on Formal Method

Qu Can; Zhang Li-chen

doi:10.12052/gdutxb.160144

English Version Journal Login

您当前的位置：

首页 >

文章列表页 >

An Aspect-oriented Requirement Analysis Based on Formal Method

更新时间：2026-05-27

- An Aspect-oriented Requirement Analysis Based on Formal Method
- Vol. 34, Issue 6, Pages: 54-60(2017)
- 作者机构：
  
  广东工业大学　计算机学院,广东,广州,510006
- 作者简介：
- 基金信息：
- DOI：10.12052/gdutxb.160144
  CLC： TP391
- Online First：09 November 2017，
  
  Published：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.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Modeling of 3D NAND Memory Cells with Taper Angle and Programming Strategy Optimization

Efficient Temporal Modeling for RGB-T Tracking

Ground Deformation Monitoring and Influencing Factors Analysis in Fuzhou City Based on PSI Technology

Energy Management Strategy of Hybrid Locomotive Based on Road Condition Parameters

The Cross-twin Physics-informed Neural Network for Wave Equations with Conserved Quantities

Related Author

No data

Related Institution

No data

AI问答

⁰