一种基于eca规则的webservice工作流模型的研究

工作流技术的深入应用要求工作流管理系统增强web服务功能，基于petri网工作流过程模型存在无法表述状态变迁过程或状态变迁边缘时刻事件的缺陷。给出了基于eca规则webservice工作流模型形式化定义，基于eca规则的过程模型以事件推动工作流实例的执行，通过严格定义事件的语义来保证工作流的正确执行和监控并支持工作流在运行中修改实例。