论文部分内容阅读
Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性,如没有死锁和未指定的接收以及时态约束等.在现有的研究中,需要在先给出组合服务的详细规范的基础上,进行形式化验证保证设计的正确性,这使得组合过程既复杂又低效.文中提出一种新的、具有正确性保证的自动服务组合方法,并给出相应的服务组合原型系统.该方法基于L~*算法实现组合服务的自动构造,并且将服务行为的正确性约束贯彻于构造过程,从而自动保证组合服务的正确性.证明了提出方法的正确性和完备性,并提出了优化技术减少组合时间,提高效率.最后,实现了一个自动服务组合原型系统,实验结果验证了该方法的有效性.
One of the most challenging and challenging issues in Web service applications is how to automatically combine existing Web services and ensure the correctness of the combination, such as no deadlock and unspecified reception and temporal constraints, etc. In the existing research, It is necessary to give a detailed specification of the composite service firstly and carry out formal verification to ensure the correctness of the design, which makes the combination process complicated and inefficient.This paper proposes a new automatic service composition method with correctness assurance , And gives the corresponding service composition prototype system.This method realizes the automatic construction of composite service based on L ~ * algorithm, and carries out the correctness of service behavior in construction process so as to guarantee the correctness of composite service automatically. The correctness and completeness of the method, and puts forward the optimization technique to reduce the combination time and improve the efficiency.Finally, an automatic service composition prototype system is implemented, and the experimental results verify the effectiveness of the method.