Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of wor...Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.展开更多
企业在面临电子商务的挑战中,越来越重视业务过程重组.建立一种合理的流程模型是成功开展BPR（business process re-engineering）的关键.这样的模型应该可以集成企业许多业务相关的信息并且是可被系统解释执行的.在参考WfMC（workflow ...企业在面临电子商务的挑战中,越来越重视业务过程重组.建立一种合理的流程模型是成功开展BPR（business process re-engineering）的关键.这样的模型应该可以集成企业许多业务相关的信息并且是可被系统解释执行的.在参考WfMC（workflow management coalition）元模型基础上建立了一种基于ECA（event-condition-action）规则和活动分解的工作流模型.ECA规则反映活动之间的执行依赖关系,通过重写办法把ECA模型变为触发器形式的TA（trigger-action）模型,使模型的解析更高效,把事件重写为事件发生时间,使事件表达式具有更强的表达能力.活动分解的模型能很好地支持层次化项目管理.展开更多
随着业务领域和网格技术的发展,以应用网络服务的活动为主构成的服务工作流得到广泛重视和使用。服务工作流的数据流建模必须考虑服务的实现方式和人工活动对文件传输的需求。提出基于XML和事件驱动的数据和数据流模型,分析利用XSLT(Ext...随着业务领域和网格技术的发展,以应用网络服务的活动为主构成的服务工作流得到广泛重视和使用。服务工作流的数据流建模必须考虑服务的实现方式和人工活动对文件传输的需求。提出基于XML和事件驱动的数据和数据流模型,分析利用XSLT(Extensible Stylesheet Language Transformations)进行XML、HTML的转换以实现服务和人工活动间数据传递的机制,从而克服BPEL4WS固有的在数据机制上的缺陷。同时实现了支持该模型的服务工作流系统。展开更多
文摘Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.
文摘企业在面临电子商务的挑战中,越来越重视业务过程重组.建立一种合理的流程模型是成功开展BPR（business process re-engineering）的关键.这样的模型应该可以集成企业许多业务相关的信息并且是可被系统解释执行的.在参考WfMC（workflow management coalition）元模型基础上建立了一种基于ECA（event-condition-action）规则和活动分解的工作流模型.ECA规则反映活动之间的执行依赖关系,通过重写办法把ECA模型变为触发器形式的TA（trigger-action）模型,使模型的解析更高效,把事件重写为事件发生时间,使事件表达式具有更强的表达能力.活动分解的模型能很好地支持层次化项目管理.
文摘随着业务领域和网格技术的发展,以应用网络服务的活动为主构成的服务工作流得到广泛重视和使用。服务工作流的数据流建模必须考虑服务的实现方式和人工活动对文件传输的需求。提出基于XML和事件驱动的数据和数据流模型,分析利用XSLT(Extensible Stylesheet Language Transformations)进行XML、HTML的转换以实现服务和人工活动间数据传递的机制,从而克服BPEL4WS固有的在数据机制上的缺陷。同时实现了支持该模型的服务工作流系统。
