工作流网Soundness验证 被引量：4

1

作者 唐邦志 魏生民 景韶宇 《计算机工程与应用》 CSCD 北大核心 2004年第6期37-39,50,共4页

工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给... 工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。 展开更多

关键词 工作流过程定义 工作流网 sound

在线阅读 下载PDF 职称材料

一种基于XML的Workflow过程定义语言 被引量：2

2

作者 赵仲孟 刘君瑞 +1 位作者 霍秋艳 朱永虎 《计算机应用研究》 CSCD 北大核心 2003年第4期46-48,共3页

工作流是指一个业务操作从开始到结束的整个过程,是一系列相互衔接、自动进行的业务活动或任务,它在流程管理方面有很重要的应用。由于工作流程和业务规则的变更会经常发生,所以提供一种好的Workflow过程定义方法或语言已经成为目前工... 工作流是指一个业务操作从开始到结束的整个过程,是一系列相互衔接、自动进行的业务活动或任务,它在流程管理方面有很重要的应用。由于工作流程和业务规则的变更会经常发生,所以提供一种好的Workflow过程定义方法或语言已经成为目前工作流技术得以进一步发展和广泛应用的关键。在WPDL的基础上提出了一种基于XML的简单易用的Workflow过程定义语言。 展开更多

关键词 工作流 WPDL the workflow process definition LANGUAGE 过程定义

在线阅读 下载PDF 职称材料

工作流管理系统实现技术研究 被引量：25

3

作者 李伟平 李莉 +1 位作者 薛劲松 陈静杰 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2002年第3期202-206,218,共6页

利用有向图定义了一种工作流管理系统中的面向对象的工作流模型 ,给出了该模型的执行算法和状态转换关系 ,以及资源竞争时的调度策略 ,设计了利用面向对象技术实现该模型的一种方法。利用该模型和相关技术 ,给出了一种工作流管理系统结... 利用有向图定义了一种工作流管理系统中的面向对象的工作流模型 ,给出了该模型的执行算法和状态转换关系 ,以及资源竞争时的调度策略 ,设计了利用面向对象技术实现该模型的一种方法。利用该模型和相关技术 ,给出了一种工作流管理系统结构 。 展开更多

关键词 工作流管理系统 工作流模型 过程定义 面向对象 计算机

在线阅读 下载PDF 职称材料

时态工作流过程模型及其合理性验证 被引量：16

4

作者 余阳 汤庸 +2 位作者 潘茂林 郑婷婷 麦健彬 《软件学报》 EI CSCD 北大核心 2010年第6期1233-1253,共21页

为了提高工作流产品对信息时效性的处理能力,通过将时间维引入工作流概念空间,对构成工作流的基本概念及概念间的关系进行了全面的时间属性扩展,提出了时态工作流的概念.在前期对时态信息表示及演算、时态工作流元模型研究的基础上,提... 为了提高工作流产品对信息时效性的处理能力,通过将时间维引入工作流概念空间,对构成工作流的基本概念及概念间的关系进行了全面的时间属性扩展,提出了时态工作流的概念.在前期对时态信息表示及演算、时态工作流元模型研究的基础上,提出了一种能够综合描述过程、资源、案例、时间四维信息的时态工作流过程模型TPWF-net,并证明了TPWF-net与WF-net的结构等价性、自由选择同步TPWF-net和良构TPWF-net的合理性可以在多项式时间内判定等结论.在此理论的指导下,提出了结构化建模的思想,并阐述了基于结构化简的TPWF-net模型合理性验证的方法.时态工作流能够更加全面地描述和分析工作流领域的时间相关问题,开发的一个时态工作流引擎原型已在一些应用研究性项目中得到了验证. 展开更多

关键词 时态工作流 过程模型 合理性 PETRI网

在线阅读 下载PDF 职称材料

信牌驱动式工作流计算模型 被引量：27

5

作者 岳晓丽 杨斌 郝克刚 《计算机研究与发展》 EI CSCD 北大核心 2000年第12期1513-1519,共7页

近年来 ,随着计算机和网络的广泛使用 ,支持复杂业务过程 ,以实现业务流程自动化为目标的工作流管理系统引起了研究机构及 IT产业界越来越多的关注 .工作流的自动化执行依赖于业务流程的形式化描述 ,从而保证流程参与者之间的协同工作... 近年来 ,随着计算机和网络的广泛使用 ,支持复杂业务过程 ,以实现业务流程自动化为目标的工作流管理系统引起了研究机构及 IT产业界越来越多的关注 .工作流的自动化执行依赖于业务流程的形式化描述 ,从而保证流程参与者之间的协同工作以及数据的一致性和过程的可靠性 .因此流程建模 (过程定义 )是实现整个工作流管理系统的关键 .提出了一种新的工作流描述模型——信牌驱动式工作流计算模型 ,它是西北大学软件工程研究所最近开发的一个基于 展开更多

关键词 工作流 工作流模型 流程定义 活动 计算模型 PETRI网

在线阅读 下载PDF 职称材料

工作流过程建模中的形式化验证技术 被引量：31

6

作者 周建涛 史美林 叶新铭 《计算机研究与发展》 EI CSCD 北大核心 2005年第1期1-9,共9页

工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模阶段进行有效的过程验证是十分必要的.综述了工作流过程验证技术的发展现状,... 工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模阶段进行有效的过程验证是十分必要的.综述了工作流过程验证技术的发展现状,包括强调验证的重要性,叙述了需要验证的问题和复杂度;介绍了对验证方法的要求;讨论了过程合理性验证和化简验证技术等;并通过对研究现状的分析和对比,提出了仍然没有解决的问题和将来的工作. 展开更多

关键词 工作流 过程建模 验证 PETRI网 合理性 化简

在线阅读 下载PDF 职称材料

模糊着色Petri网及其在工作流建模中的应用 被引量：9

7

作者 张鹏程 李人厚 +1 位作者 秦明 顾新华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第8期713-716,共4页

Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模... Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模型 。 展开更多

关键词 模糊着色Petri网 工作流 建模 流程定义 智能表达 模糊推理

在线阅读 下载PDF 职称材料

电子政务中构建工作流开发平台技术的研究 被引量：8

8

作者 尹天明 李也白 +1 位作者 张球河 王宇鸽 《计算机工程》 CAS CSCD 北大核心 2006年第24期275-276,282,共3页

讨论了电子政务中工作流开发平台的构建,通过图形化的方式定制具体的工作流程,并在工作流引擎基础上实现工作任务的动态流转和跟踪,通过对工作流流转的过程进行监控和动态调整,从而保证定制好的工作流的有效执行。

关键词 电子政务 工作流 过程定义 引擎

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

基于Web的工作流管理系统:co-Flow 被引量：7

10

作者 李伟刚 莫蓉 +1 位作者 杨海成 王增强 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第8期717-720,共4页

讨论 Internet环境下协同产品开发的特征 ,研究它对工作流管理系统的要求 ;为适应这些要求 ,提出一个基于 Web的工作流管理系统软件体系结构 ;并详细介绍了该系统中的基于 XML的工作流过程定义和分布式工作流引擎间的互操作机制 .该系... 讨论 Internet环境下协同产品开发的特征 ,研究它对工作流管理系统的要求 ;为适应这些要求 ,提出一个基于 Web的工作流管理系统软件体系结构 ;并详细介绍了该系统中的基于 XML的工作流过程定义和分布式工作流引擎间的互操作机制 .该系统的软件原型“co-Flow”能够适应 展开更多

关键词 WEB 工作流管理系统 co-Flow 软件原型 软件体系结构

在线阅读 下载PDF 职称材料

工作流网XPDL映射 被引量：4

11

作者 唐邦志 魏生民 +1 位作者 景韶宇 周欣 《计算机工程与应用》 CSCD 北大核心 2003年第36期41-44,共4页

工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之... 工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。 展开更多

关键词 工作流管理系统 工作流网 XPDL PETRI网 扩展参数映射 软件系统 计算机

在线阅读 下载PDF 职称材料

办公自动化中工作流过程定义的设计与实现 被引量：7

12

作者 杨永健 韩鸿雁 韩鸿莺 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2007年第S1期151-156,共6页

办公自动化系统建设的一个突出特点是不仅仅重视信息的充分共享,同时更强调各方面之间的相互协作。提出了符合WFMC规范的、基于3层结构的办公工作流系统结构模型,并从软件工程的角度分析了一种适合于基于工作流技术开发OA的方法,有效改... 办公自动化系统建设的一个突出特点是不仅仅重视信息的充分共享,同时更强调各方面之间的相互协作。提出了符合WFMC规范的、基于3层结构的办公工作流系统结构模型,并从软件工程的角度分析了一种适合于基于工作流技术开发OA的方法,有效改善了系统的开放性、可扩展性和维护性。在此模型中提出了工作流应用数据与过程定义数据分离存储的数据存储方式,解决了过程定义模板的重用问题。从业务流程描述能力和易用性两方面考虑,实现了基于流程节点单一设计元素的过程定义设计,提高了系统对复杂流程的描述能力,简化了流程建模操作。 展开更多

关键词 办公自动化 WFMC 工作流 过程定义

在线阅读 下载PDF 职称材料

基于复用的工作流过程定义工具——PDTBR 被引量：2

13

作者 龚晓庆 刘锋 +1 位作者 葛玮 郝克刚 《计算机应用》 CSCD 北大核心 2009年第1期315-318,共4页

为了提高工作流过程定义的效率,提出了一种基于复用的工作流过程定义方法。文中讨论了构建和描述可复用资产——领域业务本体和工作流模板的方法,给出了基于领域业务本体检索工作流模板的方法。在此基础上,开发了基于复用的过程定义工具... 为了提高工作流过程定义的效率,提出了一种基于复用的工作流过程定义方法。文中讨论了构建和描述可复用资产——领域业务本体和工作流模板的方法,给出了基于领域业务本体检索工作流模板的方法。在此基础上,开发了基于复用的过程定义工具PDTBR,并在实际使用中验证了该方法的可行性与有效性。 展开更多

关键词 工作流 工作流过程定义 软件复用 工作流模板 领域业务本体

在线阅读 下载PDF 职称材料

智能化刺绣CAD系统中的工作流技术研究 被引量：3

14

作者 李俊 张华 +1 位作者 王崇骏 陈世福 《计算机科学》 CSCD 北大核心 2005年第3期97-100,共4页

基于智能化刺绣CAD系统向网络化和规模化方向发展的趋势,本文设计并实现了一个面向刺绣CAD的工作流框架,在该框架结构下,刺绣任务的各个执行环节被分解为粒度不同的、独立的节点任务,用户根据实际的工作环境定义这些节点任务的执行序列... 基于智能化刺绣CAD系统向网络化和规模化方向发展的趋势,本文设计并实现了一个面向刺绣CAD的工作流框架,在该框架结构下,刺绣任务的各个执行环节被分解为粒度不同的、独立的节点任务,用户根据实际的工作环境定义这些节点任务的执行序列,工作流引擎根据用户定义控制任务的执行。本文主要介绍了面向刺绣CAD系统的工作流结构框架和其中的关键技术,包括过程定义、通信和调度。文中给出了一个基于该框架的系统实例,实际应用表明该框架是可行和有效的。 展开更多

关键词 智能化 刺绣CAD系统 工作流技术 过程定义

在线阅读 下载PDF 职称材料

基于扩展UML活动图的工作流建模及其到XPDL的转换 被引量：3

15

作者 申利民 隋峰 +3 位作者 李峰 雷炳银 白莲 王磊 《计算机集成制造系统》 EI CSCD 北大核心 2009年第8期1514-1521,共8页

针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语言规范相结合的工作流建模方法。为了增强统一建模语言活动图的建模能力,扩展了多实例、条件路由和协调活... 针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语言规范相结合的工作流建模方法。为了增强统一建模语言活动图的建模能力,扩展了多实例、条件路由和协调活动等建模元素,给出了建模元素的定义和建模规则。为了使统一建模语言活动图的工作流模型能适应不同工作流引擎的执行,定义了统一建模语言活动图到可扩展标记语言的过程定义语言的形式化转换规则。最后,通过订单处理实例,说明了该方法对增强模型描述能力、适应性和柔性具有积极作用。 展开更多

关键词 工作流模型 统一建模语言活动图 可扩展标记语言的过程定义语言 形式化转换 适应性 柔性

在线阅读 下载PDF 职称材料

WPDL规范化工作流模型研究 被引量：5

16

作者 张志君 范玉顺 《计算机工程与应用》 CSCD 北大核心 2002年第17期65-68,共4页

WPDL(WorkflowProcessDefinitionLanguage)提供了一个公共的工作流定义交换格式,使得在不同的工作流管理系统产品之间交换模型定义成为可能。但由于不同系统模型的差异,要实现模型交换,仍然需要解决许多难题。该文介绍了WPDL元模型和CIM... WPDL(WorkflowProcessDefinitionLanguage)提供了一个公共的工作流定义交换格式,使得在不同的工作流管理系统产品之间交换模型定义成为可能。但由于不同系统模型的差异,要实现模型交换,仍然需要解决许多难题。该文介绍了WPDL元模型和CIMFlow模型(CIMS工程研究中心开发的工作流管理系统)的具体结构,给出了一种WPDL规范化工作流模型的实现方法。该文所提出和实施的模型转换方法对于其他工作流模型向WPDL规范模型转换有重要的参考价值,针对WPDL规范中存在的问题提出的增补与修改建议对于完善WPDL规范有促进作用。 展开更多

关键词 WPDL 规范化工作流模型 元模型 工作流管理系统 管理软件

在线阅读 下载PDF 职称材料

基于Web的工作流过程定义模型的研究与实现 被引量：4

17

作者 李琳 白浩 刘於勋 《计算机应用与软件》 CSCD 北大核心 2008年第5期109-111,共3页

针对传统Client/Server结构的局限性,结合Internet技术的飞速发展,提出了一种基于Web模式下的工作流过程定义的设计模型。该模型运用面向对象的思想,利用活动网络图来定义工作流,输出的过程定义遵从工作流管理联盟(WFMC)制定的XP-DL规范... 针对传统Client/Server结构的局限性,结合Internet技术的飞速发展,提出了一种基于Web模式下的工作流过程定义的设计模型。该模型运用面向对象的思想,利用活动网络图来定义工作流,输出的过程定义遵从工作流管理联盟(WFMC)制定的XP-DL规范,并能被不同的工作流运行系统解释执行。最后通过具体的实例说明了该模型在实际流程中的有效运用。 展开更多

关键词 工作流模型 过程定义 活动网络图 XML

在线阅读 下载PDF 职称材料

基于扩展有向图的工作流建模的设计与应用 被引量：4

18

作者 李琳 柴争义 张丽 《计算机应用》 CSCD 北大核心 2008年第9期2437-2439,共3页

通过对工作流建模对象的分析,提出了一种基于扩展有向图的工作流建模方法,并从节点、有向弧及演化规则三方面对该方法进行了形式化的描述。在此基础之上,建立了一个工作流可视化建模工具,并通过具体的实例说明了该工具在实际流程中的有... 通过对工作流建模对象的分析,提出了一种基于扩展有向图的工作流建模方法,并从节点、有向弧及演化规则三方面对该方法进行了形式化的描述。在此基础之上,建立了一个工作流可视化建模工具,并通过具体的实例说明了该工具在实际流程中的有效运用,为解决传统建模软件开发中的关键问题提出了一种新的解决方案。 展开更多

关键词 工作流建模 有向图 基于XML的过程定义语言 XML

在线阅读 下载PDF 职称材料

一种改进的柔性工作流过程定义元模型研究 被引量：2

19

作者 徐劲松 丁志强 陈卫 《计算机工程与应用》 CSCD 北大核心 2008年第4期77-79,158,共4页

由于传统工作流技术无法满足时常变更的业务过程,工作流的柔性问题成为研究的热点。从WFMC的过程定义元模型中提取出连接类型和活动状态,封装成新元素,并重定义了转移条件和角色,从而形成一种改进的柔性工作流过程定义元模型。运用工作... 由于传统工作流技术无法满足时常变更的业务过程,工作流的柔性问题成为研究的热点。从WFMC的过程定义元模型中提取出连接类型和活动状态,封装成新元素,并重定义了转移条件和角色,从而形成一种改进的柔性工作流过程定义元模型。运用工作流过程定义语言对元模型主要元素进行了形式化描述,并通过一个实例说明了该模型在实践中的柔性。 展开更多

关键词 工作流 过程定义元模型 工作流过程定义语言 柔性

在线阅读 下载PDF 职称材料

基于Web的可视化工作流建模与解析 被引量：4

20

作者 王坚 李巍丽 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第10期1406-1410,共5页

根据当前制造企业的实际需求,参考工作流联盟的相关标准和工作流过程定义模型,提出了基于Web的工作流过程建模和解析的技术方案,介绍了建模工具系统的体系结构、功能组成、理论基础以及关键技术,并结合建模实例进行分析和阐述.

关键词 工作流 工作流模型 建模工具 XPDL解析

在线阅读 下载PDF 职称材料