湖南省重点科技攻关项目(05GK2002)
- 作品数：14 被引量：34H指数：4
- 相关作者：高春鸣苏亮蔡美玲万里平刘荣胜更多>>
- 相关机构：湖南师范大学国防科学技术大学湖南涉外经济学院更多>>
- 发文基金：湖南省重点科技攻关项目国家自然科学基金湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一种基于反馈控制的Web服务组合执行引擎设计被引量：5
- 2007年
- 在Web服务组合执行引擎中解耦流程执行和成分Web服务调用,设计和实施了带有双控制反馈控制环的流程执行结构,反馈控制环分别位于流程执行器与服务代理之上。仿真结果表明:解耦流程执行和成分Web服务调用提高了引擎资源的使用效率,增加了流程执行的并发性,提高了引擎的吞吐量;引入QoS反馈控制结构,使得引擎在组合服务负荷变化时,可为不同的请求服务等级提供服务响应时间保障。
- 陈伟安高春鸣
- 关键词：反馈控制服务质量
- Web服务组合的互模拟验证被引量：6
- 2006年
- 为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互模拟时,检验工具能自动标识关键的不互模拟的BPEL4WS程序片段。最后通过实例说明这一方法的可行性。
- 袁勇福高春鸣刘荣胜
- 关键词：Π-演算
- Web服务组合运行时的容错处理被引量：2
- 2008年
- 基于WebJet服务组合组装与运行平台,设计了一个基于反馈容错机制、支持Web服务组合运行时自动容错处理的基本框架。针对服务组合运行时的时间QoS质量和用户SLA计算容错选择因子,运用聚类算法确定容错边界值,提出容错处理的一般映射方法,并给出了故障处理及流程重构区域计算方法。系统支持流程在线自恢复,适应复杂的网络生态环境,为流程执行时业务功能与服务质量的保障提供了一种有效的机制。
- 张立敏高春鸣蔡美玲
- 关键词：聚类算法
- 基于类型化Pi-演算的Web服务组合相容性检测被引量：2
- 2007年
- 定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEL4WS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段,说明利用该算法检测服务组合系统相容性的可行性。
- 刘荣胜黄邵高春鸣
- 关键词：PI-演算WEB服务相容性
- 基于异步PI演算的Web服务长事务协议性质分析
- 2008年
- 根据WS-Business Activity规范提出一个扩展的长事务协议BAPC,该协议较为详细和更接近于软件实现。BAPC协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质。因此在BAPC协议的软件实施中,迫切需要对BAPC协议进行形式化分析,以保证协议的正确性。基于简洁的异步PI演算,建模和分析了BAPC协议,采用互模拟等价理论及迁移语义给出了BAPC协议的满足长事务协议所具有的持久性、可终止性和局部原子性的证明,说明该协议可以用于处理基本Web服务组合事务,能够保证组合服务的长事务性质。
- 谭煌高春鸣袁勇福
- 关键词：WEB服务
- 基于树型编码遗传算法的Web服务组合被引量：1
- 2008年
- 提出一种基于QoS的Web服务组合的遗传算法(TGA)。该算法采用树型编码,携带流程的静态模型结构信息,可实现染色体的自动编解码和存储适应值计算的中间结果。通过仿真实验,验证了在同等优化效果下,TGA比一维编码遗传算法获得更快的速度。
- 蔡美玲陈荣平陈明
- 关键词：WEB服务选择QOS遗传算法树型编码
- Web服务组合执行引擎中服务代理运行机制研究被引量：4
- 2007年
- 在Web服务组合执行引擎WebJetFlow中解耦流程执行和成分Web服务调用,将服务代理的服务调用由同步模式转变为单纯异步模式,并用NS2模拟器针对服务代理的同步模式转变为单纯异步模式,以及有服务代理和无服务代理的两种不同的引擎处理机制分别进行模拟仿真。仿真结果证明:在同样的线程资源条件下,有服务代理的引擎访问流量大于无服务代理引擎;解耦流程执行和成分Web服务调用以及单纯异步调用模式提高了引擎资源的使用效率、增加了流程执行的并发性、改善了引擎的吞吐量和性能。
- 袁小娟高春鸣
- 关键词：WEB服务组合异步模式服务代理
- Web服务组合语言的出错与补偿处理的pi演算编码
- 2007年
- 本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。
- 高春鸣黄邵陈火旺
- 关键词：BPEL4WSPI演算
- 数据流上快速子序列匹配被引量：1
- 2008年
- 数据流技术目前已广泛应用于金融分析、网络监控及传感器网络等诸多领域,而已有的相似性匹配技术主要针对时间序列数据库,难于直接应用于高速、连续、实时、海量的流数据,因此在数据流上渐进、实时地进行子序列匹配成为一个极具价值和挑战性的问题。在动态时间规整技术的基础上,设计了一种新颖的界限机制,充分利用相似性阈值,尽量减少冗余计算,算法完全符合数据流"单遍扫描"的性能要求,并通过大量的模拟和真实数据实验表明:与现有的SPRING算法相比,在不损失任何算法精度的前提下,仅增加几个字节的空间开销,速度至少提高3倍。
- 陈为满苏亮高春鸣
- 关键词：时间序列子序列匹配动态时间归整数据流
- 基于服务联盟的Web服务组合模型及方法被引量：3
- 2007年
- 在QoS驱动的Web服务组合中,结合商业应用中服务联盟关系,构造了服务组合的两层关联流程网络结构。基于概率方法建立服务选择的非线性0-1规划模型,并采用遗传算法选取组合服务。仿真分析表明,考虑了服务联盟关系的Web服务组合模型能得到更合理更优的服务组合,获得更好的商业效益。
- 万里平蔡美玲高春鸣
- 关键词：服务联盟遗传算法
