计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2010年
10期
3758-3762
,共5页
Web服务编排%Web服务编制%Web服务编排描述语言%Web服务业务流程执行语言%通信序列进程%一致性
Web服務編排%Web服務編製%Web服務編排描述語言%Web服務業務流程執行語言%通信序列進程%一緻性
Web복무편배%Web복무편제%Web복무편배묘술어언%Web복무업무류정집행어언%통신서렬진정%일치성
在Web服务业务流程建模和实现过程中,Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程;Web服务编制描述了单个Web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决Web服务编排和服务编制的一致性验证问题.提出了一种基于CSP(communication sequence process)的Web服务编排语言WS-CDL(Web service choreography description language)和Web服务编制规范WS-BPEL(Web service business process execution language)间的一致性验证方法.该方法将WS-CDL和WS-BPEL均转换为CSP语言;然后基于CSP的模型检测工具PAT(process analysis toolkit)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性.
在Web服務業務流程建模和實現過程中,Web服務編排從全跼角度描述瞭Web服務參與者之間的協作和交互過程;Web服務編製描述瞭單箇Web服務參與者與其他參與者的交互,兩者的結閤能有效提高服務流程建模和實現的效率以及準確性,但必鬚解決Web服務編排和服務編製的一緻性驗證問題.提齣瞭一種基于CSP(communication sequence process)的Web服務編排語言WS-CDL(Web service choreography description language)和Web服務編製規範WS-BPEL(Web service business process execution language)間的一緻性驗證方法.該方法將WS-CDL和WS-BPEL均轉換為CSP語言;然後基于CSP的模型檢測工具PAT(process analysis toolkit)進行兩者的一緻性檢查;最後通過一箇完備的案例對該方法進行瞭驗證,結果錶明瞭該方法的有效性.
재Web복무업무류정건모화실현과정중,Web복무편배종전국각도묘술료Web복무삼여자지간적협작화교호과정;Web복무편제묘술료단개Web복무삼여자여기타삼여자적교호,량자적결합능유효제고복무류정건모화실현적효솔이급준학성,단필수해결Web복무편배화복무편제적일치성험증문제.제출료일충기우CSP(communication sequence process)적Web복무편배어언WS-CDL(Web service choreography description language)화Web복무편제규범WS-BPEL(Web service business process execution language)간적일치성험증방법.해방법장WS-CDL화WS-BPEL균전환위CSP어언;연후기우CSP적모형검측공구PAT(process analysis toolkit)진행량자적일치성검사;최후통과일개완비적안례대해방법진행료험증,결과표명료해방법적유효성.