非循环Web服务自动组合

摘要：

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

关键词：非循环、状态迁移系统、信息推导、死锁

所属期刊栏目：37

分类号：TP393(计算技术、计算机技术)

在线出版日期：2009-11-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：54-57