【摘 要】
：
随着全球化进程的加快,Web作为一种重要的沟通手段受到的关注越来越多,对Web服务描述的正确性投入的精力随之增加。BPEL(Business Process Execution Language)作为描述Web服
论文部分内容阅读
随着全球化进程的加快,Web作为一种重要的沟通手段受到的关注越来越多,对Web服务描述的正确性投入的精力随之增加。BPEL(Business Process Execution Language)作为描述Web服务流程组合语言,可以通过组合、编排和协调等方式将多个Web服务组合到一个新的复合服务(称作业务流程)中。但是由于BPEL本身是半形式化的,因而它不能有效的描述Web服务流程间死锁、缺少同步等诸多问题,所以必须通过形式化方法建模BPEL的方式来减少Web服务中出现的此类问题。本论文结合实验室承担的国家“863”重点项目,分析和参考了π演算建模BPEL语言的相关理论、研究成果和技术方法,提出了一个完整的从BPEL到π的自动建模和分析过程,并在此基础上实现了自动建模和分析的工具原型。本文的主要工作体现在以下几个方面：1.分析了π演算建模分析BPEL理论和方法的国内外研究现状,总结了在自动建模方面面临的问题。2.融合了MWB(the Mobility WorkBench)验证工具的标识符定义,对手动建模理论提出了优化；提出了基于MWB的BPEL到π演算的自动建模的方法,利用DOM(Document Object Model)树解析,构建了自动建模过程。3.分析了自动建模过程中遇到的数据兼容性和结构合法化问题,提出了通过词法分析和语法分析解决问题的方法和实践。4.在相关理论研究基础上,设计和实现了BPCT(BPEL to Pi Convert Tool)自动建模验证工具。
其他文献
最近几年,分布式技术快速发展,WebService技术作为一种新型的分布式系统计算模型,其使用规模也在企业管理以及电子商务领域快速扩大,WebService推荐模型也应时而生,在WebServ
在工业对象控制中,温度一直以来就是一个极重要的工艺参数,温度的测量及其控制在工业生产中有着广泛的应用,尤其是在石油、化工、电力、制药、材料、冶金等重要工业领域中担
无线传感网络是一种融合性应用,它综合了嵌入式计算、无线通信、分布式信息处理等技术,利用大量的传感器节点来覆盖目标感知区域并进行数据采集、处理等任务,从而极大地拓宽
在基于生物特征识别技术的身份认证中，人脸识别是最主要的方法之一，已经成为当前模式识别和人工智能领域研究的热点，探索高识别率的人脸识别算法具有重要的理论意义和应用价值。
人脸识别到目前为止还是一个比较困难的课题,特别是在人脸识别系统中针对光照不均,不稳定的问题,一直以来是人脸识别系统中必须要解决的问题,同时也是影响人脸图像识别率的关
工作流(WorkFlow)就是工作流程的计算模型。目前市场上的很多工作流产品不支持工作流模型的仿真。国家高技术研究发展计划(863计划)——“高可信软件生产工具及集成环境”中
油藏历史拟合是油藏数值模拟的关键环节。传统历史拟合存在成本高、效果差等问题。支持向量机是一种新的机器学习方法,它具有推广能力强、非线性和高维数等一系列优点。鉴于
随着网络对软件开发目标的影响，B/S架构成为中小型软件项目的主要运行模式。由于B/S架构本身的特点，应用系统的用户界面与业务逻辑分别运行于不同的运行环境中，出于降低开发成本
随着计算机技术的快速发展,图像处理技术在人们生活中得到了广泛的应用。经过特定算法处理后的图像,给人们带来更精彩的视觉效果,让交通、生活更加便利,提高了工作效率。近年