项目简介
项目名称
面向行为约束的可信Web服务组合方法研究
项目批准号
61100058
学科分类
F020106
信息科学部
_计算机科学
_计算机科学的基础理论
_形式化方法
资助类型
信息科学
负责人
范小芹
依托单位
山西大学
批准年份
2011
起止时间
201201-201412
批准金额
22.00万元
摘要
Web服务组合方法是构建面向服务的新一代软件系统的理论基础，具有重要的理论与应用价值。项目拟针对包含功能要求和行为约束的用户需求，深入剖析现有Web服务组合方法存在的不足，进而面向Web服务的内部执行过程和服务间的交互过程，从行为的角度研究可信的Web服务组合方法。研究内容包括：（1）针对用户需求中的行为约束和Web服务内部执行过程中的动态行为信息，研究有效的模型构建方法。(2)面向行为约束研究基于松弛匹配的Web服务发现方法，进而研究行为意识的语义Web服务组合方法。（3）为了提高组合服务执行行为的预期性，面向服务交互过程，从行为、功能等角度研究有效的组合服务形式化验证分析方法。（4）基于上述理论成果，面向电子商务领域研制基于行为的可信服务组合原型系统。本项目的研究成果将有助于丰富和发展Web服务计算理论，同时为企业信息化、Web服务业乃至软件产业提供一定的技术支撑。
评论区 (0)
#插入话题
