|
|||||
|
|
| 一种具有正确性保证的组合Web服务自动合成方法 | |
| 作者姓名： | 怀进鹏 邓婷 李先贤 杜宗霞 郭慧鹏 |
| 作者单位： | 软件开发环境国家重点实验室;北京航空航天大学计算机学院 |
| 基金项目： | 国家高技术研究发展计划(批准号:2007AA010301);国家重点基础研究发展规划(批准号:2005CB321803);国家杰出青年科学基金(批准号:60525209);NSFC/RGC联合科研基金(批准号:60731160632);新世纪优秀人才支持计划(批准号:NCET-05-0186)资助项目 |
| 摘 要： | Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性,如没有死锁和未指定的接收以及时态约束等.在现有的研究中,需要在先给出组合服务的详细规范的基础上,进行形式化验证保证设计的正确性,这使得组合过程既复杂又低效.文中提出一种新的、具有正确性保证的自动服务组合方法,并给出相应的服务组合原型系统.该方法基于L~*算法实现组合服务的自动构造,并且将服务行为的正确性约束贯彻于构造过程,从而自动保证组合服务的正确性.证明了提出方法的正确性和完备性,并提出了优化技术减少组合时间,提高效率.最后,实现了一个自动服务组合原型系统,实验结果验证了该方法的有效性. |
| 关 键 词： | 业务协议 合成 组合服务 正确性约束 L~*算法 |
| 本文献已被 维普 等数据库收录！ | |