检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机科学》2010年第3期165-169,共5页Computer Science
基 金:国家自然科学基金(编号:60503032);国家863计划课题(编号:2006AA01Z178;2007AA010301)资助
摘 要:针对软件运行时可信保障存在的相关问题,提出了基于AOP技术的软件性质监控框架。本框架使用OCL(Object Constraint Language)和UML Profile的SPT(Schedulability,Performance and Time)规范实现了软件性质在模型上的描述,基于描述并独立于被监控软件自动生成监控方面,将监控方面编织入被监控软件,从而使被监控软件具有运行时软件性质监控能力。Aiming at improving software dependability at runtime, this paper presented a monitoring framework for software properties based on AOP (Aspect-Oriented Programming). Independent of target software, this framework automatically generates monitoring aspects from software properties described by OCL(Object Constraint Language) and UML Profile for SPT (Schedulabihty,Performance,and Time)specification. I3y weaving aspects with target software,the approach makes target software having the ability to monitor software properties at runtime.
关 键 词:监控框架 SPT规范 软件性质 对象约束语言 面向方面编程
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.177