论文部分内容阅读
针对不包含循环的web服务，提出了一种自动组合的形式化方法。由于web服务行为具有异步性的特点，而状态迁移系统能够恰当地描述这种异步通信，因此利用状态迁移系统来完成对非循环Web服务的自动组合过程。文章中阐述了这一自动组合算法，并通过具体的实例进行了详细解释。该自动组合算法能够解决手动组合非循环Web服务时出现的复杂性，易错性和耗时性等问题。