计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2008年
11期
262-266
,共5页
邓新国%林子禹%陈伟清%肖如良%李玲%房丽娜
鄧新國%林子禹%陳偉清%肖如良%李玲%房麗娜
산신국%림자우%진위청%초여량%리령%방려나
Petri网%模型%BPEL%Web服务
Petri網%模型%BPEL%Web服務
Petri망%모형%BPEL%Web복무
Web服务业务流程执行语言(BPEL)提供了有力的技术来聚合封装的功能以及定义高质量的Web服务,然而,尽管功能强大,但是BPEL却难于使用.另一方面,有色Petri(CPNs)可以用于模拟、分析以及校验Web服务.为了在CPNs协作模型和业务流程的执行之间建立一座桥梁,给出了基于CPNs从过程模型驱动演绎出一致的BPEL代码的方法.首先,把CPNs协作模型转换为结构工作流网模型;然后,把工作流网模转换为BPEL代码,最后,通过电话机故障修理的案例研究,说明了算法的有效性.
Web服務業務流程執行語言(BPEL)提供瞭有力的技術來聚閤封裝的功能以及定義高質量的Web服務,然而,儘管功能彊大,但是BPEL卻難于使用.另一方麵,有色Petri(CPNs)可以用于模擬、分析以及校驗Web服務.為瞭在CPNs協作模型和業務流程的執行之間建立一座橋樑,給齣瞭基于CPNs從過程模型驅動縯繹齣一緻的BPEL代碼的方法.首先,把CPNs協作模型轉換為結構工作流網模型;然後,把工作流網模轉換為BPEL代碼,最後,通過電話機故障脩理的案例研究,說明瞭算法的有效性.
Web복무업무류정집행어언(BPEL)제공료유력적기술래취합봉장적공능이급정의고질량적Web복무,연이,진관공능강대,단시BPEL각난우사용.령일방면,유색Petri(CPNs)가이용우모의、분석이급교험Web복무.위료재CPNs협작모형화업무류정적집행지간건립일좌교량,급출료기우CPNs종과정모형구동연역출일치적BPEL대마적방법.수선,파CPNs협작모형전환위결구공작류망모형;연후,파공작류망모전환위BPEL대마,최후,통과전화궤고장수리적안례연구,설명료산법적유효성.
