基于ECA规则的工作流建模实施方案

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复，并发等成熟的技术进行建模，但ECA难于形式化，使得建模时不能够保证工作流系统的语义的正确性；而Petri网具有形式化描述的基础和正确性分析的优点，将这两方面结合起来，通过对Petri网中控制流结构的分析人出了由Petri网向ECA规则转化的方法，以保证基于ECA规则的工作流系统的正确性。     

从工作流网向ECA规则的转换

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术，因而目前已被广泛应用．但ECA规则难于形式化描述的特性，使得在工作流建模时．不能够保证工作流系统的语义的正确性；而Petri网具有形式化的描述的基础和正确性分析的优点；拳文将这两方面结合起来，对基于Petri网的工作流网中控制流结构的分析给出了由Petri网向ECA规则转化的方法．通过Petri网的形式化的验证后的ECA规则的转化，可以保证基于ECA规则的工作流系统的正确性．     

一种基于ECA规则的Web Service工作流模型的研究

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

基于XML和ECA规则的工作流建模及执行

长期以来,工作流产品互操作性的缺乏、尤其是工作流建模语言互操作性缺乏,已成为阻碍工作流技术进一步发展的重要因素,XML作为万维网组织规定的结构化的标记语言,它可以用作描述过程模型的共同语法格式,有望解决工作流描述语言的互操作性问题。文章介绍了采用基于XML的工作流描述语言XFL及其工作流管理系统XFMS。由于XFL本身并不是可执行模型,XFMS系统在低层采用了基于规则的工作流执行系统。并给出了从XFL语言到ECA规则的映射方式,所采用的方法综合了面向规则系统的灵活性以及基于XML模型的可交换性和易学性。     

基于ECA规则的工作流模型应用研究

本文以工作流参考模型为基础,结合办公自动化工作流的应用特点,阐明了工作流模型的设计与实现方案,应用ECA规则模型,对工作流模型进行定义和描述.     

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

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

项目管理系统中的工作流分析

本文介绍了工作流技术的基本概念,提出了一个基于工作流的项目管理系统模型,并使用Petri网描述了该项目管理的工作流程技术,在此基础上提出了项目管理系统的体系结构,并讲述了系统各个部分的功能,最后实现了项目管理系统的开发和应用.     

基于ECA规则的工作流过程建模

本文介绍了以树型结构定义工作流过程模型的方法和步骤,并根据节点之间事件、状态的依赖关系导出相应的ECA规则,阐述了如何得到和实现以ECA规则表示的工作流过程模型建立一个基于事件触发规则的工作流执行过程.     

基于Petri网的工作流技术在MIS中的应用

工作流技术是计算机领域中的一门新兴技术,工作流技术支持的信息系统具有良好的适应性和灵活性.文中简要地介绍了WFMIS和基于Petri 网的工作流模型,结合具体的实例,分析了WFMIS开发中模型的建立及流程的管理和监控,实现了工作流管理系统的Petri 网建模.     

基于Petri网的工作流技术在MIS中的应用

工作流技术是计算机领域中的一门新兴技术,工作流技术支持的信息系统具有良好的适应性和灵活性。文中简要地介绍了WFMIS和基于Petri网的工作流模型,结合具体的实例,分析了WFMIS开发中模型的建立及流程的管理和监控,实现了工作流管理系统的Petri网建模。     

基于Petri网的工作流结构正确性化简验证方法

工作流技术是近年来在计算机应用领域发展最为迅速的新技术之一,但基于覆盖图的工作流网的结构正确性检查的实现过于复杂.本文在Aalst提出的基于Petri网的工作流网的控制流的正确性理论的基础上,提出了工作流网的正确性检查的化简规则及相应的化简算法,实现了对于正确结构的工作流网直接验证;对于错误结构的工作流网,输出其包含问题节点在内的子网结构,可以进一步通过覆盖图的方法确认问题节点,从而降低了工作流网正确性检查的复杂性.     

基于主动数据库的工作流管理系统

高端工作流管理系统在应用中与数据库的频繁连接和数据交换成为其性能的瓶颈。该文提出一种新的基于主动数据库技术和ECA规则理论实现工作流管理系统的方法,探讨了基于主动数据库实现工作流管理系统的参考模型,与传统工作流参考模型的比较证明了该参考模型的合理性与可行性。     

基于ECA规则和活动分解的工作流模型

企业在面临电子商务的挑战中,越来越重视业务过程重组.建立一种合理的流程模型是成功开展BPR(business process re-engineering)的关键.这样的模型应该可以集成企业许多业务相关的信息并且是可被系统解释执行的.在参考WfMC(workflow management coalition)元模型基础上建立了一种基于ECA(event-condition-action)规则和活动分解的工作流模型.ECA规则反映活动之间的执行依赖关系,通过重写办法把ECA模型变为触发器形式的TA(trig     

基于工作流技术的项目管理系统研究

介绍了工作流技术的基本概念,提出基于工作流技术的项目管理系统模型,并用petri网描述了项目管理的工作流程,论述了采用基于工作流技术的项目管理系统与传统项目管理的优势。在此基础上提出了项目管理系统的体系结构,并讲述了系统各个部分的功能,最后实现了项目管理系统的开发和应用。     

网络化制造环境下的工作流管理系统的研究

本文在介绍了网络化制造和工作流管理技术的基本内容的基础上，针对网络化制造环境，提出了一种三层分布式体系结构的工作流管理系统，并对系统的关键技术做了分析。     

基于AOP的工作流在信息管理系统中的应用

针对基于面向对象的工作流与信息管理系统在集成时出现的问题,提出了一种基于面向方面的工作流方法。首先介绍了面向方面开发方法的原理和特点,然后分析基于面向方面的工作流管理系统的方案。最后结合基于.NET的信息管理系统的应用,给出了该工作流管理系统的实现过程。应用效果表明,基于面向方面的工作流可以有效地提高软件开发的效率。