您的位置: 专家智库 > >

徐东红

作品数:9 被引量:4H指数:1
供职机构:西安交通大学更多>>
发文基金:国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 4篇专利
  • 2篇期刊文章
  • 2篇会议论文
  • 1篇学位论文

领域

  • 4篇自动化与计算...

主题

  • 3篇本体
  • 2篇语法
  • 2篇语法结构
  • 2篇色组
  • 2篇数据库
  • 2篇精炼
  • 2篇精炼过程
  • 2篇角色
  • 2篇关联函数
  • 2篇复杂度
  • 2篇本体结构
  • 2篇本体库
  • 2篇本体学习
  • 2篇SPI演算
  • 2篇参与者
  • 1篇动态WEB服...
  • 1篇形式化
  • 1篇形式化方法
  • 1篇应用程序
  • 1篇应用程序接口

机构

  • 9篇西安交通大学

作者

  • 9篇徐东红
  • 8篇齐勇
  • 4篇沈林峰
  • 3篇侯迪
  • 2篇张蓓蓓
  • 2篇庄英杰
  • 2篇罗元盛
  • 2篇王坚
  • 2篇林培文
  • 1篇王功振
  • 1篇王功震
  • 1篇候迪
  • 1篇杜小智

传媒

  • 1篇计算机科学
  • 1篇Journa...
  • 1篇2007全国...
  • 1篇2008全国...

年份

  • 1篇2015
  • 2篇2011
  • 2篇2009
  • 2篇2008
  • 2篇2007
9 条 记 录,以下是 1-9
排序方式:
一种基于角色关联的角色组划分方法
一种基于角色关联的角色组划分方法,应用Pi演算的相关理论和流程模型复杂度理论对Choreography中的角色和角色之间的关系进行重新处理以达到WSBPEL执行性能优化。通过设计相关的关联函数和训练科学的阀值对Chore...
齐勇徐东红林培文庄英杰张蓓蓓
文献传递
MAS-based dynamic web service composition formal model被引量:3
2008年
Applying dynamic web services composition is one of the important schemas for solving service-oriented architecture (SOA)and service-oriented computing(SOC).For implementing dynamic web services composition,the multi agent system (MAS)is applied to web services composition.First, the essentials of the MAS and web services composition are analyzed and their relationship is discussed.Secondly, an MAS-based architecture is designed for dynamic web services composition,and it is named as CSMWC.A Jade tool is used to implement the major components.The architecture can primarily implement syntactic level dynamic web services composition,and it gives a basis for semantic level dynamic web services composition.For specifying the correctness of the architecture,by using pi-calculus,the architecture of the MAS is formally described,and its dynamic properties and adaptability are reasoned.Finally,it demonstrates the idea proposed by the Pi4SOA tool.
徐东红齐勇候迪沈林峰杜小智王功震
关键词:PI-CALCULUS
基于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文件的解析后...
齐勇王坚沈林峰罗元盛徐东红
文献传递
共1页<1>
聚类工具0