一种正确性可保证的自动服务组合方法及系统

摘要

本发明涉及一种正确性可保证的自动服务组合方法及系统，方法包括：获取安全性规范、活性规范和消息映射；将消息映射转化为计算机逻辑公式规范；获取业务处理执行语言文件；将业务处理执行语言文件转化为自动机模型文件；根据自动机模型文件以预设算法构造满足安全性规范、活性规范和消息映射所转换的计算机逻辑公式规范的极大组合服务；输出极大组合服务。本发明无需预先获取经过验证的组合服务规范，只需要提供组合服务规范所满足的正确性性质，从而可以从已有的服务中构造生成满足正确性性质的极大组合服务，降低了组合服务开发的时间与消耗，提高了开发效率和组合服务的正确性。

主权项

一种正确性可保证的自动服务组合方法，其特征在于包括：获取安全性规范、活性规范和消息映射；将所述消息映射转化为计算机逻辑公式规范；获取业务处理执行语言文件；将所述业务处理执行语言文件转化为自动机模型文件；根据所述自动机模型文件以预设算法构造满足所述安全性规范、所述活性规范和所述消息映射所转换的计算机逻辑公式规范的极大组合服务；输出所述极大组合服务。