基于Statecharts的面向方面软件设计与验证  

Aspect-Oriented Software Design and Verification Based on Statecharts

作　　者：文欣秀[1] 虞慧群[1] 

机构地区：[1]华东理工大学信息科学与工程学院,上海200237

出　　处：《华东理工大学学报（自然科学版）》2011年第5期601-608,共8页Journal of East China University of Science and Technology

基　　金：国家自然科学基金(60773094);上海市曙光计划(07SG32)

摘　　要：为了及时解决由于关注点横切所产生的"代码交织"与"代码散布"问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证方面Statecharts的介入是否破坏了基本Statechart的相关行为,引入扩展层次自动机解释面向方面Statechart的操作语义,使用线性时态逻辑描述系统的关键属性。最后通过一个案例证明了该设计方法的可行性。In order to solve the problems of code crosscutting and code tangling resulting from the crosscut of concerns,this paper proposed an aspect-oriented software design method based on Statecharts,and further verified the effective of weaving process by utilizing linear-time temporal logic.Furthermore,in order to verify whether the intervention of aspect Statecharts destroys the certain behaviors of base Statechart,this paper introduced the extended hierarchical automaton to explain the operational semantics of aspect-oriented Statechart,and described the key properties of software system by utilizing the linear-time temporal logic.Finally,a case study demonstrated the feasibility of the proposed method.

关 键 词：面向方面 STATECHART 线性时态逻辑 编织 模型检测 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]