一种改进的验证工作流控制逻辑正确性的方法

许多工作流管理系统可能建立错误的工作流模型，导致工作流的执行出现异常。建立了一个基于双分支条件有向图的工作流模型，提出了一种验证整个工作流控制逻辑正确性的方法。实验结果表明，该方法是可行的。     

工作流中时序约束正确性验证

分析了工作流管理系统中主要应该考虑的时间问题,然后建立了一个工作流时序条件有向图模型,在该模型基础上进行了一些关于时序逻辑推理问题的研究,提出了4个推理规则,同时提出了验证工作流活动时间约束正确性的一些必要条件。研究结果表明,所作的工作对于工作流管理系统的时间建模,监控和性能评价有一定的参考价值。     

基于对象和ECA规则的工作流模型

文中提出了一个基于对象的工作流活动定义，在此基础上引入了ECA规则，作为对象消息通信的基础，提出了一种新的基于对象和ECA规则的工作流模型。着重讨论了工作流失败处理和恢复的策略，在考虑工作流活动之间的控制依赖和数据依赖的同时，引入了资源依赖的概念，提出了强数据依赖、强控制依赖和强资源依赖的概念，并给出了关键的消息规则。     

决策支持系统中的分布式缓存机制

从如何提高DSS中查询的响应时间出发,提出了一种具有分布式缓存机制的决策支持系统,给出了系统的工作流程,并且介绍了系统中的缓存替换算法。实验表明这种系统的性能是良好的。