摘要：运行时刻软件的监测与分析不仅可以提高软件质量，也是软件自适应性的基础．本文提出了基于模式的声明式约束描述方法，以此为基础，在J2EE中间件PKUAS上开发了运行时监测与分析框架，其最大的特点是探针的灵活部署和监测面向业务逻辑的约束．最后，阐述了框架的实现和相关实验的效果．

关键词：运行时监测分析 约束描述 约束定义语言 中间件 监测框架 

单位：北京大学信息科学技术学院软件研究所；高可信软件技术教育部重点实验室; 北京100871