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