项目简介
项目名称
面向服务的软件理论、方法及其应用
项目批准号
61033006
学科分类
F020202
信息科学部
_计算机科学
_计算机软件
_软件工程
资助类型
信息科学
负责人
王千祥
依托单位
北京大学
批准年份
2010
起止时间
201101-201412
批准金额
220.00万元
摘要
服务化是网络环境中软件最重要的发展趋势之一，并得到了学术界与产业界的广泛关注和支持。目前人们对软件服务化的认识与实践还比较初步，对于其中所蕴含的理论有待于深入地研究，现有的技术体系与实际服务系统的需求相比尚有较大的距离。本项目拟基于现有的研究成果，针对网络环境中软件服务的动态、开放、不确定和聚众等特征，结合"云计算"等新进展，以建立一套较为完整的软件服务理论与技术体系为目标，开展如下几方面的研究工作：1）软件服务约束的形式化逻辑描述、基于约束的软件服务构造与验证；2）软件服务的在线监测、质量控制、审核、挖掘与推荐技术；3）业务级软件服务的构造、衍生与重构技术；4）服务支持的软件开发、测试与演化技术；5）面向特定领域对所提出的理论与方法进行实际应用与验证。项目在形式化约束描述、服务运行平台的构造技术、用户主导的服务衍生、在线的验证平台等方面具有较为显著的特色。
评论区 (0)
#插入话题
