动态着色图验证工作流法

来源 :软件 | 被引量 : 0次 | 上传用户:lsp110
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
工作流验证是工作流管理系统中的重要方面,在工作流应用之前对其进行验证可以大量减少运行时由于发生故障、调试及其它处理所带来的损失。模型结构是工作流最基本也是最重要的一个方面,因此提出使用动态着色图形方法验证工作流模型正确性。给出四类函数和四种类型定义,对节点进行判定,验证包含循环及叠加结构的复杂工作流模型结构上的异常问题。与其他方法相比,本方法可以同时解决死锁、死循环和多实例等常见异常,且算法上优于其它方法。
其他文献
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
股骨头坏死(osteonecrosis of the femoral head,ONFH)作为骨科领域的一种多发难治性疾病,尚无可逆性的治疗技术去改变其坏死状态。现阶段,在疾病发展的晚期多采用髋关节置换
近年来甘肃省的生态环境恶化严重,土地荒漠化、水土流失越来越严重。在这种背景下,甘肃省积极实施'退耕还林'、'天然林保护'、'三北'四期防护林等工
【中图分类号】G633.3 【文献标识码】A   【文章编号】2095-3089(2019)17-0165-01  一、我的作文教学观  1.语文教学,就是要提高学生的听、说、读、写的能力,那么在写的方面,不仅包括写一些应用文体的能力(如通知、假条、凭据条等)、写作能力(即记叙文、议论文、说明文等的写作能力)还包括写字能力(书写能力)。要想作文好,首先就是要书写过关,试想:一篇好的作文,如果
目的观察单采血小板前后献血者血清甲状旁腺素及电解质浓度的变化。方法选择单采血小板献血者45名,分为补钙组(n=11)和未补钙组(n=34),分别检测血小板采集前后血清甲状旁腺素
国家的希望在于教育,教育的希望在于教师。教师教学基本功是提高课堂教学效果的重要保证,它能推动和提升教师专业发展水平,语文教师要重视教学基本功的培养和训练。
文章通过分析文化创意产业复合型高端人才的特点,进行三螺旋演进培养模式下的人才培育发展思路和动态的纵向运行的研究,阐述通过建立"三轴联动,同演进"的创新体制机制,推动常
大学英语视听说教学改革成为提高高等院校教学质量的必由之路。而其中最为关键的环节就在于培养学生的思辨能力,既要让学生能够对大学英语视听说知识予以熟练的掌握,又要锻炼