基于Petri网的动态Web服务组合建模

基于广义随机Petri网,提出了一种动态Web服务组合建模的方法.利用广义随机Petri网(GSPN)以及OWL-S组合过程对Web服务组合过程构建动态组合模型,实现Web服务的动态组合.并通过一个实例证明该方法的可行性.与现有的方法相比,该方法可以更有效地描述动态Web服务组合.     

动态Web服务组合研究

Web服务作为一种崭新的分布式计算模型,是Web上数据和信息集成的有效机制。动态Web服务组合作为一种灵活、快速集成信息的重要方法,成为开放异构环境中复杂分布应用的新的研究热点。本文首先分析了几种Web服务描述方式并给出了动态Web服务组合定义及模式;其次,结合目前存在的一些组合平台和框架,重点分析了基于工作流和基于AI规划的动态Web服务组合原理与典型应用,并分析了其它相关的一些动态Web服务组合策略;最后提出了动态Web服务组合面临的挑战和进一步的研究方向。     

基于IBAS的SAML路径验证协议

在Web服务认证调用过程中,现有基于公钥基础设施(PKI)的签名机制在保证安全声明标记语言(SAML)断言的安全传递时会显著降低SOAP消息的传输效率。为此,提出基于身份聚合签名的SAML路径验证协议IBSPV,通过缩短签名值和验证公钥的长度,加快 SOAP消息的传输速度。在随机预言模型下分析证明IBSPV具有保证SAML断言的完整性、源不可伪造性以及传递路径不可篡改和抗 重放攻击等安全特性。通过比较IBSPV签名与PKI签名的断言长度,证明IBSPV协议具有更高的传输效率。     

反例引导的模型检验工具的设计

针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法.设计了模型的抽象、组合、检验和精化算法,开发了一款基于反例引导的、图形化的模型检验工具,使用Kripke结构建立模型,用LTL描述性质,从而表明了反例引导的模型检验方法的过程.     

基于随机Petri网的服务组合可协调性研究

提出了一种基于随机Petri的服务组合间可协调性研究方法。首先,给出了服务以及服务系统的定义;然后,在服务以及服务组合可协调性定义的基础上给出了可协调行分析算法;最后,以一个电子物流系统为例,在随机Petri网建模的基础下给出了服务组合间的可协调性研究方法。     

一种基于干扰估计的虚拟功能服务链创建及部署方法

针对网络功能虚拟化中服务链性能受到负载干扰的问题,提出一种考虑虚拟功能间干扰的虚拟功能服务链部署方法。首先,基于CPU利用率和I/O带宽对虚拟功能干扰度进行估计;然后,构建虚拟功能部署和链路创建模型,从链路速率、节点数量、延迟等角度提出了服务链部署优化目标;最后,以干扰度估计结果为依据,根据模拟退火思想提出一种服务链功能组合和选择方法,并利用部署模型将链路实例化。实验结果表明,和现有方法相比,本文方法能够有效提高服务链的执行性能并满足部署优化目标。     

一种用户为中心、基于多视图合成的服务组合方法

用户为中心的服务组合旨在直接地反映用户需求、提高建模灵活性和降低应用构建成本.然而,当前的用户编程方法仍然存在挑战:一方面传统方法以服务为基本元素,忽视了应用背后的业务数据,用户难以从熟知的业务数据角度表达建模需求;另一方面传统方法以控制流为中心,需要精确描述组合细节,非专业的用户不易理解和操作且难以表达业务约束.文中...     

基于扩展语义接口的Web服务动态组合方法

自动地根据用户请求进行服务的动态组合是目前Web服务领域的关键问题.针对该问题,提出了一种基于本体的服 务动态组合方法,设计并实现了一个服务动态组合原型.首先Web服务按照一定规则被抽象为本体模型,然后通过分析所 构造服务的模型来实现服务的匹配,最后利用BPEL4ws对匹配生成的服务组合序列来进行自动的组合.实验结果表明,该 方法细化了服务接口的语义,并且在发现结果上有更高的准确性.     

基于目标距离评估的启发式Web Services组合算法

随着可用Web Services数量的快速增长,如何根据用户的需求来自动组合Web Services,生成满足用户需求的组合业务,成为一项亟待解决的课题.提出了一种基于用户需求目标距离评估的启发式算法,通过该算法,动态调用Web Services来自动生成满足用户所需目标的Web Service组合,同时,该算法还能够根据Web Services组合经验,对以后的Web Services组合方案进行调整.实验结果表明:该算法能够很好地适应网络上Web Services的不稳定情况,与同类算法进行性能比较,也显示出基于目标距离评估的算法具有较好的性能.     

TRIP钢中合金元素的作用和处理工艺的研究进展

 为了给TRIP钢的试制提供参考,对各种合金元素在TRIP钢中的作用进行了描述,并介绍了热轧和冷轧TRIP钢的处理工艺。认为TRIP钢的研究、生产、应用与双相钢相似,能生产双相钢的生产线即可生产TRIP钢。为生产符合我国国情的TRIP钢,应加强微合金元素钒、钛在TRIP钢中作用的基础研究。