本文選題：Web服務(wù)組合　切入點(diǎn)：行為建模　出處：《武漢大學(xué)》2014年博士論文　論文類型：學(xué)位論文

【摘要】：Web服務(wù)可用來實(shí)現(xiàn)應(yīng)用程序在互聯(lián)網(wǎng)上的互操作,它已成為一種極具發(fā)展?jié)摿Φ姆植际骄W(wǎng)絡(luò)應(yīng)用集成技術(shù)。對(duì)組合服務(wù)的研究,不僅可以實(shí)現(xiàn)行業(yè)內(nèi)服務(wù)的有效使用,也可以幫助行業(yè)服務(wù)擁有者將業(yè)務(wù)擴(kuò)大化,提升業(yè)務(wù)價(jià)值。Web服務(wù)組合要實(shí)現(xiàn)的最終目的是希望能開發(fā)出高質(zhì)量和滿足用戶需求的服務(wù)組合系統(tǒng)。而系統(tǒng)能否滿足用戶需求,本質(zhì)上是由實(shí)際執(zhí)行的具體行為所決定的,也就是說,執(zhí)行行為的正確與否決定了系統(tǒng)能否滿足用戶需求。 本論文從理論研究和實(shí)踐結(jié)合兩個(gè)方面著手,研究探索了服務(wù)組合的形式化建模、驗(yàn)證以及模型驅(qū)動(dòng)的可視化技術(shù)。采用基于行為描述語言的建模方法,可以抽象化流程中的服務(wù)行為,這些行為是關(guān)系著不同的Web服務(wù)之間的通信和交互的,對(duì)建立的行為模型可以進(jìn)一步進(jìn)行相關(guān)特性的驗(yàn)證,這對(duì)后續(xù)組合服務(wù)能否正確執(zhí)行并成功實(shí)現(xiàn)用戶既定的目標(biāo)提供了理論依據(jù)。在此基礎(chǔ)之上進(jìn)行的模型驅(qū)動(dòng)的行為模型可視化的研究,可以實(shí)現(xiàn)讓不同知識(shí)背景的用戶更直觀準(zhǔn)確的掌握行為模型中復(fù)雜的行為交互,以保證后續(xù)開發(fā)過程的高效性和表達(dá)的準(zhǔn)確性。本論文的主要工作如下： (1)建立了基于BPEL4WS的形式化服務(wù)組合行為模型WSBM,該模型以行為描述語言BDL為基礎(chǔ),給出了BPEL4WS到BDL的轉(zhuǎn)換與建模方法。使用行為描述語言BDL可以建立一個(gè)形式化的行為模型,通過對(duì)BPEL4WS描述的Web服務(wù)組合系統(tǒng)與BDL模型進(jìn)行分析和比較,能夠?qū)⒎⻊?wù)組合系統(tǒng)中的概念和元素與BDL模型中的概念和元素對(duì)應(yīng)起來。由變換語義學(xué)的概念,這樣建立起來的形式化服務(wù)組合行為模型WSBM繼承了BDL的基本語法和語義。 (2)構(gòu)造出了形式化服務(wù)組合行為模型WSBM的模擬執(zhí)行過程。在構(gòu)造的過程中,從初始狀態(tài)出發(fā),通過追蹤復(fù)合行為表達(dá)式的變化,得出WSBM形式化模型在每個(gè)狀態(tài)下的遷移事件集合,并獲得他們之間的映射關(guān)系,最終得到模型的運(yùn)行軌跡。并給出了模擬執(zhí)行模型的語義正確性證明,使用標(biāo)記遷移系統(tǒng)作為其操作語義,描述了WSBM模型的狀態(tài)演化過程,構(gòu)造了一個(gè)等價(jià)的執(zhí)行模型來描述行為模型的運(yùn)行軌跡,對(duì)系統(tǒng)進(jìn)行語義檢查。 (3)進(jìn)行了Web服務(wù)組合形式化模型的特性分析驗(yàn)證。由于Web服務(wù)的可復(fù)用的概率非常高,因此一個(gè)組合服務(wù)如果在未經(jīng)過驗(yàn)證以前就發(fā)布出去,一旦出現(xiàn)錯(cuò)誤,付出的代價(jià)將會(huì)很大。因此在組合流程發(fā)布之前要對(duì)其進(jìn)行驗(yàn)證�？梢圆捎眯问交Ｅc驗(yàn)證的方法,通過模型的語法以及語義規(guī)則來表示和建立需求模型及其執(zhí)行模型,并通過對(duì)目標(biāo)系統(tǒng)的特性分析,最終驗(yàn)證目標(biāo)系統(tǒng)所能滿足的相關(guān)特性。本文研究了Web服務(wù)組合的驗(yàn)證問題,提出了服務(wù)組合匹配性驗(yàn)證方法。該方法能夠在服務(wù)部署前發(fā)現(xiàn)組合邏輯上潛在的行為不匹配性,從而提高了服務(wù)組合的健壯性和用戶滿意度。并且通過一個(gè)實(shí)際案例驗(yàn)證了本方法的正確性和有效性。 (4)以web服務(wù)組合的行為模型驅(qū)動(dòng)的組合行為交互表達(dá)的可視化方法。 通過形式化建模和驗(yàn)證,系統(tǒng)的相關(guān)特性已經(jīng)得到了保證。然而要讓用戶通過閱讀和理解模型的語法甚至語義規(guī)則來了解需求模型仍然是一件困難的事情。一種較好的方法是采用可視化的技術(shù),將模型形象地表達(dá)出來,使用戶能夠直觀地認(rèn)識(shí)和理解需求模型。本文通過對(duì)具體Web Service實(shí)例的形式化模型,轉(zhuǎn)換為對(duì)其組合的可視化動(dòng)畫形式。在建立了組合服務(wù)行為模型后,首先使用模型轉(zhuǎn)換的方法將行為模型轉(zhuǎn)換成狀態(tài)機(jī),以作為需求動(dòng)畫的模型。再根據(jù)需要選擇需求可視化描述的實(shí)體集,并選擇對(duì)應(yīng)的圖形和圖片以直觀地表達(dá)所選擇的實(shí)體。然后,根據(jù)所選擇的實(shí)體集,利用狀態(tài)抽取的方法從模型中提取該演示范圍內(nèi)與這些實(shí)體對(duì)應(yīng)的狀態(tài)塊,并將每個(gè)狀態(tài)塊中的遷移與提供的動(dòng)作原語進(jìn)行關(guān)聯(lián),作為行為的可視化描述。當(dāng)狀態(tài)機(jī)執(zhí)行時(shí),驅(qū)動(dòng)動(dòng)畫引擎根據(jù)狀態(tài)塊中對(duì)應(yīng)的遷移,調(diào)用相關(guān)聯(lián)的動(dòng)作原語,控制與對(duì)象關(guān)聯(lián)的圖形運(yùn)動(dòng),從而直觀地表現(xiàn)出模型所描述的行為過程。
[Abstract]:The interoperability of Web services can be used to implement the application on the Internet, it has become a distributed network application integration technology has great potential for development. Research on the combination of services, not only can realize the effective use of the service industry, service industry can also help the owner to expand business, enhance the ultimate purpose of business value of.Web service to implement the combination is to develop high quality and meet the needs of users of the service composition system. The system can meet the needs of users, is essentially determined by the actual implementation of the specific behavior, that is to say, the implementation of the validity of the system can meet the needs of users.
This paper from the two aspects of theoretical research and practice, research the formal modeling of service composition, visualization technology and model driven verification. The behavior modeling method based on language, can the service behavior abstraction process, these behaviors is the relationship between different Web services and interactive communication further, can verify the relevant characteristics of the behavior of the model, the subsequent composite service can correct implementation and successful implementation of user goals provide a theoretical basis for the visualization research of model driven behavior. On the basis of the model, can be achieved for the different background knowledge of users more intuitive and accurate grasp of complex interactive behavior the behavior of the model, in order to ensure the accuracy and efficiency of the subsequent expression of the development process. The main work of this paper is as follows:
(1) established a formal WSBM model service composition based on BPEL4WS, this model takes the behavior description language based on BDL, gives the conversion of BPEL4WS to BDL and the modeling method. Using the behavior description language BDL can establish a behavior model of form, through the analysis and comparison of Web service composition system on BPEL4WS scan the BDL model can be combined service concept and concept elements and element and BDL model in the system. By the corresponding concept transform semantics, formal WSBM model service composition so established inherited the basic syntax and semantics of BDL.
(2) to construct the simulation model of the formal implementation process of WSBM service composition. In the construction process, starting from the initial state, through the change tracking compound behavior expressions, the migration event WSBM formal model in each state set, and obtain the mapping relationship between them, finally get the trajectory model. And gives the semantic correctness of simulation execution model that uses the labeled transition system as its operational semantics, describes the WSBM model of the state evolution process, construct an equivalent execution model to describe the trajectory for the model, the semantic check on the system.
(3) analyzed characteristics of formal model for Web services composition. Because the Web service reuse probability is very high, so a combination of services if not verified before release, once the error occurs, the cost will be great. So in the combination process to verify its release before the method can be used. Modeling and formal verification, and establishes the demand model and the execution model represented by the model of grammar and semantic rules, and the characteristics of the target system analysis, characteristics of the target system can meet the final verification. This paper studies the verification of Web service composition, put forward the matching authentication service the combination method. The method can find the potential behavior of combinational logic does not match the service deployment, thus improving the robustness and service composition and through customer satisfaction. A practical case shows the correctness and effectiveness of this method.
(4) a visualization method driven by the behavior model of web service composition for the interactive expression of combination behavior.
Through the formal modeling and verification, the relevant characteristics of the system have been guaranteed. However, to let the user through the reading and understanding of grammar and semantic rules to model even understand demand model is still a difficult thing. A better method is the use of visualization technology, the model of image expression, allowing users to intuitively to know and understand the demand model. Through the formal model of specific Web Service instance, converted to its combination of visual form of animation. In the combination of service behavior model, model transformation method firstly uses the behavior model into a state machine, as demand animation model. Then according to the demand describe the set of entities, and select the corresponding graphics and pictures to visually express the selected entity. Then, according to the selected set of entities, the use of state selection The method of extraction from the model state block the demonstration range corresponding to these entities, and the migration of each state in the block were associated with the action primitives provided, described as behavior visualization. When the state machine implementation, driven animation engine based on the corresponding state migration in the block, call the relevant action primitives combined. Association control and object motion graphics, which intuitively exhibit behavioral process model described.

【學(xué)位授予單位】：武漢大學(xué)
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2014
【分類號(hào)】：TP393.09

【參考文獻(xiàn)】

相關(guān)期刊論文 前6條

1 李喜彤;范玉順;;Web服務(wù)過程建模及其邏輯正確性驗(yàn)證[J];計(jì)算機(jī)集成制造系統(tǒng);2008年04期

2 郭玉彬;杜玉越;奚建清;;Web服務(wù)組合的有色網(wǎng)模型及運(yùn)算性質(zhì)[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

3 蔣哲遠(yuǎn);韓江洪;王釗;;動(dòng)態(tài)的QoS感知Web服務(wù)選擇和組合優(yōu)化模型[J];計(jì)算機(jī)學(xué)報(bào);2009年05期

4 楊濤,劉錦德;Web Services技術(shù)綜述——一種面向服務(wù)的分布式計(jì)算模式[J];計(jì)算機(jī)應(yīng)用;2004年08期

5 岳昆,王曉玲,周傲英;Web服務(wù)核心支撐技術(shù):研究綜述[J];軟件學(xué)報(bào);2004年03期

6 陳彥萍;李增智;郭志勝;晉勤學(xué);王創(chuàng);;Web服務(wù)組合中基于服務(wù)質(zhì)量的服務(wù)選擇算法[J];西安交通大學(xué)學(xué)報(bào);2006年08期

相關(guān)博士學(xué)位論文 前1條

1 李磊;面向服務(wù)計(jì)算的若干關(guān)鍵技術(shù)研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2008年

，

本文編號(hào)：1631270