广东工业大学学报2017，Vol.34Issue(6)：54-60,67,8.DOI:10.12052/gdutxb.160144
基于形式化方法的面向方面需求分析
An Aspect-oriented Requirement Analysis Based on Formal Method
摘要
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.关键词
面向方面/需求分析/Aspect-Z语言/形式化验证Key words
AOP/requirements analysis/Aspect-Z/formal verifications分类
信息技术与安全科学引用本文复制引用
曲璨,张立臣..基于形式化方法的面向方面需求分析[J].广东工业大学学报,2017,34(6):54-60,67,8.基金项目
国家自然科学基金资助项目(61572142,61370082) （61572142,61370082）
广东省自然科学基金资助项目(2015A030313490) （2015A030313490）
