标题:体系结构层状态型方面的建模和编织----基于LTS的方法
作者:杨春花;王海洋
作者机构:[杨春花] 山东大学计算机科学与技术学院, 济南, 山东 250100, 中国.;[王海洋] 山东大学计算机科学与技术学院, 济南, 山东 250100, 中国 更多
通讯作者:Yang, CH(jnych@126.com)
通讯作者地址:[Yang, C.-H] School of Computer Science and Technology, Shandong University, Jinan 250100, China;
来源:计算机学报
出版年:2011
卷:34
期:2
页码:342-352
DOI:10.3724/SP.J.1016.2011.00342
关键词:方面; 状态型方面; 编织; 标记转换系统; 面向方面的软件开发
摘要:状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这 一问题,提出一种体系结构层状态型方面的建模和编织方法.它以标记转换系统(Labelled Transition System,LTS)为底层形式化,建立了用于识别系统运行轨迹中特定模式的切点机制,并定义了支持多种通知类型的编织运算.该方法当前已在一个基于F SP规范的原型编织工具上实现,并用一个实例说明了该方法的有效性
收录类别:EI;CSCD;SCOPUS
资源类型:期刊论文
原文链接:https://www.scopus.com/inward/record.uri?eid=2-s2.0-79953665977&doi=10.3724%2fSP.J.1016.2011.00342&partnerID=40&md5=389f190ed2fa7c061e632f4985c764a2
TOP