摘要：本發明公開了一種基于Pi演算的分布式流程驗證系統，至少包括如下模塊：BPEL語言編輯模塊，BPEL語言到Pi演算的轉換模塊；Pi演算編輯模塊；Pi演算驗證模塊；死鎖原因顯示模塊，所述BPEL語言編輯模塊、BPEL語言到Pi演算的轉換模塊、Pi演算編輯模塊、Pi演算驗證模塊和死鎖原因顯示模塊依次相連接。本發明的驗證方法：用BPEL語言描述將要部署的流程；對用BPEL語言描述的流程進行轉換，得到若干個Pi演算流程；對得到的Pi演算流程進行改寫；采用Pi演算的規約理論進行死鎖檢查；用文本文件解釋死鎖狀態。本發明可以驗證用BPEL語言描述的分布式流程是否存在死鎖，并精確定位死鎖位置，保證在把流程部署到真實環境之后，流程運行的正確性。
- 專利類型發明專利
- 申請人西北大學;
- 發明人郭小群;侯紅;丁劍潔;
- 地址710127 陜西省西安市長安區學府大道1號
- 申請號CN201010609285.0
- 申請時間2010年12月28日
- 申請公布號CN102043681A
- 申請公布時間2011年05月04日
- 分類號G06F11/00(2006.01)I;
教育裝備采購網在線客服
京公網安備11010802043465號
