论文部分内容阅读
对规范流网中OR-join任务语义及使能判定算法进行了深入研究。首先介绍YAWL语言中与OR-join任务有关的概念，规范流网的有关定义，然后在此基础上定义规范流网关于OR-join任务新的语义；最后提出一种判定规范流网OR-join任务使能的算法，并举例说明算法的正确性和有效性。
规范流网中OR-join任务的语义及使能判定算法
【摘 要】
：
对规范流网中OR-join任务语义及使能判定算法进行了深入研究。首先介绍YAWL语言中与OR-join任务有关的概念，规范流网的有关定义，然后在此基础上定义规范流网关于OR-join任务新
【机 构】
：
国防科学技术大学计算机学院
【出 处】
：
计算机科学与探索
【发表日期】
：
2010年6期
其他文献
随着教育改革的进一步深入，学校教育必能满足仕会发展对人的素质提出的更新、更高的要求，当然，这一切改革的成效都取决于教育管理的成功与否。只是当我们再进一步从微观的角度来
信用担保是国际上公认的高风险行业，担保机构经营的是风险，提供的服务是信用。由于我国现阶段，信用担保面临的市场环境十分不完善，国家相关法律法规不完善，缺乏健全的社会信用制度
目的通过回顾性分析,探讨鼻咽血管纤维瘤的发生病理、复发原因及治疗.方法回顾1982～1998年我科收治的28例鼻咽血管纤维瘤病人的诊治和随访情况资料.结果 28例中24例行经腭手术
目的进一步完善悬雍垂腭咽成形术的手术思路和方法,减少并发症,提高疗效.方法对26例阻塞性睡眠呼吸暂停低通气综合征(OSAHS)采用保留扁桃体窝及悬雍垂全长的手术方式.结果该