一种具有正确性保证的组合Web服务自动合成方法
Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性,如没有死锁和未指定的接收以及时态约束等.在现有的研究中,需要在先给出组合服务的详细规范的基础上,进行形式化验证保证设计的正确性,这使得组合过程既复杂又低效.文中提出一种新的、具有正确性保证的自动服务组合方法,并给出相应的服务组合原型系统.该方法基于L*算法实现组合服务的自动构造,并且将服务行为的正确性约束贯彻于构造过程,从而自动保证组合服务的正确性.证明了提出方法的正确性和完备性,并提出了优化技术减少组合时间,提高效率.最后,实现了一个自动服务组合原型系统,实验结果验证了该方法的有效性.
业务协议、合成、组合服务、正确性约束、L*算法
39
TP3(计算技术、计算机技术)
国家高技术研究发展计划（863计划）;国家重点基础研究发展计划（973计划）;国家自然科学基金;NSFC/RGC联合科研基金;新世纪优秀人才支持计划
2010-01-18（万方平台首次上网日期，不代表论文的发表时间）
共13页
990-1002
