摘要
针对不包含循环的Web服务,提出了一种自动组合的形式化方法。由于Web服务行为具有异步性的特点,而状态迁移系统能够恰当地描述这种异步通信,因此利用状态迁移系统来完成对非循环Web服务的自动组合过程。文章中阐述了这一自动组合算法,并通过具体的实例进行了详细解释。该自动组合算法能够解决手动组合非循环Web服务时出现的复杂性,易错性和耗时性等问题。
A formal approach for the automated composition of Web services has been proposed which＇s behavior is intrinsically asynchronous. By use the state transition system to describe the Web services, which can model asynchronous behavior rightly, this paper give the algorithm for automated composition of Web services and explain it using motivating example. The formal approach can scale up to significant cases, i.e. to cases in which the manual development of the composite application is difficult, error-prone and time-consuming.
出处
《计算机与数字工程》
2009年第9期54-57,共4页
Computer & Digital Engineering
