【摘 要】
：
为了快速高效地建立分布式协作开发环境,满足我国当前在军事和经济领域的迫切需要,集成现有工具和组件而不是开发全新的协作环境是切实有效的解决方案。业务流程执行语言(Bus
论文部分内容阅读
为了快速高效地建立分布式协作开发环境,满足我国当前在军事和经济领域的迫切需要,集成现有工具和组件而不是开发全新的协作环境是切实有效的解决方案。业务流程执行语言(Business Process Execution Language, BPEL)用于对已有工具和组件进行协同控制,整合现有功能,可以满足分布式协作应用的需求。本文的研究重点在于构建一个可高效执行BPEL流程的解释器,同时给出一个能够提高流程可靠性的数据竞争和死锁检测算法,并将其实现到解释器中。在对已有主流BPEL解释器的架构和实现方式进行分析后,本文给出了一个以分层、可扩展方式设计,基于C++实现的BPEL解释器—RCbpel。在分析已有多线程程序验证方法的基础上,提出并实现了一个适用于BPEL流程的数据竞争和死锁检测算法。实际应用表明,RCbpel可以正确高效地解释BPEL流程并能检测出流程中存在的数据竞争和死锁问题。
其他文献
随着信息技术的迅猛发展,人类社会正进入信息时代,信息已成为人类宝贵的资源,特别是计算机网络已经渗透到社会的各个领域,信息越来越成为一种战略资源,人们的决策越来越依赖
异构数据源的集成是建立综合电子信息系统的重要目标。目前的异构数据源集成方法主要面向异构数据库,在实际应用中,用户常常需要对现有系统的各类异构业务数据进行综合分析和
查询性能预测的目的是为了在缺少相关性判断信息的条件下评估一个检索系统针对于一个特定的查询返回的结果的有效性。查询性能预测在信息检索领域有着许多的应用，如查询优化，提
随着社会经济的发展，交通流量的增长与现有道路状况之间的矛盾日益突出，已成为制约城市经济发展的主要因素之一。因此，近年来交通问题受到了国内外专家们的重视，提出了各种各样的
随着计算机技术和虚拟现实技术的不断发展,把虚拟现实技术引入到产品的设计过程中,不仅可缩短产品开发周期、降低生产成本,而且增强了产品的可靠性。在航空领域,虚拟设计技术
为实现分布式协作开发环境下工具间的数据共享,应当提供一致的数据访问服务。数据格式转换工作,在集成平台中被封装为数据对象转换服务,使得不同工具产生的数据均能表现为符
本论文是以“辽宁省信息产业厅嵌入式网上智能教学平台”项目为背景的。教学平台中有大量的音、视频信息,并且这些资源在地理上是分布的、异构的,它们由多级网络互联,形成一
用于彩色图象跨设备再现的色彩管理技术目前已基本成熟。但随着彩色信息在网络环境下的广泛应用和重视,用户对色彩管理提出了新的要求,即在网络环境下仍能很好地满足用户的色
生物特征识别是一项利用人类特有的生理或行为特征来进行身份识别的技术，它提供了一种高可靠性、高稳定性的身份鉴别途径。人脸识别技术是基于生物特征识别技术的一个重要分支
异构网络并存是目前网络的现状，多样异构网络融合则是大势所趋。随着IP网络的迅速发展，在各种网络相互融合的基础上，以软交换技术为基础，在统一的分组网络上提供话音、数据和多媒