基于日志的Web組合服務交互行為一致性分析研究.pdf

1、學校代碼：10126分類號：亞393逝論文題目學號：編號：基于日志的web組合服務交互行為一致性分析研究學院：讓篡扭堂醫(yī)專業(yè)：讓篡扭拉丕研究方向：筮鮭建甚皇型達姓名：王萱羞指導教師：割玉掛副數(shù)攫2015年6月3日內(nèi)蒙古大學碩士學位論文基于日志的Web組合服務交互行為一致性分析研究摘要隨著信息技術的發(fā)展，越來越多的信息以W曲服務的形式提供給用戶。然而單個Wreb服務功能有限，因此需要構(gòu)造組合服務來實現(xiàn)功能多樣化。但是將單個Wcb服務組合以

2、后，可能會引發(fā)Web組合服務交互行為與BPEL流程規(guī)約之間不一致的問題。本文對W曲組合服務的行為進行一致性驗證就是為了保證組合服務實際運行時的交互行為符合BPEL流程規(guī)約，主要研究內(nèi)容介紹如下：第一，為基于BPEL格式的Wreb組合服務規(guī)約建立了接口自動機模型，并對該模型的形式化定義進行了擴展。本文的建模方法考慮了流程的行為約束和數(shù)據(jù)約束兩個方面。第二，通過l094j技術來獲取Web組合服務實際運行的交互行為日志信息，并將信息存儲到lo