【摘 要】
：
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确
论文部分内容阅读
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了Pi-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于Pi-演算的形式化模型,最后通过一个案例给出了模型验证的方法。
其他文献
<正>任何一种美学思潮的形成都与当时的社会政治、经济、哲学和思想文化有着密切的联系。汉末美学思潮的形成也是如此,汉末社会动荡,政治黑暗,经学衰颓,传统价值观念分崩离析
<正>《白鲸》是美国19世纪浪漫主义文学家麦尔维尔的代表作,通过多重主题、复杂象征和朦胧暗示表达了丰富、深刻的思想内容,被后人誉为"时代的镜子"。《白鲸》作家麦尔维尔从
同为国家历史文化名村的两座古村落——爨底下村和英谈村,在现今古村落保护的道路上,却有着迥然不同的境况.通过对两座古村地缘、资源优势、保护发展现状的对比分析,发现它们
发展以"五点一线"为基础的辽宁沿海经济带已经进入国家战略。它成为东北振兴新的经济增长带。但必须看到,"五点一线"所涉六城市的经济与社会发展处于非均衡的发展格局之上。
研究表明,有氧能力是赛艇运动的主要供能方式,也是决定赛艇运动成绩好坏的关键因素。因此,对于赛艇运动员有氧能力的测试与评价对于指导运动员的训练,安排训练计划十分重要。
以NiCr/Cr3C2-WS2-CaF2复合合金粉末为原料,采用激光熔覆技术,在1Cr18Ni9Ti不锈钢表面制备了高温自润滑耐磨复合材料涂层。采用XRD、SEM和EDS等手段对所制备复合涂层的显微组
目的:探讨高住低练对线粒体钙转运功能及能量代谢的影响,为运动与低氧适应机制的研究和高原训练方案的制定提供理论依据。方法:采用荧光技术和生物发光技术分别测定心肌、肝
<正> 中西方装饰装修风格的融合已成为时下家装的流行趋势。由于中式古典装饰装修本身一门非常专业化的技术,讲究色彩的搭配、选料的规格、图案的分类,故而许多不太了解中式
随着以IP为基础的SOC设计逐渐成为IC设计的主流,针对IP的研发和市场交易在国内越来越受到人们的重视。本文全面系统地分析了当前我国IP研发、使用、交易的现状和存在的关键问
<正>近年来,北京市政府将三山五园作为文化发展的重点之一,海淀区为此划出了三山五园历史文化景区,展开新的规划建设。这是一个有利于区域发展的举措,但其规划建设必须充分尊