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

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

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