动态工作流建模分析和验证的研究
随着电子商务、办公自动化应用的不断深入,工作流技术得到越来越广泛的应用.但同时,人们也对工作流技术的应用提出了更高的要求,特别是要求工作流管理系统具有良好的灵活性和动态处理能力,以便有效的支持今天所处的动态的、不确定的和易于出错的协同工作环境.本文首先针对办公业务流程的灵活多变性,归纳总结出了进行模型动态调整的规则,然后重点讨论和分析了工作流模型中的结构冲突问题,并就并发丢失问题提出了正确性校验算法,以验证改变后工作流模型的语法正确性.
工作流建模 结构冲突 规约规则 办公自动化 工作流技术
陆永强 党齐民
华东理工大学信息学院,200237
国内会议
北京
中文
1014-1018
2006-12-22（万方平台首次上网日期，不代表论文的发表时间）