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

摘要：

为了及时解决由于关注点横切所产生的＂代码交织＂与＂代码散布＂问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证方面Statecharts的介入是否破坏了基本Statechart的相关行为,引入扩展层次自动机解释面向方面Statechart的操作语义,使用线性时态逻辑描述系统的关键属性。最后通过一个案例证明了该设计方法的可行性。

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

所属期刊栏目：37

分类号：TP301(计算技术、计算机技术)

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

在线出版日期：2012-04-21（万方平台首次上网日期，不代表论文的发表时间）

页码：601-608