基于图裁减和图搜索的工作流图验证算法

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:nmg_zl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
工作流程中的结构冲突将导致工作流管理系统无法正常运行,因此需要在工作流图付诸实施之前要验证工作流的正确性,检测出其中的冲突。目前,无环工作流图的冲突检测在Mahanti-Sinnakkrishnan算法中已经得到了较好的解决,L.Kai和L.Qiang提出了CWRS算法用来检测有环工作流图的结构冲突,但该算法存在缺陷,会产生误判。对CWRS算法进行分析,指出了该算法的缺陷,并提出了改进方法,解决了有环工作流图AND型节点不配对时的冲突检测问题。
其他文献
迪斯尼夫妇原本生活在社会底层,生活极为贫困.有一次,他们因为付不起房租被房东赶了出来.可怜他们夫妇俩无处安身,只得提着行李箱来到公园,相伴坐在公园的长椅上,思索如何解
目前基于微分方程模型学习网络参数的工作普遍基于卡尔曼滤波器,对所分析系统有线性假设前提,而基因调控网络具有强非线性,因此需要更适用于非线性模型的方法。提出了一种基
桐乡市信息技术学校位于幽幽梅泾河畔,学校前身是桐乡三中高中部。创建于1947年的桐乡三中在巍巍宋代银杏下孕育了一代代莘莘学子。早在1960年,学校作为全国教育系统先进学校而
★记者印象凭着几回采访舞蹈演员的经验,我知道,歌舞图的练功房是聊舞蹈的最佳场地.
科学课程逾越了物理、化学、生物和自然地理等学科之间的藩篱,实现了课程的整合与开放.这种变革给广大"专才"科学老师带来了不便和挑战,使科学教师在综合科面前捉襟见肘、措
<正>峨嵋浑元功属峨嵋岳门秘传功法。其法甚简,而其效甚宏。有诸多同门练功多年而发劲沉而不灵,习本功可解心中之疑。本功共四式,以丹田为中心,本功丹田系下丹田。前人曾精辟
期刊
许多人喜欢礼赞秋天金色的收获、而就在这种礼赞之中,秋天却悄悄给人们一个凄凉的空白。
期刊
对空间曲面的分片算法进行了研究,以高斯曲率的绝对值对面积的积分与曲面面积的比值作为曲面分片系数,并以各曲面单元分片系数的和作为曲面分片的控制值;在给定分片控制值的约束
什么是"紫外线"人们口中的"紫外线"实际上还可细分为长波长的UVA、中波长的UVB及短波长的UVC,其中UVC在进入大气层时,已在臭氧层的防护下被隔离,能辐射到地面的只剩UVA和UVB
秋风送爽,丹桂飘香,我们走进重庆行知校园。晨曦中的她显得格外清新美丽,孩子们在操场上奔跑,书声,笑声,不绝于耳,如春季的花蕾只待夏季的绽放,这一切都是那么的和谐、绚丽。