计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
1期
150-156
,共7页
管华%应时%贾向阳%蒋曹清%王一兵
管華%應時%賈嚮暘%蔣曹清%王一兵
관화%응시%가향양%장조청%왕일병
着色Petri网%BPEL(Business Process Execution Language)%异常处理
著色Petri網%BPEL(Business Process Execution Language)%異常處理
착색Petri망%BPEL(Business Process Execution Language)%이상처리
针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法.该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑开发,并依据此建模思想,提出了一个BPEL的异常处理CPN模型的转换工具,用以实现将异常处理的BPEL着色Petri网模型转换成对应的带异常处理的BPEL代码.该工具可在输入的原始的没有异常处理功能的BPEL代码基础上,通过动态地添加BPEL的异常处理语言成份,形成带有异常处理功能的BPEL流程.最后通过引入供应商流程案例,阐述了该方法的具体使用过程.
針對WS-BPEL在麵嚮服務軟件異常處理方麵不夠完善的問題,提齣瞭一種基于著色Petri網描述的BPEL異常處理邏輯開髮方法.該方法利用著色Petri網(CPN)形式化地描述BPEL的異常處理機製,建立BPEL的異常處理CPN模型,指導對BPEL的異常處理邏輯開髮,併依據此建模思想,提齣瞭一箇BPEL的異常處理CPN模型的轉換工具,用以實現將異常處理的BPEL著色Petri網模型轉換成對應的帶異常處理的BPEL代碼.該工具可在輸入的原始的沒有異常處理功能的BPEL代碼基礎上,通過動態地添加BPEL的異常處理語言成份,形成帶有異常處理功能的BPEL流程.最後通過引入供應商流程案例,闡述瞭該方法的具體使用過程.
침대WS-BPEL재면향복무연건이상처리방면불구완선적문제,제출료일충기우착색Petri망묘술적BPEL이상처리라집개발방법.해방법이용착색Petri망(CPN)형식화지묘술BPEL적이상처리궤제,건립BPEL적이상처리CPN모형,지도대BPEL적이상처리라집개발,병의거차건모사상,제출료일개BPEL적이상처리CPN모형적전환공구,용이실현장이상처리적BPEL착색Petri망모형전환성대응적대이상처리적BPEL대마.해공구가재수입적원시적몰유이상처리공능적BPEL대마기출상,통과동태지첨가BPEL적이상처리어언성빈,형성대유이상처리공능적BPEL류정.최후통과인입공응상류정안례,천술료해방법적구체사용과정.