植入式安全性质监控技术

摘要

针对安全性质，提出一种植入式监控方法。使用OCL（Object Constraint Language）实现安全性质在模型上的描述，并将OCL约束转化为Java监控代码，从而实现监控信息由模型到代码的映射。该方法采用AOP（Aspect—Oriented Programming）技术将监控代码植入目标系统，使软件在运行时具备安全性质的监控能力。