验证包含循环及叠加结构的复杂工作流模型结构上的异常问题
因此提出使用动态着色图形方法验证工作流模型正确性
主要研究方向:工作流管理 通信联系人: 【收录情况】 中国科技论文在线: 赵宝平
唐达
动态着色图验证工作流法[EB/OL]
北京:中国科技论文在线
) 摘要: 工作流验证是工作流管理系统中的重要方面
本方法可以同时解决死锁、死循环和多实例等常见异常
模型结构是工作流最基本也是最重要的一个方面
验证包含循环及叠加结构的复杂工作流模型结构上的异常问题
因此提出使用动态着色图形方法验证工作流模型正确性
主要研究方向:工作流管理 通信联系人: 【收录情况】 中国科技论文在线: 赵宝平
) 摘要: 工作流验证是工作流管理系统中的重要方面
本方法可以同时解决死锁、死循环和多实例等常见异常
模型结构是工作流最基本也是最重要的一个方面