[发明专利]一种正确性可保证的自动服务组合方法及系统

说明书

技术领域

本发明涉及网络通信领域，特别是一种正确性可保证的自动服务组合方法及系统。

背景技术

近年来，随着网络服务(Web Services，简称Web服务)标准和技术的日益成熟和推广使得面向服务的计算(Service-oriented Computing，简称SOC)逐渐成为构建分布式应用系统的一种新的计算模式。越来越多的Web服务被开发并公布在互联网上，一般地，服务被公布时公开了其服务描述，主要包括用网络服务描述语言(Web Service Description Language，简称WSDL)描述的接口描述和业务处理执行语言(Business Process Execution Language，简称BPEL)描述的协议描述。如何集成和组合这些已有的服务实现更高层的功能聚合，从而满足用户或开发者的应用需求已成为Web服务技术应用的关键问题。

目前，国内外研究机构和工业界提出了许多Web服务的组合方法，这些方法主要包括工作流以及基于人工智能中的逻辑推理、规划和定理证明等自动组合方法，使用的形式化模型包括自动机、Petri网和进程代数等。

在实现本发明过程中，发明人发现现有技术中至少存在如下问题：上述这些方法中一般都需要用户或开发者提供详细的组合服务规范，例如：使用步琪(Buchi)自动机建模的会话协议(Conversation Protocols)、有限状态机建模的业务协议(Business Protocols)、或直接用BPEL书写的抽象流程等。这给用户或开发者带来了一定的难度：首先用户或开发者为了提供完全正确和完备的组合服务规范，必须要先对提供的规范进行验证；其次组合服务规范有可能是不可实现的，即找不到所需的组件服务能组合成满足组合服务规范的组合服务；再者即使组合服务规范是正确和可实现的，由于组件服务是由不同的开发者所提供的，使得服务之间存在着异构性，因此经常会出现服务不匹配的情况，需要进一步处理来实现服务之间的适配；最后由于用户需求的动态变化，使得开发者不得不重新编写业务流程。

发明内容

本发明实施例提供一种正确性可保证的自动服务组合方法及系统，根据给定的服务集合和组合需求构造生成一个满足组合需求的组合服务，无需预先获取经过验证的组合服务规范，降低组合服务开发的时间与消耗，提高开发效率和组合服务的正确性。

本发明实施例提供了一种正确性可保证的自动服务组合方法，包括：

获取安全性规范、活性规范和消息映射；

将所述消息映射转化为计算机逻辑公式规范；

获取业务处理执行语言文件；

将所述业务处理执行语言文件转化为自动机模型文件：

根据所述自动机模型文件以预设算法构造满足所述安全性规范、所述活性规范和所述消息映射所转换的计算机逻辑公式规范的极大组合服务；

输出所述组合服务。

本发明实施例还提供了一种正确性可保证的自动服务组合系统，包括：

第一获取模块，用于获取安全性规范、活性规范和消息映射；

第一转化模块，用于将所述消息映射转化为计算机逻辑公式规范；

第二获取模块，用于获取业务处理执行语言文件；

第二转化模块，用于将所述业务处理执行语言文件转化为自动机模型文件；

组合模块，用于根据所述自动机模型文件以预设算法构造满足所述安全性规范、所述活性规范和所述消息映射转换的计算机逻辑公式规范的极大组合服务；

输出模块，用于输出所述极大组合服务。

由上述技术方案可知，本发明实施例能够根据给定的服务集合和组合需求构造生成一个满足组合需求的极大组合服务，无需预先获取经过验证的组合服务规范，只需要提供组合服务规范所满足的正确性性质，从而可以从已有的服务中构造生成满足正确性性质的极大组合服务，降低了组合服务开发的时间与消耗，提高了开发效率和组合服务的正确性。

下面结合附图对本发明的具体实施例作进一步详细的说明。

附图说明

图1为本发明一种正确性可保证的自动服务组合方法的第一实施例的流程示意图；

图2为本发明一种正确性可保证的自动服务组合方法的第二实施例的流程示意图；

图3为本发明一种正确性可保证的自动服务组合方法的第三实施例的流程示意图；

图4为本发明一种正确性可保证的自动服务组合方法的第四实施例的流程示意图；

图5为本发明一种正确性可保证的自动服务组合方法的第五实施例的流程示意图；