工作流管理系统的安全问题可分为两类:公共安全问题和特殊安全问题.现有的安全技术可以解决公共安全问题,但不能解决特殊安全问题.......

提出一种可视化的约束规则建模语言(visual constraint modeling language,VCML),采用XYZ/E语言作为逻辑框架,统一定义约束规则和......

利用运行时验证这样一种新兴的轻量级验证技术和AOP的框架结合，检测业务约束之间存在的冗余和冲突。首先对业务约束进行定义，利用约......

目前,工作流管理系统得到了广泛的应用,但现有的工作流管理系统只能模拟业务流转逻辑,缺少对业务约束的模拟.鉴此,本文提出了工作......