课题基金 / 基金详情

大粒度Web服务组合验证研究

批准号：
60873224
项目类别：
面上项目
资助金额：
30.0 万元
负责人：
吴健
依托单位：
浙江大学
学科分类：
计算机网络
结题年份：
2011
批准年份：
2008
项目状态：
已结题
项目参与者：
陈华钧、施炜、金路、陈韩伟、王家忙、朱显杰、叶斌、张凌
关键词：
服务行为大粒度组合验证Web服务

项目摘要

结项摘要

吴健的其他基金

相似基金

相关文献

中文摘要
随着复杂业务流程和组件重用的日益增多，越来越多的组合服务或是功能丰富、内部逻辑复杂的大粒度服务开始出现在软件开发和应用集成中。大粒度服务加快软件开发速度，为软件企业带来竞争优势，但增加了表现形式、内部逻辑和交互过程的复杂度，为服务组合、服务验证带来了新的挑战。本项目在上一个小额资助基金的研究基础上，进一步深入研究服务交互时的状态变迁、过程流转、消息传递等动态行为对服务验证带来的影响。主要研究内容如下：1）通过研究适合当前服务描述语言的大粒度Web服务模型，为解决大粒度Web服务组合验证问题提供模型和理论基础；2）使用Petri网建立由大粒度服务内部业务逻辑控制的过程流程模型，使用π演算建立大粒度服务间交互协议模型；3)研究大粒度服务语法语义兼容性；4）研究大粒度Web服务行为兼容性。本课题工作不仅为大粒度Web服务组合验证提供理论指导，而且对服务组合的正确运行和监控具有重要意义。
英文摘要
FOXM1 通过调控 IDO2 介导的色氨酸耗竭促进胆管癌免疫治疗抵抗的机制研究
  • 批准号：
    LHDMD22H310005
  • 项目类别：
    省市级项目
  • 资助金额：
    0.0万元
  • 批准年份：
    2021
  • 负责人：
    吴健
  • 依托单位：
    浙江大学
面向AI辅助诊断的医学影像标注智能处理技术研究
  • 批准号：
    --
  • 项目类别：
    面上项目
  • 资助金额：
    59万元
  • 批准年份：
    2021
  • 负责人：
    吴健
  • 依托单位：
    浙江大学
WTAP介导的m6A修饰调控肿瘤相关巨噬细胞极化促进肝癌免疫逃逸的机制研究
  • 批准号：
    82073144
  • 项目类别：
    面上项目
  • 资助金额：
    55.0万元
  • 批准年份：
    2020
  • 负责人：
    吴健
  • 依托单位：
    浙江大学
基于新型pH响应性纳米递药系统的肿瘤间质重编程治疗胆管细胞癌的研究
  • 批准号：
    81874228
  • 项目类别：
    面上项目
  • 资助金额：
    57.0万元
  • 批准年份：
    2018
  • 负责人：
    吴健
  • 依托单位：
    浙江大学
国内基金
海外基金