您的位置： 专家智库 > >

李延红

作品数：1 被引量：0H指数：0
供职机构：山东经济学院计算机科学与技术学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇OWL-S
  • 1篇PI演算
  • 1篇WEB
  • 1篇WEB服务组...
  • 1篇WEB服务

机构

  • 1篇山东经济学院

作者

  • 1篇岳厚光
  • 1篇李延红

传媒

  • 1篇信息与电脑（...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于Pi演算的OWl-s的Web服务的自动组合
2011年
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的正确性。针对目前最主要的一种语义Web服务组合的规范WEB本体论语言(Ontology Web Langage-Semantic,简称OWL-S),给出基于Pi演算的形式化描述,定义了Pi演算和OWl-S之间的概念映射,并给出了OWl-S的基于Pi演算的形式化模型,最后通过一个案例给出了模型验证的方法。
李延红岳厚光
关键词：WEB服务WEB服务组合PI演算
全选 清除 导出
共1页<1>
聚类工具0