摘要
工作流技术的深入应用要求工作流管理系统增强Web服务功能,基于Petri网工作流过程模型存在无法表述状态变迁过程或状态变迁边缘时刻事件的缺陷。给出了基于ECA规则Web Service工作流模型形式化定义,基于ECA规则的过程模型以事件推动工作流实例的执行,通过严格定义事件的语义来保证工作流的正确执行和监控并支持工作流在运行中修改实例。
While workflow technology is increasingly used to manage complex processes in scientific and business field, the enhancements to Web service capabilities are required. The Petri net based workflow model has limitations that could not depict the course of state transition or the event happened at the moment of state transition. An ECA-rule based Web Service workflow model was proposed. The process instances of the model is driven by events, Which not only ensure workflow to run and monitor correctly but also sustain dynamic modification at runtime.
出处
《计算机科学》
CSCD
北大核心
2009年第8期112-115,共4页
Computer Science
基金
四川省重点科技基金项目(02GG006-036)
校级科研项目(412167)资助
