软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2007年
12期
2980-2990
,共11页
组合Web服务%确定有限自动机%形式化验证
組閤Web服務%確定有限自動機%形式化驗證
조합Web복무%학정유한자동궤%형식화험증
为简化并自动化组合Web服务验证,提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误.与其他方法相比,该方法更适于验证开放式环境下的组合Web服务.
為簡化併自動化組閤Web服務驗證,提齣一種基于擴展有限自動機(extended deterministic finite automata,簡稱EDFA)驗證組閤Web服務的方法.使用EDFA可以準確地描述Web服務:EDFA的狀態錶達Web服務在與用戶交互的過程中維護的狀態;EDFA的狀態轉移及其標註描述Web服務與用戶間的消息交換.EDFA給齣Web服務交互過程的所有消息交換序列,刻畫齣Web服務的動態行為.使用基于EDFA的組閤Web服務驗證方法不但可以驗證組閤Web服務是否滿足繫統需求,還可以驗證組閤Web服務運行過程是否有邏輯錯誤.與其他方法相比,該方法更適于驗證開放式環境下的組閤Web服務.
위간화병자동화조합Web복무험증,제출일충기우확전유한자동궤(extended deterministic finite automata,간칭EDFA)험증조합Web복무적방법.사용EDFA가이준학지묘술Web복무:EDFA적상태표체Web복무재여용호교호적과정중유호적상태;EDFA적상태전이급기표주묘술Web복무여용호간적소식교환.EDFA급출Web복무교호과정적소유소식교환서렬,각화출Web복무적동태행위.사용기우EDFA적조합Web복무험증방법불단가이험증조합Web복무시부만족계통수구,환가이험증조합Web복무운행과정시부유라집착오.여기타방법상비,해방법경괄우험증개방식배경하적조합Web복무.
