自动同步机

AutoSyn:一种具有正确性的复合Web服务自动合成的新方法保证了如何自动组合现有Web服务并保证设计的正确性(例如,死锁和未指定的接收的自由度和时间约束)是Web服务中一个重要且具有挑战性的问题。大多数现有的方法需要预先对复合服务的期望行为进行详细规范,然后执行一定形式的验证以保证设计的正确性,这使得合成过程既复杂又耗时。在本文中,我们提出了一种新的方法,称为AutoSyn组成Web服务,其中的正确性是保证在合成过程中。对于给定的一组服务,基于L*算法自动构建一个复合服务,这保证了组合服务是协调服务的最通用方式,从而保证了正确性。我们证明了我们的解决方案的健全性和完整性,并给出了一套优化技术,以减少时间消耗。我们实现了一个自动测试系统的原型系统,并通过实验研究评估了AutoSyn的有效性和效率。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。