非循环Web服务自动组合
李磊
解金刚
宋辉
1.国防科学技术大学计算机学院,长沙,4100732.国防科学技术大学计算机学院,长沙,4100733.国防科学技术大学计算机学院,长沙,410073
摘要：针对不包含循环的Web服务,提出了一种自动组合的形式化方法.由于Web服务行为具有异步性的特点,而状态迁移系统能够恰当地描述这种异步通信,因此利用状态迁移系统来完成对非循环Web服务的自动组合过程.文章中阐述了这一自动组合算法,并通过具体的实例进行了详细解释.该自动组合算法能够解决手动组合非循环Web服务时出现的复杂性,易错性和耗时性等问题.
关键词：非循环状态迁移系统信息推导死锁
分类号：TP393(计算技术、计算机技术)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 54-57 )
英文信息