运行时刻软件的监测与分析不仅可以提高软件质量，也是软件自适应性的基础．本文提出了基于模式的声明式约束描述方法，以此为基础，在J2EE......

针对可扩展标记语言(extensible markup language,XML)结构定义(XML schemas definition,XSD)在对矿山遥感监测属性数据的复杂约束......

首先描述了一个基于角色和任务的工作流授权模型,其基本思想是角色和权限不直接挂钩而是通过任务把它们联系在一起,更方便权限粒度......

提出了一个描述基于角色访问控制的授权约束的直观的形式化语言，证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL......