排序方式: 共有48条查询结果,搜索用时 15 毫秒
1.
2.
目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持. 相似文献
3.
柔性工作流技术研究的现状与趋势 总被引:26,自引:2,他引:26
工作流变更和异常是柔性研究的重要内容,界定了这两个概念,并从不同的角度,分别对系统的灵活性、动态性和自适应性等进行了研究.从理论和实现两个层次上深入探讨了柔性工作流的解决策略和方法,介绍了支持柔性的系统体系结构和元模型,并对一些具体的实现机制进行了讨论和比较,介绍了一些成熟的工作流系统,分析了系统中相关的柔性实现;最后,说明了理论研究和系统实践的未来趋势和发展方向. 相似文献
4.
协议一致性测试平台的设计和实现 总被引:1,自引:0,他引:1
简要介绍了协议一致性测试平台的基本要求和设计思想,给出了整体的设计框架,并且详细讨论了在平台实现过程中涉及到的5部分工作,包括测试例的生成、选择和执行,同时给出了一些简单的实例。 相似文献
5.
6.
引言 平面足迹的分析检验在刑侦和司法实践中有着不可替代的作用.几十年来许多痕迹专家为此进行了大量卓有成效的研究和实践,总结了许多办案经验,也提出了多种有价值的检验方法.但这些方法大多是手工操作,标定和测量标准不一,非明确特征的识别受主观和经验影响.因而在实践中,出现检验不规范,标定不精确,形象描述模糊和检验标准不易把握等情况.为此,寻找一种能客观反映足迹特征,并能使用同一标准对其进行分析测量的方法,是实现检验规范化和自动化的关键所在. 相似文献
7.
对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷,发现协议的不精确性.本文将使用具有强数学基础和强分析能力的着色Petri网(Colored Petri Net,简称CP-Nets)对NS公钥认证协议(NeedhamSchoeder Public-Key Authentication Protocol)进行建模,在此基础上分析验证该协议,阐明协议存在的缺陷并给出改进的方法. 相似文献
8.
IPV6流标签提供的服务质量支持 总被引:3,自引:0,他引:3
作为下一代互联网协议,IPv6除了在地址空间上明显优于IPv4之外,还在数据报头中保留了20位流标签字段为实时流提供有别于尽力而为流的服务。流标签的研完尚处于试验阶段,目前还没有制定出正式的规范。本文在介绍了流和流标签的定义及属性之后,从流标签支持包分类、加速包转发、支持资源预留以及支持QoS的格式定义等多个方面探讨了流标签支持服务质量的能力,分析各种方式的利弊,给出可能的发展方向。 相似文献
9.
从Web应用性能状况得到性能瓶颈及解决方案是Web性能测试报告的主要功能.然而,当前流行的Web性能测试工具仅仅能够提供被测Web应用的性能状况,性能瓶颈的确定和解决方案的选择均需要测试人员手动完成.根据Web性能数据自动确定其瓶颈所在和解决方案将显著提高测试人员的工作效率.本文提出基于模糊Petri网的Web性能优化建议推理方法,使测试报告能够提供更有价值的信息. 相似文献
10.