咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 仪器科学与技术
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 formal verificat...
  • 1 篇 environment onto...
  • 1 篇 web service
  • 1 篇 automatic compos...
  • 1 篇 π calculus

机构

  • 1 篇 academy of mathe...
  • 1 篇 graduate univers...
  • 1 篇 institute of com...
  • 1 篇 institute of sof...

作者

  • 1 篇 2. institute of ...
  • 1 篇 4. graduate univ...
  • 1 篇 hou lishan1 3 ji...
  • 1 篇 3. institute of ...

语言

  • 1 篇 英文
检索条件"作者=HOU Lishan1,3.JIN ZHi1,2.& WU Budan1,4 1. Academy of Mathematics and Systems Science, Chinese Academy of sciences, {2. 100080, china"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Modeling and verifying Web services driven by requirements:An ontology-based approach
收藏
分享
引用
science in{1.(Series F) 2006年 第6期49卷 792-820页
作者： hou lishan1,{1.,{2.,4 1. academy of mathematics and systems science, chinese academy of sciences, Beijing 100080, china 2. Institute of Computing Technology, chinese academy of sciences, Beijing 100080, china 3. Institute of Software, chinese academy of sciences, Beijing 100080, china 4. Graduate University of chinese academy of sciences, Beijing 1.0049, china academy of {1. and {2. science Chinese Academy of Sciences Institute of Computing Technology Chinese Academy of Sciences Institute of Software Chinese Academy of Sciences Graduate University of chinese academy of sciences
Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability desc... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件