徐东红
- 作品数:9 被引量:4H指数:1
- 供职机构:西安交通大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于角色关联的角色组划分方法
- 一种基于角色关联的角色组划分方法,应用Pi演算的相关理论和流程模型复杂度理论对Choreography中的角色和角色之间的关系进行重新处理以达到WSBPEL执行性能优化。通过设计相关的关联函数和训练科学的阀值对Chore...
- 齐勇徐东红林培文庄英杰张蓓蓓
- 文献传递
- 基于MAS系统的动态web服务组合形式化建模研究(英文)被引量:3
- 2008年
- 动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.
- 徐东红齐勇候迪沈林峰杜小智王功震
- 关键词:动态WEB服务组合MASPI演算进程代数
- 基于MAS系统的动态Web服务组合建模研究
- 讨论了MAS系统和Web服务组合的关系,指出MAS与Web服务组合在本质上的相关性。其次,从Web服务组合这一全新的角度构建了MAS体系结构,命名为CSMWC,并对其组成进行说明。
- 徐东红齐勇侯迪沈林峰
- 关键词:动态WEB服务组合网络结构MAS系统
- 文献传递
- 基于扩展Spi演算的服务组合语言形式化基础及相关问题研究
- 徐东红
- 关键词:ORCHESTRATIONCHOREOGRAPHYSPI演算映射
- 一种基于角色关联的角色组划分方法
- 一种基于角色关联的角色组划分方法,应用Pi演算的相关理论和流程模型复杂度理论对Choreography中的角色和角色之间的关系进行重新处理以达到WSBPEL执行性能优化。通过设计相关的关联函数和训练科学的阀值对Chore...
- 齐勇徐东红林培文庄英杰张蓓蓓
- 文献传递
- 一种基于改进的语义距离的Web服务匹配方法
- 随着网络上Web服务的增多,如何从大量的Web服务中全面、准确的找到满足需求的Web服务变得越来越重要.目前的Web服务发现机制主要基于UDDI规范。然而,在UDDI机制中,服务的描述是基于语法的,不舍语义,从而不是机器...
- 徐东红王功振齐勇侯迪
- 关键词:WEB服务查准率语义匹配语义距离本体推理
- 文献传递
- 一种基于本体学习的Web服务语义提取方法
- 基于本体学习的Web服务语义提取方法,首先提取当前WSDL文件中的语义信息:通过读取WSDL文件中的类型定义信息,对每个类型依次进行语法结构以及类型定义结构的解析,建立相应的本体结构;其次在完成对当前WSDL文件的解析后...
- 齐勇王坚沈林峰罗元盛徐东红
- 文献传递
- SPI演算规范的建模、实现验证研究被引量:1
- 2007年
- 针对安全协议安全属性是否满足,缺乏有效性能评价方法的现状,大都使用SPI演算或相近的进程代数方法进行建模。利用这种方法不仅能够有效地形式化描述安全协议,并且能够对安全协议进行多方面的系统评价,但基本上没有说明怎么样寻找设计合适的验证工具,验证其安全属性实现的正确性。本文引入基于SPI演算的验证工具SPRITE来保证建模过程正确性,并设计给出实现映射的具体方法。本方法通过对典型的WOO-LAM单向认证协议予以说明,最后SPRITE产生的具体JAVA代码,给出了安全协议的安全属性,使形式化描述的协议的安全属性是否满足更接近于人的理解而不仅只是机器的解释。
- 徐东红齐勇侯迪
- 关键词:形式化方法进程代数安全协议SPI演算
- 一种基于本体学习的Web服务语义提取方法
- 基于本体学习的Web服务语义提取方法,首先提取当前WSDL文件中的语义信息:通过读取WSDL文件中的类型定义信息,对每个类型依次进行语法结构以及类型定义结构的解析,建立相应的本体结构;其次在完成对当前WSDL文件的解析后...
- 齐勇王坚沈林峰罗元盛徐东红
- 文献传递