期刊文献+
共找到97篇文章
< 1 2 5 >
每页显示 20 50 100
Research on Evolution of Goal-Driven Service Composition Patterns
1
作者 李征 李昭 +2 位作者 何克清 王健 冯在文 《Journal of Donghua University(English Edition)》 EI CAS 2012年第1期14-18,共5页
With the development of Web service technology, using composite services to satisfy users' requirements has become an inevitable tendency. Goal changes caused by changing requirements of users may directly drive t... With the development of Web service technology, using composite services to satisfy users' requirements has become an inevitable tendency. Goal changes caused by changing requirements of users may directly drive the corresponding evolution of service composition. However, most researches focus on how to compose services, and little efforts have been placed on how to evolve the composite services with changing requirements. In this paper, the service composition patterns are defined based on workflow patterns, and the changes of service composition patterns are analyzed according to changing goals. Finally, a case study is given to demonstrate the feasibility of the proposed approach. 展开更多
关键词 workflow pattern service composition pattern goal evolution
下载PDF
Security Engineering of SOA Applications Via Reliability Patterns
2
作者 Luigi Coppolino Luigi Romano Valerio Vianello 《Journal of Software Engineering and Applications》 2011年第1期1-8,共8页
Providing reliable compositions of Web Services is a challenging issue since the workflow architect often has only a limited control over the reliability of the composed services. The architect can instead achieve rel... Providing reliable compositions of Web Services is a challenging issue since the workflow architect often has only a limited control over the reliability of the composed services. The architect can instead achieve reliability by properly planning the workflow architecture. To this end he must be able to evaluate and compare the reliability of multiple architectural solutions. In this paper we present a useful tool which allows to conduct reliability analysis on planned workflows, as well as to compare the reliability of alternative solutions in a what-if analysis. The tool is implemented as a plug-in for the widely adopted Active BPEL Designer and exploits the concept of reliability pattern to evaluate the reliability formula of the workflow. The effectiveness of the approach and the operation of the tool are demonstrated with respect to a case study of a business security infrastructure realized by orchestrating simple security services. 展开更多
关键词 RELIABILITY of Security SERVICES RELIABILITY patternS workflow Systems SOA APPLICATIONS Web SERVICES Technology
下载PDF
工作流可满足性的约简增量模式回溯法
3
作者 翟治年 刘关俊 +3 位作者 卢亚辉 向坚 吴茗蔚 丰明坤 《计算机集成制造系统》 EI CSCD 北大核心 2023年第11期3624-3638,共15页
在大量云/服务化资源造成的性能压力下,增量模式回溯法(Incremental Pattern Backtracking, IPB)及其k指派技术是工作流可满足性求解的首选途径,但对“欠约束”实例,其模式枚举性能显著下降,不利于大量可行解的优化选择。针对该问题提... 在大量云/服务化资源造成的性能压力下,增量模式回溯法(Incremental Pattern Backtracking, IPB)及其k指派技术是工作流可满足性求解的首选途径,但对“欠约束”实例,其模式枚举性能显著下降,不利于大量可行解的优化选择。针对该问题提出新颖的简指派图概念,证明其可取代k指派图用于模式授权匹配验证,且尽管其块邻域大小耦合了图的整体信息,但仍可以增量方式计算。进而,分析了增量化简指派的实施条件和效果,及其主要影响因素。由此建立了约简增量模式回溯法(Reduced Incremental Pattern Backtracking, RIPB)。在资源配比为2~100的两个仿真实例集上测试,实验结果表明:在其基本子集上,RIPB较IPB有0.96~1.24倍时间性能优势;当资源比例升高或约束密度降低时,RIPB的优势有不同程度扩大;特别地,对资源配比为10而授权比例在1/2左右的两个子集,RIPB的平均优势分别可达1.29和1.61倍。 展开更多
关键词 可满足性 工作流 授权 约束 资源分配 模型计数 模式
下载PDF
一种基于模式组件的工作流管理系统构建方法 被引量:7
4
作者 张峰 王晓琳 曾广周 《计算机工程》 CAS CSCD 北大核心 2006年第2期88-90,共3页
从描述流程控制特征的工作流模式出发,提出了一种基于工作流模式的工作流模型,给出了先将工作流模式映射到工作流模式组件,再构建基于模式组件的工作流管理系统的方法。
关键词 工作流管理系统 工作流模式 工作流模式组件 扩展PETRI网
下载PDF
工作流过程元模型研究 被引量:11
5
作者 任洪涛 齐璇 柳军飞 《计算机工程与设计》 CSCD 2003年第8期18-21,共4页
介绍了工作流过程元模型的相关概念,着重分析了几种具有代表性的工作流过程元模型,提出了一种微型的、分层结构的、易于扩展的动态工作流过程元模型MINI,一种新的工作流模式即转移依赖分支模式被实现,最后介绍了MINI工作流管理系统。
关键词 工作流 过程元模型 建模 工作流管理系统 软件系统
下载PDF
POWER:知识丰富的智能网格工作流框架 被引量:8
6
作者 张少华 向勇 +2 位作者 沈浴竹 姜进磊 史美林 《通信学报》 EI CSCD 北大核心 2006年第11期125-133,共9页
近年来,一些研究利用人工智能的规划技术来进行网格工作流的动态构建,但目前应用的方法尚缺乏显式知识支持,影响了系统的可扩展性。针对这个不足,定义了流程模式作为应用层知识表示工具;并基于模式提出了工作流动态生成的规划方法;进... 近年来,一些研究利用人工智能的规划技术来进行网格工作流的动态构建,但目前应用的方法尚缺乏显式知识支持,影响了系统的可扩展性。针对这个不足,定义了流程模式作为应用层知识表示工具;并基于模式提出了工作流动态生成的规划方法;进而提出了一个支持多领域应用的,知识丰富,目标驱动网格工作流框架。 展开更多
关键词 网格工作流 流程模式 面向模式的规划 工作流生成 框架
下载PDF
基于动态规划的柔性工作流 被引量:8
7
作者 史银雪 孙瑞志 向勇 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2010年第A02期258-262,共5页
为提高柔性工作流对业务环境不确定性和多变性的响应能力,提出了一种基于流程模式的工作流动态规划技术.采用流程模式的知识表示方法描述业务领域专业知识,工作流建模阶段不确定的执行过程或执行因素用一个特殊的"目标活动"... 为提高柔性工作流对业务环境不确定性和多变性的响应能力,提出了一种基于流程模式的工作流动态规划技术.采用流程模式的知识表示方法描述业务领域专业知识,工作流建模阶段不确定的执行过程或执行因素用一个特殊的"目标活动"来表示;通过在流程执行过程中实时获取目标活动的上下文信息,实现流程执行过程中的实时规划,使得流程的执行过程能够更加实时地反映外界影响因素的变化;给出了基于动态规划柔性工作流的结构化设计和上下文数据的形式化定义,进而设计了目标匹配的流程规划算法,该算法支持流程的递归规划.最后,给出了一个"接收对象不明确"的工作单分发流程实例,表明了动态规划的优势,并与其他支持工作流柔性的方法进行了比较. 展开更多
关键词 工作流动态规划 柔性工作流 流程模式 推迟绑定 推迟建模
下载PDF
基于Petri网的工作流模式建模及应用 被引量:8
8
作者 王斌 章云 王晓红 《计算机工程与应用》 CSCD 北大核心 2008年第13期238-241,共4页
工作流模式建模是工作流模型的基础,Petri网同步器是目前最有效的工作流模型建模方法。使用网和同步距离对工作流模式进行分析,将目前常用的工作流模式归纳成为三种:完全同步、竞争同步、非同步。而Petri网同步器只能表示完全同步,不能... 工作流模式建模是工作流模型的基础,Petri网同步器是目前最有效的工作流模型建模方法。使用网和同步距离对工作流模式进行分析,将目前常用的工作流模式归纳成为三种:完全同步、竞争同步、非同步。而Petri网同步器只能表示完全同步,不能表示竞争同步和非同步,为此提出一种改进的同步器,通过改进同步类型,使得同步器可以建模三种同步模式,较之改进前的同步器,增强了建模竞争同步模式和非同步模式的能力。 展开更多
关键词 工作流建模 工作流模式 同步器 同步距离
下载PDF
信牌驱动模型中的工作流模式 被引量:9
9
作者 龚晓庆 葛玮 郝克刚 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第1期13-18,共6页
目的 评估信牌驱动模型在工作流过程控制流建模方面的表达能力和适用性。方法 基于工作流模式,分析信牌驱动模型中各种模式的实现方式,并与其他过程建模语言进行比较。结果 信牌驱动模型支持绝大多数工作流模式。结论 信牌驱动模型... 目的 评估信牌驱动模型在工作流过程控制流建模方面的表达能力和适用性。方法 基于工作流模式,分析信牌驱动模型中各种模式的实现方式,并与其他过程建模语言进行比较。结果 信牌驱动模型支持绝大多数工作流模式。结论 信牌驱动模型是一种具有很强表达能力的工作流过程定义模型,能够满足广泛的业务需求。 展开更多
关键词 工作流过程定义语言 工作流模式 信牌驱动模型 表达能力 适用性
下载PDF
基于条件约束的工作流语义验证方法及应用 被引量:4
10
作者 袁钢 孙瑞志 +1 位作者 向勇 吴峥 《小型微型计算机系统》 CSCD 北大核心 2013年第9期2051-2055,共5页
针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性会给流程的正确执行带来影响的问题,提出一个用于描述基于业务目标实现的流程、业务资源,以及三者协作和约束关系的四维元模型;并且基于流程模式对业务过程进行表示,利用XM... 针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性会给流程的正确执行带来影响的问题,提出一个用于描述基于业务目标实现的流程、业务资源,以及三者协作和约束关系的四维元模型;并且基于流程模式对业务过程进行表示,利用XML进行流程知识表示的优势,通过在流程模式的XML Schema中对实现业务目标所依赖的资源、环境等进行条件约束的设计,根据业务目标、流程和资源三者之间的逻辑条件约束关系,采用条件匹配算法对动态规划出的流程文件进行解析和语义检查,减少了工作流引擎在执行时会发生错误的概率. 展开更多
关键词 工作流 语义验证 条件约束 流程模式
下载PDF
工作流模式的π演算建模研究 被引量:7
11
作者 黄贤明 李长云 梁爱南 《计算机工程与应用》 CSCD 北大核心 2007年第17期66-68,73,共4页
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。
关键词 Π演算 ECA规则 工作流模式
下载PDF
复杂分支和同步模式的Pi演算描述 被引量:4
12
作者 郭小群 郝克刚 +1 位作者 侯红 丁剑洁 《计算机科学》 CSCD 北大核心 2010年第2期139-140,179,共3页
Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后,提出了以Pi演算作为工作流形式化的基础,并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。
关键词 PI演算 工作流模式 形式化方法
下载PDF
业务过程协同模式的研究 被引量:21
13
作者 卢亚辉 明仲 张力 《计算机集成制造系统》 EI CSCD 北大核心 2011年第8期1569-1579,共11页
在对协同业务过程进行分析的基础上,总结了多个业务过程在进行协同时的45种协同模式。首先针对双边的交互和协同,总结了7种基本协同模式。在此基础上,研究了几种常见的扩展模式,包括回执、授权撤销、多边协同等,并总结了38种扩展模式。... 在对协同业务过程进行分析的基础上,总结了多个业务过程在进行协同时的45种协同模式。首先针对双边的交互和协同,总结了7种基本协同模式。在此基础上,研究了几种常见的扩展模式,包括回执、授权撤销、多边协同等,并总结了38种扩展模式。给出了这些基本模式和扩展模式的一些基本应用场景。使用Petri网,给出了这些协同模式的形式化表示。 展开更多
关键词 业务过程 协同 模式 工作流 交互 PETRI网
下载PDF
一种支持工作流模式的扩展工作流网 被引量:3
14
作者 张亮 金茂忠 姚淑珍 《北京航空航天大学学报》 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
基于Petri网的工作流模式——工作流模式分析研究 被引量:16
15
作者 余鹏 周国富 +1 位作者 屈婉玲 袁崇义 《系统仿真学报》 CAS CSCD 2003年第z1期119-122,共4页
随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论... 随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论基础进行研究。本文将利用Petri网来描述和分析工作流的各种模式,比较模式之间的异同,并对模式进行合并和重划分。 展开更多
关键词 工作流 PETRI网 模式 活动 连接器
下载PDF
工作流模式支持语言YAWL可视化设计环境实现分析 被引量:4
16
作者 孙满囤 李俊山 韩先锋 《微电子学与计算机》 CSCD 北大核心 2006年第3期131-134,共4页
首先总结了工作流模式并对YAWL进行了阐述,进而从YAWL规范生成、保存及导出YAWL引擎文件三个方面分析了YAWL可视化设计环境具体实现技术,对促进YAWL支撑环境的不断完善及相关工作流系统软件的开发有重要参考价值。
关键词 工作流 模式 YAWL 可视化设计 分析
下载PDF
多实例工作流模式的π演算形式化 被引量:4
17
作者 梁爱南 李长云 黄贤明 《计算机应用》 CSCD 北大核心 2007年第1期219-220,224,共3页
多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。
关键词 Π演算 ECA规则 多实例工作流模式
下载PDF
支持多实例模式的动态工作流研究 被引量:4
18
作者 许甸 李建华 +1 位作者 刘星沙 夏媛 《计算机应用》 CSCD 北大核心 2006年第12期3033-3036,共4页
为了解决多实例模式给工作流的建模和实现带来的动态语义和数据共享冲突问题,在对多实例模式进行深入分析的基础上,讨论了一种具有动态性的建模方法。这种基于XPDL的过程定义方案支持各种多实例活动并且具有较强的动态性,能与不同的实... 为了解决多实例模式给工作流的建模和实现带来的动态语义和数据共享冲突问题,在对多实例模式进行深入分析的基础上,讨论了一种具有动态性的建模方法。这种基于XPDL的过程定义方案支持各种多实例活动并且具有较强的动态性,能与不同的实现引擎兼容。同时,提出了一种活动多实例动态组装的活动执行部件设计方案,其中活动实例管理器的设计解决了动态执行多实例活动和数据共享问题。该方案在工作流引擎Shark中得到实现,改进后的Shark表明这种建模方法和引擎设计思想较好地解决了多实例的建模和实现问题,也提高了流程的动态性。 展开更多
关键词 动态工作流 建模 多实例模式 工作流引擎
下载PDF
一种新的基于Petri网的分层工作流过程模型 被引量:4
19
作者 张亮 姚淑珍 《计算机集成制造系统》 EI CSCD 北大核心 2006年第9期1367-1373,共7页
过程模型的描述能力和分析能力难以满足企业的要求,为此,提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上,通过对基本网进行一定的扩展,给出工作流过程的分层模型。该模型由工作流描述模型和工作流... 过程模型的描述能力和分析能力难以满足企业的要求,为此,提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上,通过对基本网进行一定的扩展,给出工作流过程的分层模型。该模型由工作流描述模型和工作流分析模型组成。工作流描述模型直接支持所有工作流模式,特别是多实例、取消、高级同步等高级Petri网无法直接描述的模式。工作流描述模型在Petri网的基础上增加了控制变量,并将变迁划分为变迁入口和变迁体两部分。控制变量与变迁之间构成读写关系。变迁入口函数通过判断控制变量,消解工作流描述模型中的冲突;变迁体函数通过可扩展逻辑描述语句,实现对控制变量的读写操作。工作流分析模型作为工作流描述模型的分析模型,剥离了工作流描述模型个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型。最后,通过几个例子说明了如何使用本文提出的模型对各种复杂流程进行建模和分析。 展开更多
关键词 PETRI网 工作流 工作流模型 工作流模式
下载PDF
用着色Petri网建模工作流模式 被引量:12
20
作者 闻立杰 王建民 孙家广 《计算机科学》 CSCD 北大核心 2006年第6期135-139,共5页
工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准,目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种... 工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准,目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明,该语言不仅能很好地支持全部模式,而且具有建模简洁、准确的特点。同其它建模语言相比,用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。 展开更多
关键词 工作流 建模语言 模式 着色PETRI网 控制流
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部