期刊文献+
共找到197篇文章
< 1 2 10 >
每页显示 20 50 100
Artifact-centric workflow management system 被引量:1
1
作者 SUN Yu-tian LIU Xi +2 位作者 KUCUKOGUZ Esra SU Jian-wen YANG Jian 《计算机集成制造系统》 EI CSCD 北大核心 2011年第8期1709-1721,共13页
Data-centric modeling approach for workflow specification and design has received considerable attention from research and development communities.An architecture for a workflow management system named EZFLOWS was out... Data-centric modeling approach for workflow specification and design has received considerable attention from research and development communities.An architecture for a workflow management system named EZFLOWS was outlined.Key components and research issues associated with the development of EZFLOWS were discussed. 展开更多
关键词 workflow artifact-centric modeling business process management
在线阅读 下载PDF
时态工作流过程模型及其合理性验证 被引量:16
2
作者 余阳 汤庸 +2 位作者 潘茂林 郑婷婷 麦健彬 《软件学报》 EI CSCD 北大核心 2010年第6期1233-1253,共21页
为了提高工作流产品对信息时效性的处理能力,通过将时间维引入工作流概念空间,对构成工作流的基本概念及概念间的关系进行了全面的时间属性扩展,提出了时态工作流的概念.在前期对时态信息表示及演算、时态工作流元模型研究的基础上,提... 为了提高工作流产品对信息时效性的处理能力,通过将时间维引入工作流概念空间,对构成工作流的基本概念及概念间的关系进行了全面的时间属性扩展,提出了时态工作流的概念.在前期对时态信息表示及演算、时态工作流元模型研究的基础上,提出了一种能够综合描述过程、资源、案例、时间四维信息的时态工作流过程模型TPWF-net,并证明了TPWF-net与WF-net的结构等价性、自由选择同步TPWF-net和良构TPWF-net的合理性可以在多项式时间内判定等结论.在此理论的指导下,提出了结构化建模的思想,并阐述了基于结构化简的TPWF-net模型合理性验证的方法.时态工作流能够更加全面地描述和分析工作流领域的时间相关问题,开发的一个时态工作流引擎原型已在一些应用研究性项目中得到了验证. 展开更多
关键词 时态工作流 过程模型 合理性 PETRI网
在线阅读 下载PDF
工作流过程建模中的形式化验证技术 被引量:31
3
作者 周建涛 史美林 叶新铭 《计算机研究与发展》 EI CSCD 北大核心 2005年第1期1-9,共9页
工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模阶段进行有效的过程验证是十分必要的.综述了工作流过程验证技术的发展现状,... 工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模阶段进行有效的过程验证是十分必要的.综述了工作流过程验证技术的发展现状,包括强调验证的重要性,叙述了需要验证的问题和复杂度;介绍了对验证方法的要求;讨论了过程合理性验证和化简验证技术等;并通过对研究现状的分析和对比,提出了仍然没有解决的问题和将来的工作. 展开更多
关键词 工作流 过程建模 验证 PETRI网 合理性 化简
在线阅读 下载PDF
UML活动图在工作流过程建模中的应用研究 被引量:16
4
作者 欧阳元新 熊璋 侯亚荣 《计算机工程与设计》 CSCD 2004年第9期1479-1481,共3页
UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对UML活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出... UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对UML活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出了扩展后UML活动图的数学模型。 展开更多
关键词 UML活动图 工作流 控制流 建模语言 过程建模 扩展 子过程 具体应用 企业建模 目的
在线阅读 下载PDF
信牌驱动式工作流计算模型 被引量:27
5
作者 岳晓丽 杨斌 郝克刚 《计算机研究与发展》 EI CSCD 北大核心 2000年第12期1513-1519,共7页
近年来 ,随着计算机和网络的广泛使用 ,支持复杂业务过程 ,以实现业务流程自动化为目标的工作流管理系统引起了研究机构及 IT产业界越来越多的关注 .工作流的自动化执行依赖于业务流程的形式化描述 ,从而保证流程参与者之间的协同工作... 近年来 ,随着计算机和网络的广泛使用 ,支持复杂业务过程 ,以实现业务流程自动化为目标的工作流管理系统引起了研究机构及 IT产业界越来越多的关注 .工作流的自动化执行依赖于业务流程的形式化描述 ,从而保证流程参与者之间的协同工作以及数据的一致性和过程的可靠性 .因此流程建模 (过程定义 )是实现整个工作流管理系统的关键 .提出了一种新的工作流描述模型——信牌驱动式工作流计算模型 ,它是西北大学软件工程研究所最近开发的一个基于 展开更多
关键词 工作流 工作流模型 流程定义 活动 计算模型 PETRI网
在线阅读 下载PDF
基于工作流挖掘的质量管理过程改进研究 被引量:8
6
作者 陈亮 高建民 +2 位作者 陈富民 陈琨 李成 《计算机集成制造系统》 EI CSCD 北大核心 2006年第4期603-608,共6页
为满足质量管理体系持续改进的要求,提出了基于工作流过程挖掘的质量管理过程改进方案。该方案包括过程日志预处理、过程活动控制图重构和活动转移条件生成3步,其中过程活动控制图的重构是核心。设计了一种启发式算法,以时间段建模活动... 为满足质量管理体系持续改进的要求,提出了基于工作流过程挖掘的质量管理过程改进方案。该方案包括过程日志预处理、过程活动控制图重构和活动转移条件生成3步,其中过程活动控制图的重构是核心。设计了一种启发式算法,以时间段建模活动的执行过程,将两活动执行时间段关系划分为不相交、部分相交和包含3种,并在此基础上设计启发式规则,搜索过程日志中蕴含的活动前序关系,解决了包含复杂的策划-实施-检查-处置循环结构的质量管理过程控制图的重构问题。最后,以质量外审意见处理流程的改进为例,对算法进行了说明和分析。 展开更多
关键词 质量管理过程 过程改进 工作流 过程挖掘
在线阅读 下载PDF
一种基于XML的工作流过程模型的设计和实现 被引量:5
7
作者 邹冰 张旭 +2 位作者 伊晓强 王宏安 戴国忠 《计算机科学》 CSCD 北大核心 2002年第10期101-103,75,共4页
1.引言面对数字经济时代带来的不断增长的竞争压力,企业逐步寻求新的商业运作模式以适应这种变化。随着信息技术和Internet技术的迅猛发展,为适应这种变化提供了条件。企业不再满足于孤立、零散的办公自动化和计算机应用,而是需要综合... 1.引言面对数字经济时代带来的不断增长的竞争压力,企业逐步寻求新的商业运作模式以适应这种变化。随着信息技术和Internet技术的迅猛发展,为适应这种变化提供了条件。企业不再满足于孤立、零散的办公自动化和计算机应用,而是需要综合的、集成化的解决方案。作为一种对常规性事务进行管理、集成的技术,工作流管理系统(Workflow ManagementSystem,WMS)的出现是必然的。如何建立企业业务过程模型是工作流管理系统的核心问题。 展开更多
关键词 XML 工作流过程模型 设计 工作流管理系统 软件系统
在线阅读 下载PDF
工作流管理系统实现技术研究 被引量:25
8
作者 李伟平 李莉 +1 位作者 薛劲松 陈静杰 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2002年第3期202-206,218,共6页
利用有向图定义了一种工作流管理系统中的面向对象的工作流模型 ,给出了该模型的执行算法和状态转换关系 ,以及资源竞争时的调度策略 ,设计了利用面向对象技术实现该模型的一种方法。利用该模型和相关技术 ,给出了一种工作流管理系统结... 利用有向图定义了一种工作流管理系统中的面向对象的工作流模型 ,给出了该模型的执行算法和状态转换关系 ,以及资源竞争时的调度策略 ,设计了利用面向对象技术实现该模型的一种方法。利用该模型和相关技术 ,给出了一种工作流管理系统结构 。 展开更多
关键词 工作流管理系统 工作流模型 过程定义 面向对象 计算机
在线阅读 下载PDF
模糊着色Petri网及其在工作流建模中的应用 被引量:9
9
作者 张鹏程 李人厚 +1 位作者 秦明 顾新华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第8期713-716,共4页
Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模... Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模型 。 展开更多
关键词 模糊着色Petri网 工作流 建模 流程定义 智能表达 模糊推理
在线阅读 下载PDF
基于Petri网的工作流模型 被引量:14
10
作者 谷建鑫 仇建伟 《计算机工程与设计》 CSCD 北大核心 2005年第2期513-515,共3页
Petri网是一种很有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统,而工作流技术作为实现企业过程集成的有效手段,广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础... Petri网是一种很有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统,而工作流技术作为实现企业过程集成的有效手段,广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上,指出了基于Petri网的工作流模型的优点,讨论了将工作流模型转化为Petri网模型的基本原则,并且提出了一种扩展的Petri网模型作为一种工作流建模的工具,最后对基于Petri网的工作流模型进行了总结。 展开更多
关键词 工作流模型 PETRI网模型 描述语言 并行 工作流技术 工作流建模 集成 企业过程 系统 基本原则
在线阅读 下载PDF
工作流模型研究述评 被引量:40
11
作者 刘怡 张子刚 张戡 《计算机工程与设计》 CSCD 北大核心 2007年第2期448-451,共4页
工作流管理系统由于能够对业务过程进行建模和控制而得到广泛采用,工作流模型则是工作流管理系统理论研究和实际应用的基础。概括了工作流模型的主要研究内容,从建模方法、理论基础等方面对工作流模型的研究现状进行了综述,分析了现有... 工作流管理系统由于能够对业务过程进行建模和控制而得到广泛采用,工作流模型则是工作流管理系统理论研究和实际应用的基础。概括了工作流模型的主要研究内容,从建模方法、理论基础等方面对工作流模型的研究现状进行了综述,分析了现有工作流模型存在的不足,探讨了工作流模型的发展趋势,最后进行了总结。 展开更多
关键词 工作流 工作流模型 工作流管理系统 建模方法 过程
在线阅读 下载PDF
基于图形展开及图形归约的过程模型验证方法 被引量:8
12
作者 宋宝燕 王菊英 于戈 《小型微型计算机系统》 CSCD 北大核心 2005年第6期1073-1078,共6页
工作流过程模型是业务过程的形式化定义,在业务过程的分析、运行和重组方面起着关键性的作用.为了实现预期的业务目标,需要正确地定义工作流过程模型,它的正确性直接影响业务目标的实现,WfMS开始调度执行之前必须对其进行分析.针对大规... 工作流过程模型是业务过程的形式化定义,在业务过程的分析、运行和重组方面起着关键性的作用.为了实现预期的业务目标,需要正确地定义工作流过程模型,它的正确性直接影响业务目标的实现,WfMS开始调度执行之前必须对其进行分析.针对大规模复杂应用的特点和业务过程执行的实际需要,对复杂工作流过程模型的正确性验证进行了研究;基于有向有环图(DCG图)详细讨论工作流过程模型的局部错误以及过程逻辑错误;给出了过程建模中避免错误的相关约束规则;另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法. 展开更多
关键词 工作流 过程模型 模型验证 有向有环图 图形归约 图形展开
在线阅读 下载PDF
基于Petri网的工作流过程建模 被引量:21
13
作者 陈慧灵 王宪增 邹宽城 《计算机工程与科学》 CSCD 2008年第5期92-94,105,共4页
业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型:... 业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型:首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。 展开更多
关键词 工作流过程模型 PETRI网 工作流网 时间性能分析
在线阅读 下载PDF
面向业务流程重组的过程分析与建模方法研究 被引量:13
14
作者 王寿欣 蔺楠 覃正 《管理工程学报》 CSSCI 2001年第4期4-6,共3页
为寻求全面支持BPR的过程建模方法 ,本文在工作流管理联盟 (WfMC)所提供的参考模型基础上 ,提出了一种附带有过程语义字典的工作流扩展模型 ,并以这种模型为工具 ,分别对过程内部活动的相似性和过程之间的耦合性进行了分析 ,而且还探讨... 为寻求全面支持BPR的过程建模方法 ,本文在工作流管理联盟 (WfMC)所提供的参考模型基础上 ,提出了一种附带有过程语义字典的工作流扩展模型 ,并以这种模型为工具 ,分别对过程内部活动的相似性和过程之间的耦合性进行了分析 ,而且还探讨了基于这两种分析结果的过程再设计方法。 展开更多
关键词 业务流程重组 工作流扩展模型 过程分析 过程建模 企业管理
在线阅读 下载PDF
工作流过程元模型研究 被引量:11
15
作者 任洪涛 齐璇 柳军飞 《计算机工程与设计》 CSCD 2003年第8期18-21,共4页
介绍了工作流过程元模型的相关概念,着重分析了几种具有代表性的工作流过程元模型,提出了一种微型的、分层结构的、易于扩展的动态工作流过程元模型MINI,一种新的工作流模式即转移依赖分支模式被实现,最后介绍了MINI工作流管理系统。
关键词 工作流 过程元模型 建模 工作流管理系统 软件系统
在线阅读 下载PDF
基于工作流的企业过程分析与重组方法研究 被引量:4
16
作者 王寿欣 覃正 张磊 《西安交通大学学报》 EI CAS CSCD 北大核心 2001年第4期430-434,共5页
为了解决目前大多数过程建模方法都不能够充分满足BPR需要的问题 ,应用工作流技术 ,提出了一种附带有过程语义字典的工作流扩展模型 .同传统的建模方法相比 ,工作流扩展模型进一步丰富了过程的语义属性 ,它不仅满足BPR对流程进行规范化... 为了解决目前大多数过程建模方法都不能够充分满足BPR需要的问题 ,应用工作流技术 ,提出了一种附带有过程语义字典的工作流扩展模型 .同传统的建模方法相比 ,工作流扩展模型进一步丰富了过程的语义属性 ,它不仅满足BPR对流程进行规范化描述的需要 ,而且还具有描述并发、冲突、同步等复杂关系的能力 .同时 ,它还提供了基于相似性和耦合性的过程分析技术 ,从而为实现过程的重组提供了重要依据 .最后 ,通过一个应用实例对模型进行了验证 . 展开更多
关键词 业务流程重组 工作流 过程分析 过程重组 工作流扩展模型 企业过程
在线阅读 下载PDF
一种基于后继任务的过程挖掘算法 被引量:3
17
作者 王栋毅 葛季栋 +3 位作者 过晓波 胡昊 骆斌 朱明 《计算机应用与软件》 CSCD 北大核心 2012年第10期17-21,共5页
过程挖掘的目标是从信息系统所记录的事件日志中重现过程模型。尽管信息系统会生成多种事件日志,但只有很少一部分的事件日志被应用于分析流程。提出一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任务中挖掘... 过程挖掘的目标是从信息系统所记录的事件日志中重现过程模型。尽管信息系统会生成多种事件日志,但只有很少一部分的事件日志被应用于分析流程。提出一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任务中挖掘出因果依赖关系,而且能够挖掘出潜在并发关系。其中,因果依赖关系包括显式依赖和隐式依赖(由非自由选择结构产生)两种。另外,χ-算法能够正确地挖掘SWF网、大部分带隐式依赖的非SWF网、一些非良好处理的工作流网和一些含有隐式库所的工作流网。因为χ-算法所使用的事件日志多出了一种新的事件类型——后继任务,所以χ-算法能够处理范围更广的工作流网。 展开更多
关键词 过程挖掘 工作流 过程建模 后继任务 隐式依赖
在线阅读 下载PDF
基于时间扩展UML活动图的工作流过程建模方法 被引量:11
18
作者 蔡敏 卢佩 《计算机集成制造系统》 EI CSCD 北大核心 2014年第7期1758-1767,共10页
为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图... 为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。 展开更多
关键词 统一建模语言活动图 时间约束 工作流过程模型 语义描述 路由结构 模型验证
在线阅读 下载PDF
基于工作流的变更管理工具 被引量:7
19
作者 张捷 赵文耘 倪晓峰 《计算机工程》 EI CAS CSCD 北大核心 2005年第11期50-51,145,共3页
在对当前变更管理的理论及实践研究成果的分析基础上,从软件开发过程、尤其是基于构件的软件开发过程的实际需求出发,结合工作流建模技术、敏捷开发和过程管理,提出了一个基于工作流技术的变更过程可自定义的变更管理工具,给出了过程描... 在对当前变更管理的理论及实践研究成果的分析基础上,从软件开发过程、尤其是基于构件的软件开发过程的实际需求出发,结合工作流建模技术、敏捷开发和过程管理,提出了一个基于工作流技术的变更过程可自定义的变更管理工具,给出了过程描述的语言模型,讨论了图形化建模工具和解释执行引擎等关键部件,并对其设计思想、实现模型、方法等技术进行了论述。 展开更多
关键词 变更过程管理 工作流模型 过程建模
在线阅读 下载PDF
基于工作流模式的BPMN过程模型验证方法 被引量:6
20
作者 蔡章利 易树平 高庆萱 《计算机集成制造系统》 EI CSCD 北大核心 2010年第8期1578-1586,共9页
针对业务流程建模符号过程模型语义验证问题,提出了一种新方法。该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网... 针对业务流程建模符号过程模型语义验证问题,提出了一种新方法。该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法。应用示例表明了该方法的有效性。 展开更多
关键词 工作流 业务流程 建模 过程模型 语义验证 PETRI网
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部