[發明專利]一種正確性可保證的自動服務組合方法及系統

無效

• 申請號: 200910235612.8
• 申請日: 2009-09-30
• 公開（公告）號: CN101695079A
• 公開（公告）日: 2010-04-14
• 發明（設計）人: 懷進鵬;杜宗霞;鄧婷;劉旭東;李翔;孫海龍
• 申請（專利權）人: 北京航空航天大學
• 主分類號: H04L29/08
• 分類號: H04L29/08
• 代理公司: 北京同立鈞成知識產權代理有限公司 11205
• 代理人: 劉芳

技術領域

本發明涉及網絡通信領域，特別是一種正確性可保證的自動服務組合方法及系統。

背景技術

近年來，隨著網絡服務(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為本發明一種正確性可保證的自動服務組合方法的第五實施例的流程示意圖；