您的位置： 专家智库 > >

李喜彤

作品数：8 被引量：44H指数：3
供职机构：清华大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家电子信息产业发展基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 4篇WEB服务
  • 2篇用户
  • 2篇用户需求
  • 2篇生成器
  • 2篇网络
  • 2篇网络服务
  • 2篇文档
  • 2篇服务器
  • 2篇服务器端
  • 2篇测试用例
  • 1篇代码
  • 1篇代码生成
  • 1篇异构
  • 1篇中介器
  • 1篇体系架构
  • 1篇体系结构
  • 1篇企业应用集成
  • 1篇着色PETR...
  • 1篇相容性
  • 1篇逻辑

机构

  • 8篇清华大学
  • 1篇北京科技大学

作者

  • 8篇李喜彤
  • 6篇范玉顺
  • 1篇杜彦华

传媒

  • 1篇计算机集成制...
  • 1篇计算机学报
  • 1篇小型微型计算...
  • 1篇软件学报

年份

  • 2篇2010
  • 2篇2009
  • 3篇2008
  • 1篇2007
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
不确定网络环境中网络服务评价和优选方法
不确定环境中网络服务评价和优选方法，属于网络服务应用技术领域，其特征在于，在服务器端设定一个网络服务描述文档，用测试用例生成器依据网络服务描述文档产生测试用例集，而候选服务发现器根据网络服务描述文档提供候选服务集；可信度...
范玉顺李喜彤
文献传递
Web服务过程建模及其逻辑正确性验证被引量：6
2008年
为研究Web服务过程的逻辑正确性及其形式化验证方法,提出一种基于着色Petri网的Web服务过程模型,给出了逻辑正确性的形式化定义。为验证其正确性,提出通信可达树的概念,借助通信可达树的某些性质来验证服务的逻辑正确性,并给出了正确性判定定理。另外,为了简化组合服务逻辑正确性的验证过程,阐述了组合服务与其子服务之间的内在关系。最后,通过一个应用实例验证了方法的可用性。
李喜彤范玉顺
关键词：WEB服务着色PETRI网
面向服务体系架构在企业应用集成中的研究与应用
李喜彤
关键词：面向服务体系架构企业应用集成
Web服务组合中的服务异构问题研究
李喜彤
关键词：面向服务体系结构WEB服务异构
Web服务流程相容性和相似性分析被引量：29
2009年
服务组合和服务替换是面向服务计算的研究热点,服务流程的相容性和相似性分析是其中的两个密切相关的问题,具有较大实用价值.基于着色Petri网建模Web服务流程,定义服务流程的正确性和相容性.提出服务良构性的概念,证明良构性能够保证组合服务可达终止状态的正确性.在相容性分析的基础上,提出服务流程相似性的定义,证明若新服务与要被替换的服务流程相似,则所进行的替换是上下文无关的,替换后无须再做组合正确性验证,给出相似性的判定算法.文中结论和算法改进了现有服务组合验证和服务替换方法的不足.
李喜彤范玉顺
关键词：WEB服务相容性
不确定网络环境中网络服务评价和优选方法
不确定环境中网络服务评价和优选方法，属于网络服务应用技术领域，其特征在于，在服务器端设定一个网络服务描述文档，用测试用例生成器依据网络服务描述文档产生测试用例集，而候选服务发现器根据网络服务描述文档提供候选服务集；可信度...
范玉顺李喜彤
文献传递
一种Web服务可信度测试方法被引量：2
2008年
在深入分析Web服务不确定性的基础上,提出一种Web服务测试方法.通过引入可信度阈值进行检验,该方法对异常候选服务具有较强的抗干扰性,能够有效测试出候选服务的可信度、每个测试用例的期望标准输出及其测试能力.该方法根据可信度对候选服务进行排序,为服务使用者选择合理的Web服务提供了重要参考依据.该方法不仅可以测试单个Web服务,还能够对组合Web服务进行测试.最后,通过测试实验验证了该方法的可行性和有效性.
李喜彤范玉顺
关键词：WEB服务测试模糊C均值算法
基于模块化可达图的服务组合验证及BPEL代码生成被引量：7
2010年
为了解决基于中介器服务组合方法的状态爆炸和不能自动生成BPEL(business process execution language)的问题,提出了一种基于Petri网模块化可达图的服务组合验证方法.服务组合的Petri网模型通过中介变迁进行模型分割,分别对各个部分构建可达图,再对模块化可达图进行服务组合可行性分析.采用模块化可达图可以大量节省空间开销,有效避免空间爆炸问题.在验证服务组合可行的情况下提出了基于ECA规则形式的BPEL过程代码自动生成方法,也就是将服务组合Petri网模型的中介变迁以及每个服务对外接口的调用或操作都映射生成为ECA规则形式的BPEL代码段.通过对一个电子商务实例进行分析,说明了所提出方法的有效性.
杜彦华范玉顺李喜彤
关键词：中介器ECA规则
全选 清除 导出
共1页<1>
聚类工具0