一种Web服务组合的数学模型 (2007年)

1047521767

为了更好地分析和验证Web服务组合，提出了一种描述服务间消息交互的Web服务组合数学模型。首先定义了个体服务形式化模型，并分析了相关性质，然后定义了消息交互的各种逻辑以及服务组合模式，并对消息交互逻辑进行了分析和实现，在此基础上，给出了服务组合模型的定义，并通过个体服务控制器、消息逻辑控制和全局控制算法实现了Web服务组合过程。该模型简洁灵活，具有可扩展性。实例分析表明，该模型能够对服务组合中的消息交互进行模拟。