【摘 要】
:
时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及
论文部分内容阅读
时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。
其他文献
同发达国家相比,我国的物流成本明显偏高,因此如何在日益激烈的竞争环境下,降低自己的物流成本,成为了众多企业关注的焦点。以烟草行业物流为基础,积极探索降低物流成本的方法。通
软件测试和软件开发对软件质量具有同等重要的意义,其工作量很大,且其许多过程又适于自动化,于是软件测试自动化应运而生。测试用例的生成是软件测试过程的重要环节,近年来,
网格由分布在地理上的各种各样的计算机资源组成,用户在调用资源时,只会根据资源提供商所制定的条件来选择适合自己的资源,但是资源质量的优劣只有在至少用完一次后才可以得
针对2004年Pankaj Jalote和Brendan Murphy提出的P-B模型假设过于苛刻、适用范围较窄,文中提出了一种新的基于软件发布后的可靠性模型。该模型不仅考虑了原P-B模型中用户对可
表插入排序算法的优点在于其避免了记录的移动,算法执行的花销主要在于查找插入位置,平均时间复杂度为O(n2/4)。针对表插入排序算法中每次查找插入位置均需从表头开始的限制,提
结合考试分析系统的具体情况对目前常用的贴近度方法进行统一的改进,在现有方法的基础上提出了一种新的贴近度方法,并给出了构造函数,根据新的贴近度方法能够灵活构造出不同精确
在Ad Hoc网络中,针对DSR协议对快速移动的网络拓扑响应不及时,容易产生许多失效路由及产生的路由效率低和能耗不平衡等缺点,提出了一种改进的DSR路由协议(Improved-DSR简称IDS
传统信息检索信息资源缺少统一的语义描述,用户难以查找到与需求相关的资源,导致查询精确度较低,针对这一缺陷,实现语义级的信息检索的研究成为目前研究的热点。在现有的语义
目前,P2P和Web服务这两种技术由于存在各自的技术缺陷,而阻碍了它们在互联网应用中的快速发展。针对技术缺陷,指出将这两种技术进行融合是一个有效的解决思路。当前二者的技
针对分布式并行环境下海量空间数据管理与并行化处理的效率问题,以提高分布式并行空间数据的查询效率为目的,根据现有的空间索引结构与并行化技术,提出一种新的分布式并行空