信牌驱动模型中的工作流模式 被引量：9

1

作者 龚晓庆 葛玮 郝克刚 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第1期13-18,共6页

目的　评估信牌驱动模型在工作流过程控制流建模方面的表达能力和适用性。方法　基于工作流模式,分析信牌驱动模型中各种模式的实现方式,并与其他过程建模语言进行比较。结果　信牌驱动模型支持绝大多数工作流模式。结论　信牌驱动模型... 目的　评估信牌驱动模型在工作流过程控制流建模方面的表达能力和适用性。方法　基于工作流模式,分析信牌驱动模型中各种模式的实现方式,并与其他过程建模语言进行比较。结果　信牌驱动模型支持绝大多数工作流模式。结论　信牌驱动模型是一种具有很强表达能力的工作流过程定义模型,能够满足广泛的业务需求。 展开更多

关键词 工作流过程定义语言 工作流模式 信牌驱动模型 表达能力 适用性

下载PDF 职称材料

工作流过程元模型研究 被引量：11

2

作者 任洪涛 齐璇 柳军飞 《计算机工程与设计》 CSCD 2003年第8期18-21,共4页

介绍了工作流过程元模型的相关概念,着重分析了几种具有代表性的工作流过程元模型,提出了一种微型的、分层结构的、易于扩展的动态工作流过程元模型MINI,一种新的工作流模式即转移依赖分支模式被实现,最后介绍了MINI工作流管理系统。

关键词 工作流 过程元模型 建模 工作流管理系统 软件系统

下载PDF 职称材料

一种基于模式组件的工作流管理系统构建方法 被引量：7

3

作者 张峰 王晓琳 曾广周 《计算机工程》 CAS CSCD 北大核心 2006年第2期88-90,共3页

从描述流程控制特征的工作流模式出发,提出了一种基于工作流模式的工作流模型,给出了先将工作流模式映射到工作流模式组件,再构建基于模式组件的工作流管理系统的方法。

关键词 工作流管理系统 工作流模式 工作流模式组件 扩展PETRI网

下载PDF 职称材料

一种新的基于Petri网的分层工作流过程模型 被引量：4

4

作者 张亮 姚淑珍 《计算机集成制造系统》 EI CSCD 北大核心 2006年第9期1367-1373,共7页

过程模型的描述能力和分析能力难以满足企业的要求,为此,提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上,通过对基本网进行一定的扩展,给出工作流过程的分层模型。该模型由工作流描述模型和工作流... 过程模型的描述能力和分析能力难以满足企业的要求,为此,提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上,通过对基本网进行一定的扩展,给出工作流过程的分层模型。该模型由工作流描述模型和工作流分析模型组成。工作流描述模型直接支持所有工作流模式,特别是多实例、取消、高级同步等高级Petri网无法直接描述的模式。工作流描述模型在Petri网的基础上增加了控制变量,并将变迁划分为变迁入口和变迁体两部分。控制变量与变迁之间构成读写关系。变迁入口函数通过判断控制变量,消解工作流描述模型中的冲突;变迁体函数通过可扩展逻辑描述语句,实现对控制变量的读写操作。工作流分析模型作为工作流描述模型的分析模型,剥离了工作流描述模型个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型。最后,通过几个例子说明了如何使用本文提出的模型对各种复杂流程进行建模和分析。 展开更多

关键词 PETRI网 工作流 工作流模型 工作流模式

下载PDF 职称材料

工作流模式的π演算建模研究 被引量：7

5

作者 黄贤明 李长云 梁爱南 《计算机工程与应用》 CSCD 北大核心 2007年第17期66-68,73,共4页

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。

关键词 Π演算 ECA规则 工作流模式

下载PDF 职称材料

工程项目组合管理的战略Partnering模式 被引量：5

6

作者 李默 王祖和 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2011年第5期730-733,共4页

为了提高工程项目组合管理的综合效益,将战略Partnering模式应用于工程项目组合管理中。通过对战略Partnering模式概念和特点的分析,设计了战略Partnering模式的组织结构,提出了战略Partnering模式的工作流程,详述了战略Partnering工程... 为了提高工程项目组合管理的综合效益,将战略Partnering模式应用于工程项目组合管理中。通过对战略Partnering模式概念和特点的分析,设计了战略Partnering模式的组织结构,提出了战略Partnering模式的工作流程,详述了战略Partnering工程项目组合管理机制应包括信任机制、沟通机制、协作机制、利益机制与调节机制,对战略Partnering模式在建筑企业中的应用起到了一定的示范作用。 展开更多

关键词 工程项目组合 PARTNERING模式 战略Partnering模式 组织结构 工作流程 管理机制 建筑企业

下载PDF 职称材料

一种支持工作流模式的扩展工作流网 被引量：3

7

作者 张亮 金茂忠 姚淑珍 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2007年第1期59-62,共4页

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于... 为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量来描述工作流模型的相关数据信息;通过引入一类特殊的变迁———传递变迁,来支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例来说明EWF_net强大的描述和分析能力. 展开更多

关键词 工作流模式 工作流网 工作流模型 PETRI网

下载PDF 职称材料

复杂分支和同步模式的Pi演算描述 被引量：4

8

作者 郭小群 郝克刚 +1 位作者 侯红 丁剑洁 《计算机科学》 CSCD 北大核心 2010年第2期139-140,179,共3页

Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后,提出了以Pi演算作为工作流形式化的基础,并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。

关键词 PI演算 工作流模式 形式化方法

下载PDF 职称材料

基于Pi-演算的工作流模式描述 被引量：2

9

作者 薛岗 姚绍文 Joan Lu 《计算机科学》 CSCD 北大核心 2008年第7期191-194,共4页

工作流模式包含了业务流程的基本特征和共性,其实现依赖于具体的流程建模语言或方法。Pi-演算是一种进程代数,可以应用于业务流程的形式化建模。本文使用Pi-演算作为业务流程形式化的工具,对存在多种BPMN表示的工作流模式进行形式化建模... 工作流模式包含了业务流程的基本特征和共性,其实现依赖于具体的流程建模语言或方法。Pi-演算是一种进程代数,可以应用于业务流程的形式化建模。本文使用Pi-演算作为业务流程形式化的工具,对存在多种BPMN表示的工作流模式进行形式化建模,以探究工作流模式Pi-演算的描述,检验Pi-演算对业务流程行为特征的表现能力。 展开更多

关键词 业务流程建模 工作流模式 PI-演算

下载PDF 职称材料

YAWL语言及其系统的初步研究

10

作者 方锦烽 孙玲芳 《企业技术开发》 2005年第10期6-7,10,共3页

工作流和工作流管理系统的合理应用可大大提高办公自动化的程度,而现有的工作流系统在支持工作流基本模式上存在一定的缺陷。一种新出现的YAWL语言较好地支持了工作流现有的基本模式,文章就YAWL语言及其系统的执行方法进行了初步的研究。

关键词 工作流 YAWL语言 视图 工作流模式

下载PDF 职称材料

基于工作流模式的OWL-S过程模型分析及其应用

11

作者 雷丽晖 段振华 《计算机科学》 CSCD 北大核心 2007年第5期129-133,F0004,共6页

确定OWL-S过程模型描述Web服务之间交互协议的能力和缺陷,为组合Web服务执行提供有效支持。将组合Web服务视为基于Web服务的工作流,利用OWL-S过程模型的控制结构给出工作流模式的实现方案,分析出OWL-S描述Web服务之间交互协议的能力及缺... 确定OWL-S过程模型描述Web服务之间交互协议的能力和缺陷,为组合Web服务执行提供有效支持。将组合Web服务视为基于Web服务的工作流,利用OWL-S过程模型的控制结构给出工作流模式的实现方案,分析出OWL-S描述Web服务之间交互协议的能力及缺陷;在此基础上,设计并实现基于OWL-S的组合Web服务执行工具,通过验证Web服务调用的有效性及Web服务之间交互协议的有效性,提高组合Web服务执行的健壮性。 展开更多

关键词 组合 Web服务 OWL-S 工作流模式

下载PDF 职称材料

云环境中大数据组件服务的可靠选择机制研究 被引量：1

12

作者 陈莉萍 《网络新媒体技术》 2016年第4期8-15,共8页

利用云计算构建大数据组合服务为用户使用网络资源提供了便利途径。然而传统的面向QoS的大数据服务选择中,并没有考虑到组件服务的可靠性。本文提出一种利用服务事务属性进行组件服务选择的方法,确保服务组合的一致性和可靠性。该方法... 利用云计算构建大数据组合服务为用户使用网络资源提供了便利途径。然而传统的面向QoS的大数据服务选择中,并没有考虑到组件服务的可靠性。本文提出一种利用服务事务属性进行组件服务选择的方法,确保服务组合的一致性和可靠性。该方法中定义服务的事务属性和反映用户事务需求的冒险度,建立了事务驱动的服务选择有限自动机。并利用实验证明该选择机制是有效的。 展开更多

关键词 云环境 大数据 服务选择 事务属性 工作流模式

下载PDF 职称材料

Web服务组合中事务驱动的服务选择有限自动机 被引量：1

13

作者 陈莉萍 《渭南师范学院学报》 2016年第12期41-45,共5页

对于Web服务组合来说,组件服务的可靠性和一致性是非常重要的要求,然而传统面向Qo S的组合方法中并没有考虑到组件服务的事务约束。文章提出了一种利用Web服务事务属性进行服务选择的方法。在该方法中定义了Web服务的事务属性和反映用... 对于Web服务组合来说,组件服务的可靠性和一致性是非常重要的要求,然而传统面向Qo S的组合方法中并没有考虑到组件服务的事务约束。文章提出了一种利用Web服务事务属性进行服务选择的方法。在该方法中定义了Web服务的事务属性和反映用户事务需求的冒险度,建立了事务驱动的服务选择有限自动机,并用实验证明该选择机制是有效的。 展开更多

关键词 WEB服务 事务驱动 工作流模式 有限自动机

下载PDF 职称材料

基于战略Partnering模式的工程项目组合管理研究 被引量：1

14

作者 李默 王祖和 《工程管理学报》 2011年第3期313-317,共5页

工程项目组合管理模式的选择对项目组合综合效益有显著影响,将战略Partnering模式应用于工程项目组合管理中,有助于提高工程项目组合的管理水平及收益。通过对战略Partnering模式概念和特点的分析,设计了战略Partnering模式的组织结构,... 工程项目组合管理模式的选择对项目组合综合效益有显著影响,将战略Partnering模式应用于工程项目组合管理中,有助于提高工程项目组合的管理水平及收益。通过对战略Partnering模式概念和特点的分析,设计了战略Partnering模式的组织结构,提出了战略Partnering模式的工作流程,详述了基于战略Partnering模式的工程项目组合管理机制应包括信任机制、沟通机制、协作机制、利益机制与调节机制。 展开更多

关键词 工程项目组合管理 战略Partnering模式 组织结构 工作流程 管理机制

下载PDF 职称材料

基于带阈PERT图的审批工作流引擎设计与实现

15

作者 李山 徐雪松 《计算机工程与设计》 CSCD 北大核心 2009年第20期4754-4758,共5页

通过对带阈PERT图的审批工作流引擎研究与开发,为信息系统中的审批流程控制提供了一个轻量级的运行时和配置工具。在给出带阈PERT图定义的基础上,研究了审批节点的可达性,为引擎开发提供算法依据,同时对审批实体进行了状态分析,从而设... 通过对带阈PERT图的审批工作流引擎研究与开发,为信息系统中的审批流程控制提供了一个轻量级的运行时和配置工具。在给出带阈PERT图定义的基础上,研究了审批节点的可达性,为引擎开发提供算法依据,同时对审批实体进行了状态分析,从而设计并实现了引擎的运行时,编程接口和配置文件。基于20种工作流模式,对模型的需求适应性进行了测度分析,并通过多个信息系统的应用实践,表明了该引擎运行的稳定性,可配置性和适应性。 展开更多

关键词 PERT图 工作流 引擎设计 工作流模式 测度分析

下载PDF 职称材料

工作流模式的π演算形式化

16

作者 梁爱南 李长云 黄贤明 《计算技术与自动化》 2007年第1期90-93,共4页

为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述。工作流模式是工作流建模的基本构造单元。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。首先提出以π演算作为工作... 为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述。工作流模式是工作流建模的基本构造单元。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述。 展开更多

关键词 Π演算 ECA规则 工作流模式

下载PDF 职称材料

基于着色Petri网的工作流模式研究

17

作者 翁向军 张华雄 黄理灿 《浙江理工大学学报（自然科学版）》 2008年第4期446-449,共4页

工作流技术的出现为解决现代企业信息化的需求提供了一种有效的技术方案,已成为工作流理论研究领域的热点,文章在分析经典Petri网建模能力的基础上,采用一种着色Petri网对文献[3]中提出的23种新的工作流模式进行建模研究。结果表明着色P... 工作流技术的出现为解决现代企业信息化的需求提供了一种有效的技术方案,已成为工作流理论研究领域的热点,文章在分析经典Petri网建模能力的基础上,采用一种着色Petri网对文献[3]中提出的23种新的工作流模式进行建模研究。结果表明着色Petri网具有更强大的建模能力,能灵活实现这些复杂的新的工作流模式。 展开更多

关键词 工作流模式 着色PETRI网 建模语言

下载PDF 职称材料

基于CMMS的团队仿真训练形式化概念建模

18

作者 王剑 王红卫 《系统仿真学报》 CAS CSCD 北大核心 2011年第2期339-345,共7页

为解决基于EBAT的团队仿真训练概念建模过程中,领域专家、训练专家和仿真专家之间有效沟通,以及提高概念模型质量和重用性等问题,基于建模要素分析,提出一种基于CMMS的仿真训练概念模型分层逻辑结构,以及概念模型形式化描述方法。基于... 为解决基于EBAT的团队仿真训练概念建模过程中,领域专家、训练专家和仿真专家之间有效沟通,以及提高概念模型质量和重用性等问题,基于建模要素分析,提出一种基于CMMS的仿真训练概念模型分层逻辑结构,以及概念模型形式化描述方法。基于工作流模式与团队训练的交互特征,提出事件因果关系模式及其形式化描述方法,并应用于事件响应过程描述。在此基础上,提出形式化概念模型的正确性校验规则。训练实例描述及校验验证了概念模型形式化描述及校验方法的有效性。 展开更多

关键词 团队 仿真训练 EBAT 概念建模 CMMS 工作流模式

下载PDF 职称材料

NewYAWL:一种基于着色Petri网的工作流语言及其演进

19

作者 伍先扬 沈文武 龚科 《软件导刊》 2009年第10期58-60,共3页

传统的工作流系统注重业务流程的控制流,而对数据流、资源分配支持较弱。阐述了一种基于着色Petri网的工作流语言newYAWL及其系统演进,newYAWL通过对各种工作流模式的严格定义,对业务流程的控制流、数据流、资源分配提供了良好的支持。

关键词 工作流模式 newYAWL 着色PETRI网

下载PDF 职称材料

多实例工作流模式的π演算形式化 被引量：4

20

作者 梁爱南 李长云 黄贤明 《计算机应用》 CSCD 北大核心 2007年第1期219-220,224,共3页

多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。

关键词 Π演算 ECA规则 多实例工作流模式

下载PDF 职称材料