课题基金 / 基金详情

基于服务行为的Web服务合成研究

批准号：
60603025
项目类别：
青年科学基金项目
资助金额：
8.0 万元
负责人：
吴健
依托单位：
浙江大学
学科分类：
计算机科学
结题年份：
2007
批准年份：
2006
项目状态：
已结题
项目参与者：
陈华钧、李莹、邓水光、施炜、殷昱煜、邝砾、瞿伟杰
关键词：
服务行为服务合成..Web服务

项目摘要

结项摘要

项目成果

吴健的其他基金

相似基金

相关文献

中文摘要
随着服务粒度的增大，服务间的交互过程可能相当复杂，服务合成的有效性和兼容性将难以得到保证。本项目通过研究服务交互时的状态变迁、过程流转、消息传递等动态行为，对建立完善的Web服务合成模型、验证服务间的等价性和兼容性、提高服务查询匹配准确率、提高服务合成有效性和可用性等都具有重要意义。本项目采用PI演算和类型理论等形式语义学方法对基于服务行为的服务合成进行研究。首先，扩展标准PI演算理论，使其具备刻画服务行为与服务的交互模式的能力，实现Web服务行为的形式化建模。其次，基于Web服务行为，结合服务合成的上下文环境，提出Web服务完全兼容和部分兼容理论，以及相应的判定算法和计算模型。同时，在此基础上提出服务行为相似度量化方法和考虑了服务行为的高性能服务搜索算法。此外，对基于服务行为的服务合成与验证算法的实用性和正确性、以及算法效率进行理论分析和试验论证。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
基于回溯树的Web服务自动组合
DOI： --
发表时间： --
期刊： 软件学报. 18(8).1912-1921,2007. (EI收录)
影响因子： --
作者： []
通讯作者：
使用倒排索引优化面向组合的服务
DOI： --
发表时间： --
期刊： 软件学报.18(8).1896-1910,2007. (EI收录)
影响因子： --
作者： []
通讯作者：
Web服务行为兼容性的判定与计算
DOI： --
发表时间： --
期刊： 软件学报.18(12).3001-3014,2007. (EI收录)
影响因子： --
作者： []
通讯作者：
FOXM1 通过调控 IDO2 介导的色氨酸耗竭促进胆管癌免疫治疗抵抗的机制研究
  • 批准号：
    LHDMD22H310005
  • 项目类别：
    省市级项目
  • 资助金额：
    0.0万元
  • 批准年份：
    2021
  • 负责人：
    吴健
  • 依托单位：
    浙江大学
面向AI辅助诊断的医学影像标注智能处理技术研究
  • 批准号：
    --
  • 项目类别：
    面上项目
  • 资助金额：
    59万元
  • 批准年份：
    2021
  • 负责人：
    吴健
  • 依托单位：
    浙江大学
WTAP介导的m6A修饰调控肿瘤相关巨噬细胞极化促进肝癌免疫逃逸的机制研究
  • 批准号：
    82073144
  • 项目类别：
    面上项目
  • 资助金额：
    55.0万元
  • 批准年份：
    2020
  • 负责人：
    吴健
  • 依托单位：
    浙江大学
基于新型pH响应性纳米递药系统的肿瘤间质重编程治疗胆管细胞癌的研究
  • 批准号：
    81874228
  • 项目类别：
    面上项目
  • 资助金额：
    57.0万元
  • 批准年份：
    2018
  • 负责人：
    吴健
  • 依托单位：
    浙江大学
国内基金
海外基金