软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2011年
6期
1185-1198
,共14页
柳溪%杨璐%潘敏学%王林章
柳溪%楊璐%潘敏學%王林章
류계%양로%반민학%왕림장
Web服务%场景规约%行为调控%BPEL%Petri网%自动机
Web服務%場景規約%行為調控%BPEL%Petri網%自動機
Web복무%장경규약%행위조공%BPEL%Petri망%자동궤
提出了一个场景驱动的服务行为调控途径.首先,用UML顺序图模型作为场景规约以描述用户对服务行为的需求,并且基于目标服务的BPEL行为规约,构造表示服务行为的BPEL-Petri网模型(简称BPN模型);其次,基于并发变迁分析BPN模型上表示服务行为的路径,并通过遍历BPN模型获取包含UML顺序图描绘场景的服务行为集合;最后,根据行为分析的结果构建了调控服务,通过在运行时监听、检查并过滤用户与目标服务的消息交互,从目标服务中抽取或过滤顺序图描绘的场景.在此基础上,开发了原型工具BASIS,以支撑场景驱动的服务行为调控途径,并通过实例研究展示了该方法的可行性.
提齣瞭一箇場景驅動的服務行為調控途徑.首先,用UML順序圖模型作為場景規約以描述用戶對服務行為的需求,併且基于目標服務的BPEL行為規約,構造錶示服務行為的BPEL-Petri網模型(簡稱BPN模型);其次,基于併髮變遷分析BPN模型上錶示服務行為的路徑,併通過遍歷BPN模型穫取包含UML順序圖描繪場景的服務行為集閤;最後,根據行為分析的結果構建瞭調控服務,通過在運行時鑑聽、檢查併過濾用戶與目標服務的消息交互,從目標服務中抽取或過濾順序圖描繪的場景.在此基礎上,開髮瞭原型工具BASIS,以支撐場景驅動的服務行為調控途徑,併通過實例研究展示瞭該方法的可行性.
제출료일개장경구동적복무행위조공도경.수선,용UML순서도모형작위장경규약이묘술용호대복무행위적수구,병차기우목표복무적BPEL행위규약,구조표시복무행위적BPEL-Petri망모형(간칭BPN모형);기차,기우병발변천분석BPN모형상표시복무행위적로경,병통과편력BPN모형획취포함UML순서도묘회장경적복무행위집합;최후,근거행위분석적결과구건료조공복무,통과재운행시감은、검사병과려용호여목표복무적소식교호,종목표복무중추취혹과려순서도묘회적장경.재차기출상,개발료원형공구BASIS,이지탱장경구동적복무행위조공도경,병통과실례연구전시료해방법적가행성.