【摘 要】
：
在比较分析已有工作流模型验证算法优缺点的基础上，提出一种新的工作流模型验证方法。该方法基于规范化工作流网，不仅可以检测死锁、孤立点等常规模型错误结构，而且能够检测隐蔽
【机 构】
：
陕西师范大学计算机科学学院,陕西省交通规划设计研究院
【基金项目】
：
国家自然科学基金资助项目（11071278）；中央高校基本科研业务费专项资金项目（GK201302026）．
论文部分内容阅读
在比较分析已有工作流模型验证算法优缺点的基础上，提出一种新的工作流模型验证方法。该方法基于规范化工作流网，不仅可以检测死锁、孤立点等常规模型错误结构，而且能够检测隐蔽性很强的AND-split→OR-j oin（A→O）结构。为了成功检测A→O结构，详尽分析了不同A→O结构的特点，并找到它们之间的共同特征，进而通过探测该共同特征来检测是否存在A→O结构，从而克服已有算法无法验证A→O结构的缺陷。此外，还给出模型规范化规则，使得方法能够验证不规范的业务流程。通过实例分析，表明算法有效可靠。
其他文献
针对IEEE 802.11ah协议中的功率管理问题,提出了改进的目标唤醒时间（TWT）机制,它能够在多用户场景下通过接入点管理终端的苏醒时间,使不同终端在不同时间唤醒进行传输,这样既通
<正>1 概述1．1 定义因COPD所致的PAH,是指平均肺动脉压(PAP)＞20mmHg(1mmHg=0.133kPa)。其发生、发展主要以继发症的模式演变,是发展成肺心病的重要环节。1．2 概况目前对PAH o
<正> 老年人自发性气胸是呼吸系统急症。本文收集近十年来我院和广西中医学院二附院所收治的60岁以上老年人自发性气胸42例,并以同期16岁～50岁青壮年自发性气胸64例作对照组。
<正> 我院1989年1月～1995年12月共收治小儿腹型过敏性紫癜83例,由于部分患儿腹痛严重,特别在梗血症状先于皮肤紫癜出现时,临床易误诊误治,现就其临床特点、误诊原因及治疗加以
<正>结核病是由结核杆菌引起的,从感染至出现临床症状之前,多数已有数月至数年。尽管结核感染本身无临床表现,但可由结核菌素(OT)阳性反应来确定。如何确定结核感染和结核病
<正>非洛地平(商品名:波依定)是一种对血管平滑肌具有高度选择性的钙离子拮抗剂。已有研究证明其对高血压和冠心病具有良好效果,1996～1997年我们应用此药与尼群地平作比较治疗
基于传统夹心式压电陶瓷换能器,提出了一种新型级联式高强度功率超声换能器。该换能器由多个半波长夹心式压电陶瓷换能器通过电端并联及机械端串联而成。基于一维理论,得出了
四川省广元市老促会在新年度工作要点中提出，要抓住机遇，打好西部连片贫困老区这张牌，继续努力，多渠道、多方式地争取中央和省优先对川陕老区的重点帮扶。一是请驻市的全国和省的
<正> 某些药物在临床应用过程中常出现治疗矛盾,由治疗某种疾病的作用产生致该种疾病的作用,临床用药目的是为了防病治病,但有时却发生与治疗作用相反或使病情加重的矛盾效应
<正>冰片为通渚窍、散郁火、去翳明目、消肿、止痛之药。除此之外,冰片自古以来医家多以“佐使”之药用之。并被现代医药学的研究所证实,现将药理研究及临床应用进展简介如下