【摘 要】
：
云计算环境下服务的动态性和易失效性是云应用的重要挑战,服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法,该方法首先对会话类型论
【机 构】
：
华南师范大学教育信息技术学院,广东科学技术职业学院艺术设计学院,浙江大学电子服务研究中心
论文部分内容阅读
云计算环境下服务的动态性和易失效性是云应用的重要挑战,服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法,该方法首先对会话类型论进行语义扩展以建模云服务行为,设计了典型云服务QoS类型实现服务质量判断,然后构造了语义会话类型和QoS类型的各子类型规则,最后以此完成了服务一致性和上下文兼容性命题判定与实施。通过应用判定实例展示和实验效果分析,表明该判定方法可行,并能为组合服务应用带来更高的执行成功率。
其他文献
法律权利作为权利体系中的核心组成部分， 具有独特的构造方式。首先它由“利益”、“资格”和“自由行为”三个内部要素构成的一个权利实体，其次再由“法律认可”这一外部要素
<正> 我长着一头又粗又硬的黑发,每根最长不过一寸,这是老爸的"杰作",不知底细的人远看定会认为那是一把刷子吧。我长得特像男孩。卖烧烤的称我"小弟弟",新搬来的邻居家的男
学位论文作为一种重要的文献资源,其资源建设与开发利用日益得到图书馆界的重视。鉴于多年来形成的条块分割的管理体制及学位论文资源建设与开发中涉及的知识产权问题并非能
近代中国的历史从1840年鸦片战争一直延续到1919年辛亥革命。期间,无数优秀的中国人都在不断寻求救国救民之路,其中一个重要的方面就是向西方学习,将西方的先进科学知识译介
<正>"巫山传"系列人设大起底巫山门扶兰"巫山传"系列武侠小说中的一大江湖门派,坐落于巫山十二峰。门内粗分十二小派,各据巫山十二峰之一。巫山门武学讲究任性放达,如水无涯,
<正>楔子"且稍等,容我将这一节注完。"太子萧统头也不抬地说着,落笔如风,左手轻轻将架在颈项间的剑锋推开了半尺。须臾,他放下笔,将桌上的书籍简单理了理,从容不迫地对来者说
刘震云在90 年代初大踏步地从新写实转向了对历史的编撰,表达了对历史全新的体悟。人们在对文本的阅读中感受到一种新鲜的体验,日常生活中已成为定式的历史在作品中呈现出了
中职校园网网络安全管理十分重要,关系到学校网络健康,影响到日常教学的方方面面。近年来,随着网络信息化的快速发展,使得各个中职院校都建立自己的校园网,从而通过信息网络
随着互联网企业的竞争日益激烈,商业模式已经成为互联网企业提升企业价值的重要战略工具,商业模式的研究也成为学者们热衷研究的主题之一。但在梳理国内外相关文献时,发现现
本文认为，由于社会的技术进步和经济增长，必然引起需求结构和产业结构的变化和升级，从而拉动和推动休闲产业的发展。休闲产业是21世纪的希望产业，政府和企业要采取措施来构建经济