【摘 要】
:
工作流技术是重要的协同应用支撑技术之一,它通过对业务过程进行建模、执行和管理来完成业务目标。工作流模型建立起来之后,模型正确性验证和工作流执行时的并发控制成为需要
论文部分内容阅读
工作流技术是重要的协同应用支撑技术之一,它通过对业务过程进行建模、执行和管理来完成业务目标。工作流模型建立起来之后,模型正确性验证和工作流执行时的并发控制成为需要解决的问题。本文的模型验证由语法分析和结构验证组成,采用了一种基于有向图的归约法的工作流模型结构冲突分析方法,结合数据流分析方法,探讨了工作流模型的正确性验证问题,并且开发了一个工作流模型验证工具。此外,当多个工作流实例并发执行时,这些实例之间的某些任务可能通过共享数据对象而存在约束关系,这将引发严重的数据访问不一致问题。本文扩展了结构化工作流定义语言SWDL,在此基础上,采用集合约束系统对工作流内部以及实例之间所有可能引起冲突的任务进行分析,生成数据资源的任务冲突集,在此基础上划分出任务调度具有互斥性质的关联任务子集,并且引入动态任务约束,以保证各实例中可能引发数据冲突的任务子集运行时的临时事务性。本文提出的调度算法在保证工作流实例运行正确性的同时,提供了一种多实例间灵活的、尽可能多的任务并发调度方法,实验验证了本文调度算法的有效性,性能分析表明,该算法提高了工作流的执行性能。
其他文献
当前,在我国迅速发展的移动通信市场中,中国移动,中国联通等几大电信运营商正在展开激烈的市场竞争,而客户是这场竞争中的焦点。 本文从客户的相互联系出发,提出了一种新颖的客
随着计算机网络和通信技术的飞速发展,数字媒体,包括图形、图像、视频、音频等,得到了广泛的应用。随之而来的数字媒体的版权保护、内容认证等问题也变得日益突出,急待解决。
电力监测系统是对电力通信网络的运行状况进行实时监测和管理的控制系统。电力监测系统通常提供对当前电力的运行情况进行实时监控,错误告警,以及日志查询等功能。电力管理部门可以通过电力监测系统掌握电力通信网的整体运行情况,及时获知故障信息,从而能够执行相应的措施。 监测系统是一个相当庞大的系统,其中设计到的技术很多,本论文将重点研究监测系统中的数据采集部分。在此背景下,开展的工作主要体现在五个方面:目.
经纬仪野外标校检测系统主要应用于导弹试验靶场,它是基于计算机应用技术、星体标校方法、标准硬件接口及通用软件开发平台的便携式智能型检测系统。 该系统选用便携式加固
针对个体脚型特征,对个性化鞋楦造型设计及皮鞋CAD系统进行了的应用性基础研究.分析和讨论了如何根据个体脚型设计和制造出符合个性化要求的鞋楦,提出了个性化皮鞋CAD设计模
研究的内容具体包括以下几个方面.首先对数据存储系统整体进行了描述.讨论数据存储系统的应用需求,阐述了组成数据存储系统的诸多物理部件和逻辑结构,及其相关技术的国内外研
本文结合“三维场景真实感技术研究”和“交互式三维建模与物理仿真”课题。 本文提出一种基于双变量二次插值的多边形明暗处理方法,实现了三角面片模型的明暗处理。
随着企业信息化的深入,企业应用集成(EAI, Enterprise Application Integration)越来越成为各个企业所关注的焦点,而Web服务已经成为企业应用集成的主要方式。Web服务能够在I
随着计算机网络技术的飞速发展,网络规模、用户数量的日益增加,现有的网络管理和维护已经越来越难以适应用户的要求。而网络故障产生的原因很多,现有网络的信息量巨大,从而使
不完全信息数据库与 SQL 语言的语义是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且还具有很高的应用价值。本文借助中介逻辑谓词演算系统 MFM,对不完全信息系