摘要
面向方面编程(AOP)可以通过它的横切属性有效地解决代码缠结和分散的问题,但大部分的工作都集中在编程和实现阶段,很少有对早期的需求分析模型进行研究.本文通过采用AOP技术对软件系统的需求分析进行研究.首先在需求分析阶段,通过关注点分离技术识别出系统的功能需求和非功能需求,功能需求由核心关注点通过组件来实现,非功能需求由横切关注点通过方面来实现;然后结合具有精确描述性特点的形式化语言Aspect-Z来表示组件和方面.对于在同一连接点处需要编织多个方面且方面之间可能产生冲突的问题,通过定义方面的优先级来解决.最后,通过定理证明的方法推理出所描述需求的性质与属性,从而对Aspect-Z规格说明进行形式化验证.文章的最后给出应用实例.
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.
作者
曲璨
张立臣
Qu Can;Zhang Li-chen(School of Computer Science, Guangdong University of Technology, Guangzhou 510006, China)
出处
《广东工业大学学报》
CAS
2017年第6期54-60,67,共8页
Journal of Guangdong University of Technology
基金
国家自然科学基金资助项目(61572142
61370082)
广东省自然科学基金资助项目(2015A030313490)
