摘要
为了及时解决由于关注点横切所产生的"代码交织"与"代码散布"问题,提出了一种基于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.
出处
《华东理工大学学报(自然科学版)》
CAS
CSCD
北大核心
2011年第5期601-608,共8页
Journal of East China University of Science and Technology
基金
国家自然科学基金(60773094)
上海市曙光计划(07SG32)