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

针对传统的业务过程模型对组织人员及其角色缺乏重视,以及难以描述复杂业务约束的问题,设计了规范约束下基于角色的业务过程模型,......

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

研究了一类基于业务行为与业务对象约束的业务规则。从业务需求的复杂业务规则出发，探讨了这类复杂业务规则的含义，以及业务行为和业......

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

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