發(fā)布時間：2018-06-18 23:57

  本文選題：語義服務(wù)行為 + 動態(tài)交互　； 參考：《大連海事大學(xué)》2014年碩士論文

【摘要】：隨著Web服務(wù)研究技術(shù)的不斷發(fā)展、研究領(lǐng)域的不斷擴(kuò)大,將“基于語義”的思想和技術(shù)引入到服務(wù)計算的各個環(huán)節(jié)已成為實(shí)現(xiàn)服務(wù)計算智能化和準(zhǔn)確性的熱點(diǎn)和難點(diǎn)。尤其在Web服務(wù)建模從簡單的接口模型到描述服務(wù)內(nèi)部細(xì)節(jié)的復(fù)雜行為模型的發(fā)展過程中,如何將語義信息附加到服務(wù)行為中進(jìn)行基于語義的行為交互和動態(tài)適配并建立模型,在行為操作層面引入語義標(biāo)識、語義判斷、語義適配的方法,不斷提高Web服務(wù)行為的智能化,成為服務(wù)計算研究領(lǐng)域的一個重要方面。 本文闡述了建立基于語義信息的服務(wù)行為交互適配模型的研究背景及研究意義,總結(jié)了國內(nèi)外關(guān)于Web服務(wù)交互模型的形式化表示方法以及服務(wù)交互適配技術(shù)的研究基礎(chǔ)和現(xiàn)狀。擴(kuò)展一種具有強(qiáng)大描述能力的高級Petri網(wǎng)—C_net網(wǎng),進(jìn)而對基于語義信息的服務(wù)交互模型進(jìn)行形式化表達(dá),實(shí)現(xiàn)附加服務(wù)行為內(nèi)部活動上的語義信息及服務(wù)行為規(guī)則；建立基于語義的服務(wù)行為交互過程中的失配檢測模型并提出語義失配檢測算法,考慮服務(wù)行為在與用戶動態(tài)交互時引起的語義信息的變化,并對由語義信息的變化引起的語義失配進(jìn)行檢測和分類；針對不同的語義失配類型生成動態(tài)交互過程中的語義適配模型并提出語義適配模型的生成算法,使服務(wù)行為能夠在滿足語義信息相符的情況下完成正常交互。最后,通過使用C_net對基于語義的Web音頻下載系統(tǒng)進(jìn)行形式化建模和分析,實(shí)現(xiàn)了對音頻下載平臺和用戶請求服務(wù)的各個活動及行為規(guī)則附加相應(yīng)的語義信息,并在動態(tài)執(zhí)行各個功能時考慮語義約束條件的影響,針對交互過程中由于語義約束條件引起的語義失配生成相應(yīng)的語義適配模型,實(shí)現(xiàn)了Web音頻下載平臺與用戶在服務(wù)行為語義操作層面的交互正確性和交互最大化。 本文使用C net網(wǎng)進(jìn)行基于語義的服務(wù)行為交互適配模型的形式化表達(dá),為服務(wù)行為交互模型和適配技術(shù)引入了動態(tài)語義信息的附加和約束,并在交互模型的基礎(chǔ)上討論由于服務(wù)交互和動態(tài)執(zhí)行引起的語義失配以及相應(yīng)的適配策略,為提高服務(wù)行為交互的正確性和執(zhí)行性提供了理論依據(jù)。
[Abstract]:With the continuous development of Web services research technology and the expansion of research field, it has become a hot and difficult point to introduce the "semantic based" idea and technology into each link of service computing to realize the intelligentization and accuracy of service computing. Especially in the process of Web service modeling from simple interface model to complex behavior model describing the details of service, how to attach semantic information to service behavior for semantic behavior interaction and dynamic adaptation and establish model. The method of semantic identification, semantic judgment and semantic adaptation is introduced to improve the intelligence of Web service behavior, which has become an important aspect in the field of service computing. In this paper, the research background and significance of establishing service behavior interaction adaptation model based on semantic information are expounded, and the research foundation and present situation of Web service interaction model formal representation method and service interaction adaptation technology at home and abroad are summarized. This paper extends a high-level Petri net C _ net with powerful description ability to formalize the service interaction model based on semantic information to realize the semantic information and the rules of service behavior on the internal activities of additional service behavior. The model of semantic mismatch detection in the process of service behavior interaction based on semantics is established and a semantic mismatch detection algorithm is proposed to consider the change of semantic information caused by service behavior in dynamic interaction with users. The semantic mismatch caused by the change of semantic information is detected and classified, the semantic adaptation model is generated by different semantic mismatch types in dynamic interaction process, and the algorithm of generating semantic adaptation model is proposed. It enables the service behavior to complete the normal interaction under the condition of satisfying the semantic information. Finally, through the formal modeling and analysis of the semantic based Web audio download system using Cstack, the corresponding semantic information is added to each activity and behavior rule of the audio download platform and user request service. Considering the influence of semantic constraints on the dynamic execution of each function, the corresponding semantic adaptation model is generated for semantic mismatch caused by semantic constraints in the interaction process. The correctness and maximization of interaction between Web audio download platform and users at the level of semantic operation of service behavior are realized. In this paper, we use C net to formalize the semantic based service behavior interaction adaptation model, and introduce the additional and constraint of dynamic semantic information for the service behavior interaction model and adaptation technology. The semantic mismatch caused by service interaction and dynamic execution and the corresponding adaptation strategies are discussed on the basis of interaction model, which provides a theoretical basis for improving the correctness and execution of service behavior interaction.
【學(xué)位授予單位】：大連海事大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2014
【分類號】：TP393.09

【參考文獻(xiàn)】

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

1 彭暉;陳立民;常亮;史忠植;;基于動態(tài)描述邏輯的語義Web服務(wù)匹配研究[J];計算機(jī)研究與發(fā)展;2008年12期

2 謝兄;張維石;;構(gòu)件適應(yīng)和組裝的形式化語義描述[J];計算機(jī)工程與應(yīng)用;2007年21期

3 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務(wù)組合的描述和驗(yàn)證[J];計算機(jī)學(xué)報;2005年04期

4 錢柱中;陸桑璐;謝立;;基于Petri網(wǎng)的Web服務(wù)自動組合研究[J];計算機(jī)學(xué)報;2006年07期

5 劉方方;史玉良;張亮;施伯樂;;基于進(jìn)程代數(shù)的Web服務(wù)合成的替換分析[J];計算機(jī)學(xué)報;2007年11期

6 孫萍;蔣昌俊;;利用服務(wù)聚類優(yōu)化面向過程模型的語義Web服務(wù)發(fā)現(xiàn)[J];計算機(jī)學(xué)報;2008年08期

7 鄧水光;尹建偉;李瑩;吳健;吳朝暉;;基于二分圖匹配的語義Web服務(wù)發(fā)現(xiàn)方法[J];計算機(jī)學(xué)報;2008年08期

8 李喜彤;范玉順;;Web服務(wù)流程相容性和相似性分析[J];計算機(jī)學(xué)報;2009年12期

9 王向輝;馮志勇;;語義Web服務(wù)自動組合定義、方法及驗(yàn)證調(diào)查[J];計算機(jī)應(yīng)用研究;2014年05期

10 倪悅;范玉順;;基于著色Petri網(wǎng)的語義Web服務(wù)組合形式化驗(yàn)證[J];清華大學(xué)學(xué)報(自然科學(xué)版);2010年05期

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

1 鄺礫;基于接口和行為語義的Web服務(wù)發(fā)現(xiàn)與適配研究[D];浙江大學(xué);2009年

2 楊志;基于本體的語義互操作研究[D];北京郵電大學(xué);2012年

3 杜立新;實(shí)時SOA中的服務(wù)調(diào)度關(guān)鍵問題研究[D];山東大學(xué);2012年

4 金路;服務(wù)協(xié)同的適配機(jī)制與方法研究[D];浙江大學(xué);2012年

5 楊冬;Web服務(wù)中若干問題的研究[D];吉林大學(xué);2014年

，

本文編號：2037368