西安建筑科技大学学报（自然科学版）
西安建築科技大學學報（自然科學版）
서안건축과기대학학보（자연과학판）
JOURNAL OF XI'AN UNIVERSITY OF ARCHITECTURE & TECHNOLOGY
2012年
2期
295-299
,共5页
Web服务组合%BPEL%Petri Net%正确性验证
Web服務組閤%BPEL%Petri Net%正確性驗證
Web복무조합%BPEL%Petri Net%정학성험증
设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Markup Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.
設計瞭一箇基于Petri Net的Web服務組閤流程建模引擎.把BPEL流程的語法元素按其語義轉換為Petri Net模闆,通過模闆組閤來得到整箇流程的Petri Net模型,併以Petri Net標記語言(Petri Net Markup Language,PNML)文件格式來描述Petri Net模型,從而能夠利用現有的支持PNML文件的Petri Net分析工具對流程進行分析,通過對Petri Net的性質驗證來達到對服務流程的驗證目的,以在流程定義階段髮現其存在的問題.實際結果錶明,採用該工具可以確保服務組閤流程設計的正確性,增加服務組閤的可靠性.
설계료일개기우Petri Net적Web복무조합류정건모인경.파BPEL류정적어법원소안기어의전환위Petri Net모판,통과모판조합래득도정개류정적Petri Net모형,병이Petri Net표기어언(Petri Net Markup Language,PNML)문건격식래묘술Petri Net모형,종이능구이용현유적지지PNML문건적Petri Net분석공구대류정진행분석,통과대Petri Net적성질험증래체도대복무류정적험증목적,이재류정정의계단발현기존재적문제.실제결과표명,채용해공구가이학보복무조합류정설계적정학성,증가복무조합적가고성.
