[信息收集] 2009年批准的Web服务领域相关基金信息

昨天在国家自然科学基金委员会网站上搜集了一下今年批准的Web服务领域相关基金信息, 有助于了解国内最新的研究趋势.
与Web服务组合直接相关的一共有9个基金项目(粗体), 从名称上看, 有3个是用形式化方法对服务组合进行建模和验证, 有1个是用决策理论对服务组合进行研究, 其他的研究方向包括
"可变性管理, 适应性Web服务组装",
"动态网络环境, 服务快速合成与优化执行",
"自适应, 异常诊断",
"跨机构, 应用一致性",
"软件即服务, 在线组装".
2008年批准的Web服务相关领域的基金信息点这里.
感兴趣的博友可以搜集一下云计算相关的基金项目信息, 那个基金委网站用Firefox打开页面文本可以复制, 用IE的话就不行.

项目批准号/申请代码1 60973013/F020202
项目名称 基于进程网络的Web服务组合建模和验证方法研究
项目负责人 张秀国
依托单位 大连海事大学
批准金额 30
项目起止年月 2010-01至2012-12

项目批准号/申请代码1 60970001/F020106
项目名称 Petri网可重写理论及在服务组合中的应用
项目负责人 庞善臣
依托单位 清华大学
批准金额 30
项目起止年月 2010-01至2012-12

项目批准号/申请代码1 60973149/F020201
项目名称 Web服务组合建模和验证技术研究
项目负责人 李必信
依托单位 东南大学
批准金额 33
项目起止年月 2010-01至2012-12

项目批准号/申请代码1 70901027/G0104
项目名称 服务组合设计的决策理论与方法研究
项目负责人 冯博
依托单位 华南理工大学
批准金额 17.2
年月 2010-01至2012-12

项目批准号/申请代码1 60903003/F020202
项目名称 基于可变性管理的适应性Web服务组装方法研究
项目负责人 孙昌爱
依托单位 北京科技大学
批准金额 19
项目起止年月 2010-01至2012-12

项目批准号/申请代码1 60903042/F020206
项目名称 动态网络环境下服务快速合成与优化执行的算法研究
项目负责人 任开军
依托单位 中国人民解放军国防科学技术大学
批准金额 17
项目起止年月 2010-01至2012-12
(ICWS2009有一篇)

项目批准号/申请代码1 60903008/F020202
项目名称 面向组合服务自适应的主动式分层异常诊断技术研究
项目负责人 代钰
依托单位 东北大学
批准金额 17
起止年月 2010-01至2012-12
(2009年JCST上有一篇)

项目批准号/申请代码1 60903052/F020202
项目名称 跨机构服务组合的应用一致性研究
项目负责人 叶春杨
依托单位 中国科学院软件研究所
批准金额 19
起止年月 2010-01至2012-12

项目批准号/申请代码1 60970131/F020806
项目名称 软件即服务模式下支持在线组装的流程协同问题研究
项目负责人 李厚福
依托单位 中国科学院计算技术研究所
批准金额 25
起止年月 2010-01至2012-12

项目批准号/申请代码1 60903009/F020206
项目名称 知识驱动的服务智能聚合与协同演进技术研究
项目负责人 张锡哲
依托单位 东北大学
批准金额 18
项目起止年月 2010-01至2012-12

项目批准号/申请代码1 60902050/F010201
项目名称 基于服务效用最大化的ICT管理模型、算法和机制
项目负责人 詹志强
依托单位 北京邮电大学
批准金额 21
项目起止年月 2010-01至2012-12

项目批准号/申请代码1 40971238/D010703
项目名称 面向位置服务的自适应邻近地图理论与方法研究
项目负责人 闫超德
依托单位 郑州大学
批准金额 35
项目起止年月 2010-01至2012-12

项目批准号/申请代码1 70972048/G021102
项目名称 移动商务中情景感知服务的认知模型与应变调适机制研究
项目负责人 胥正川
依托单位 复旦大学
批准金额 26
项目起止年月 2010-01至2012-12

项目批准号/申请代码1 60973076/F020606
项目名称 面向网络知识服务的中文动态语义分析关键技术研究
项目负责人 王晓龙
依托单位 哈尔滨工业大学
批准金额 30
项目起止年月 2010-01至2012-12

项目批准号/申请代码1 60902036/F010104
项目名称 服务质量要素驱动的空间信息服务组合执行技术研究
项目负责人 唐宇
依托单位 中国人民解放军国防科学技术大学
批准金额 17
项目起止年月 2010-01至2012-12

项目批准号/申请代码1 60973025/F020201
项目名称 面向服务系统的多角色协同开发方法与实现技术研究
项目负责人 李银胜
依托单位 复旦大学
批准金额 30
项目起止年月 2010-01至2012-12

项目批准号/申请代码1 60973124/F020801
项目名称 基于内容感知主干网的普适计算服务发现关键技术研究
项目负责人 姜守旭
依托单位 哈尔滨工业大学
批准金额 30
起止年月 2010-01至2012-12

项目批准号/申请代码1 60970010/F020201
项目名称 普适计算中可信服务构建的形式化分析与验证
项目负责人 黄林鹏
依托单位 上海交通大学
批准金额 30
起止年月 2010-01至2012-12

项目批准号/申请代码1 60970038/F020304
项目名称 约束条件下基于随机服务模型的网格任务协同调度策略研究
项目负责人 胡志刚
依托单位 中南大学
批准金额 32
起止年月 2010-01至2012-12

项目批准号/申请代码1 70971035/G011202
项目名称 基于网格资源与服务的决策支持方法与决策支持系统的研究
项目负责人 胡小建
依托单位 合肥工业大学
批准金额 25.5
年月 2010-01至2012-12

项目批准号/申请代码1 40971243/D0108
项目名称 语义网络支持的空间处理服务的自动发现和智能组合
项目负责人 樊红
依托单位 武汉大学
批准金额 34
起止年月 2010-01至2012-12

项目批准号/申请代码1 60903021/F020202
项目名称 服务构件安全协同建模与验证方法研究
项目负责人 杜德慧
依托单位 华东师范大学
批准金额 17
起止年月 2010-01至2012-12

项目批准号/申请代码1 50975250/E051002
项目名称 基于语义网格的跨学科制造资源深度挖掘与服务发现研究
项目负责人 张文宇
依托单位 浙江财经学院
批准金额 30
起止年月 2010-01至2012-12

项目批准号/申请代码1 60970132/F0208
项目名称 支持人机一体化的探索式服务组合中的行为验证和智能推荐问题研究
项目负责人 王菁
依托单位 中国科学院计算技术研究所
批准金额 30
起止年月 2010-01至2012-12