排序方式: 共有26条查询结果,搜索用时 15 毫秒
1.
针对现有流程偏差模式无法正确识别流程组合偏差的情况,提出一种流程组合偏差模式。该模式以构建偏差模式约束为前提,将活动替换、交换和重复偏差模式相互组合。以标准代价函数为基础,给出改进代价函数。根据组合偏差模式及改进代价函数,设计交换重复偏差模式。将交换重复偏差模式应用于签证申请流程,获得的校准结果可以识别流程中存在的偏差,验证了组合偏差模式能够有效识别流程组合偏差。 相似文献
2.
针对较大粒度服务簇的服务绑定效率优化问题,提出了一种Web服务绑定方法。通过改进服务簇的逻辑Petri网模型,量化服务参数集,缩小相似度计算总量,只需对用户需求参数和服务参数进行运算,计算复杂度为O(km),提高了服务发现效率;给出服务绑定的动态替换方法,匹配服务过程无需查找本体树,能够提高运算效率;解决了网络环境的变化造成的服务响应失效问题,提高服务响应的自适应性。 相似文献
3.
给出了对偶Petri网的加法,笛卡尔积,并运算及有关性质,得到了对偶Petri网运算具有结构性质的条件 相似文献
4.
基于OFBiz与J2EE的水利水电应用系统的设计 总被引:1,自引:0,他引:1
在J2EE架构下,封装OFBiz工作流引擎的基础之上,采用表示层、业务逻辑层与持久层分离的设计模式,大太降低了模块之间以及模块内部的耦合度,同时使系统具备良好的扩展性与可维护性。从总体上给出了水利水电应搠系统的设计与实现方法。 相似文献
5.
定义了自由选择网FC网(free choice nets)的同步合成运算,给出了FC网同步合成网为FC网或AC网(asymmetric choice net)的两上充分必要条件,这些结果可为FC网系统合成的静态和动态特性考察提供有效途径。 相似文献
6.
应用形式化分析技术对电子商务系统模拟与验证,可以查找系统设计中的错误和不足,确保系统的正确性和健壮性.本文将目前用于电子商务系统的形式化方法划分为四大类,综合分析并比较了各类方法的应用特点,并指出了进一步地研究工作. 相似文献
7.
8.
杜玉越 《聊城大学学报(自然科学版)》1997,(1)
文[1]研究了两个凸多边形可移动性问题的最优判定算法,讨论了简单多边形P和凸多边形Q的可移动性问题。提出了一种与[1]具有相同时间复杂度的最优算法。 相似文献
9.
同步合成网的结构性质分析 总被引:6,自引:0,他引:6
研究了同步合成网的结构性质,给出了同步合成网保持子网结构性质不变的条件。结果表明:同步合成网对某些结构性质可直接保持,而对另一些结构性质,需在某种条件下保持。这些结果可为网系统同步合成提供有力手段。 相似文献
10.
综述了业务过程管理(BPM,business process management)不同侧面的研究现状,阐述BPM的内容、视图及生命周期,分析BPM在过程模型建模、实施、分析和管理方面的关键技术,概括了模型实例获得、模型的可配置性、模型实例诊断及新实例产生方法等方面的研究进展。同时,对BPM与web服务和数据库管理之间的联系进行分析。最后,从过程管理的数据来源、过程模型的确定、模型与日志的一致性检查问题、模型库的管理以及仿真系统等方面展望了BPM下一步的发展方向。 相似文献