基于AXML动态Web服务合成的合理性判定研究

来源 :内蒙古科技大学学报 | 被引量 : 0次 | 上传用户:vikdl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前,大多数Web服务合成的语言规范,如BPEL4WS,仅仅提供了规范合成流程的描述机制,缺乏验证合成流程是否合理的分析机制,忽略了合成时的可行性.本文引入Active XML(简称AXML),对Web服务进行形式化描述,提出了一个Client/Server(简称C/S)模型,根据这个模型对Web服务合成过程中消息的正确性进行判定,并且对合成时合理性进行判定,保证了Web服务合成的合理性.
其他文献
在MMS-200热模拟试验机上进行了双道次热压缩变形实验,研究了超低碳贝氏体钢的静态再结晶软化规律.利用应力补偿法(0.2%)计算了不同形变温度下的静态再结晶软化率。试验结果表
高升油田经历30多年持续开发,目前各主力油藏均已进入开发中后期,开发效果变差。为提高开发效果,在热采稠油主力块实施火驱开发、在热采稠油低速块实施"先压裂改造、后高压注
这是一次耗费上亿美元历时十年的赌博,市场最不看好的技术,最终成为光伏企业趋之若骛的领域,Michael Ahearn从一个律师华丽转身,成为最成功的光伏英雄。    市场竞争的最高法则,效率、廉价和实用,美国第一太阳能公司三者占齐。其独特的技术,保证了市场地位无人能撼,2008年总产出高达504MW,跃居世界第二位。    这是一个让对手颤栗的巨头。美国第一太阳能公司(First Solar In
当堂点评是小学语文教学评价的重要组成部分。恰当的评价,能让学生形成积极主动的行为和健康的学习心理。在课堂中,教师对学生的学习状况表现出的高超的评价艺术可以优化教学
建构主义认为知识是学习者在一定的情境下,借助教师和学习伙伴的帮助,利用必要的学习资料,通过意义建构的方式而获得,基于这样的认识需要重塑教学结构,以形成新的教学模式。本文鉴
利用Gleeble-1500D热模拟机对07Cr17Ni12Mo2N奥氏体不锈钢试样分别在950,1000,1 050,1 100℃以0.05 s-1的应变速率进行了高温拉伸试验,通过分析试验钢组织、断面收缩率曲线、
【摘要】高效课堂教学是指课堂教学的高效率、高效益、高效果。从课程改革的角度讲,是指在班级授课中实现新课程三维目标的最优化。我们通过各种方式去改变语文授课的方式,丰富课堂,激发学生上课兴趣,提高课堂的效率。  【关键词】朗读课文;积累词语;兴趣;效率  【中图分类号】G622 【文献标识码】A  一门课程的授课好坏程度受到很多因素的影响,老师的授课方式、课堂气氛、学生的兴趣、学生对老师的喜爱程度、教
2008年5月20日,中国邮政集团公司接到来自中国保监会的批文,中邮人寿获得出生证。