工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(WF-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,...工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(WF-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,所以它是一种严格的过程形式化体系。讨论 WF-net 的建模技术,并以办公自动化系统中收文为例说明其应用,并分析其在众多的建模工具中所具有的优势。展开更多
由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作...由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.展开更多
文摘工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(WF-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,所以它是一种严格的过程形式化体系。讨论 WF-net 的建模技术,并以办公自动化系统中收文为例说明其应用,并分析其在众多的建模工具中所具有的优势。
文摘由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.
