CAJ | 학술논문

针对软件运行时可信保障存在的相关问题,提出了基于AOP技术的软件性质监控框架.本框架使用OCL(Object Constraint Language)和UML Profile的SPT(Schedulability,Performance and Time)规范实现了软件性质在模型上的描述,基于描述并独立于被监控软件自动生成监控方面,将监控方面编织入被监控软件,从而使被监控软件具有运行时软件性质监控能力.
침대연건운행시가신보장존재적상관문제,제출료기우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 (Schedulability, Performance, and Time) specification. By weaving aspects with target software, the approach makes target software having the ability to monitor software properties at runtime.