体系结构层状态型方面的建模和编织——基于LTS的方法

• 作者: 杨春花 王海洋
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 方面 状态型方面 编织 标记转换系统 面向方面的软件开发
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 342-352
• 分类号: TP311
• 字数: 9353字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2011.00342

摘要

状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这一问题,提出一种体系结构层状态型方面的建模和编织方法.它以标记转换系统(Labelled Transition System,LTS)为底层形式化,建立了用于识别系统运行轨迹中特定模式的切点机制,并定义了支持多种通知类型的编织运算.该方法当前已在一个基于FSP规范的原型编织工具上实现,并用一个实例说明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨春花	山东大学计算机科学与技术学院	9	28	3.0	4.0
3	王海洋	山东大学计算机科学与技术学院	83	999	16.0	28.0