基于进程代数的Web服务合成的替换分析

来源 :计算机学报 | 被引量 : 0次 | 上传用户:kongxianghua
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Web服务合成是Web服务研究领域的热点问题,Web服务的替换与Web服务合成密切相关且对于Web服务合成系统的健壮性有重要作用.使用进程代数作为形式化的工具描述Web服务,对合成中的行为特征进行推导,分析由于异步交互对Web服务合成设计与实现产生的影响.在此之上,基于服务合成正确性的定义,提出一种一致性关系,若新服务与将要被替换的参与合成的服务之间存在这种关系,那么替换后的服务合成仍然是正确的,并且替换是上下文无关的.
其他文献
《归来》正式进)入宣传期后,不论是电影局领导、还是世界名导,都在影片上映前,与片方和主创们一样,给予了《归来》极高评价。口径如此一致的宣传,不得不说是将观众绑入皇帝展
组织承诺是员工长时间的体验缓慢形成的一种稳定的态度或行为倾向。内部营销将员工视作企业的内部顾客,以员工满意为核心,通过营造各种体验来刺激企业员工反馈形成一定程度的
<正>高考考场上,一些考生写作文时,一看到题目是自己考前没有训练过的类型,或者是题目比较难写,没有把握写好,就紧皱眉头,咬着笔杆,头脑里一片空白,好半天无法下笔,这是思路
<正>2014年3月10日,陕西省宋庆龄基金会枫韵幼儿园家长通过微博爆料称,自己的孩子在幼儿园服用了不明药物,且平日里经常出现头晕、腿疼、肚子痛等症状。微博一出,便不断有其
溃疡性结肠炎(UC)的病因和发病机制目前尚不明确。近年来研究发现,结肠相关黏膜细胞凋亡失控在UC的发病中起着重要作用,其中肠黏膜上皮细胞凋亡加速、固有层T淋巴细胞和中性
曾三同志是现代中国著名的档案思想家。他非常重视档案史的研究,继承并发展了我国历史上著名档案工作者的优良传统,形成了自己“研究历史,古为今用”的档案思想,对我们当前和
<正>导演:郭敬明主演:杨幂、柯震东、郭采洁、陈学冬、郭碧婷、谢依霖类型:爱情、剧情出品:华策、和力辰光、乐视上映日期:2014年7月17日剧情简介:林萧(杨幂饰)和顾里(郭采洁
首先介绍了电子互感器结构及其在数字化变电站中的应用,其次分析了光电流互感器、光电压互感器、电流互感器、GIS电压互感器、独立式电子互感器的原理,并仿真了电流互感器、G
中国拥有悠久的保健酒酿造及饮用历史,保健酒文化源远流长。保健酒行业发展到今天,产业、市场、管理等都发生了很大的变化。居民收入水平的提高,生活质量的改善,国家内需政策的加
报纸
太平花是虎耳草科山梅花属落叶灌木,产于我国北部及西部,北京山区有野生分布。太平花花色洁白,花期长,寓意吉祥,是我国传统观花灌木,在园林绿化中应用广泛,是不可多得的园林
报纸