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

【摘要】：隨著Web服務(wù)研究技術(shù)的不斷發(fā)展、研究領(lǐng)域的不斷擴(kuò)大,將“基于語(yǔ)義”的思想和技術(shù)引入到服務(wù)計(jì)算的各個(gè)環(huán)節(jié)已成為實(shí)現(xiàn)服務(wù)計(jì)算智能化和準(zhǔn)確性的熱點(diǎn)和難點(diǎn)。尤其在Web服務(wù)建模從簡(jiǎn)單的接口模型到描述服務(wù)內(nèi)部細(xì)節(jié)的復(fù)雜行為模型的發(fā)展過(guò)程中,如何將語(yǔ)義信息附加到服務(wù)行為中進(jìn)行基于語(yǔ)義的行為交互和動(dòng)態(tài)適配并建立模型,在行為操作層面引入語(yǔ)義標(biāo)識(shí)、語(yǔ)義判斷、語(yǔ)義適配的方法,不斷提高Web服務(wù)行為的智能化,成為服務(wù)計(jì)算研究領(lǐng)域的一個(gè)重要方面。 本文闡述了建立基于語(yǔ)義信息的服務(wù)行為交互適配模型的研究背景及研究意義,總結(jié)了國(guó)內(nèi)外關(guān)于Web服務(wù)交互模型的形式化表示方法以及服務(wù)交互適配技術(shù)的研究基礎(chǔ)和現(xiàn)狀。擴(kuò)展一種具有強(qiáng)大描述能力的高級(jí)Petri網(wǎng)—C_net網(wǎng),進(jìn)而對(duì)基于語(yǔ)義信息的服務(wù)交互模型進(jìn)行形式化表達(dá),實(shí)現(xiàn)附加服務(wù)行為內(nèi)部活動(dòng)上的語(yǔ)義信息及服務(wù)行為規(guī)則；建立基于語(yǔ)義的服務(wù)行為交互過(guò)程中的失配檢測(cè)模型并提出語(yǔ)義失配檢測(cè)算法,考慮服務(wù)行為在與用戶動(dòng)態(tài)交互時(shí)引起的語(yǔ)義信息的變化,并對(duì)由語(yǔ)義信息的變化引起的語(yǔ)義失配進(jìn)行檢測(cè)和分類；針對(duì)不同的語(yǔ)義失配類型生成動(dòng)態(tài)交互過(guò)程中的語(yǔ)義適配模型并提出語(yǔ)義適配模型的生成算法,使服務(wù)行為能夠在滿足語(yǔ)義信息相符的情況下完成正常交互。最后,通過(guò)使用C_net對(duì)基于語(yǔ)義的Web音頻下載系統(tǒng)進(jìn)行形式化建模和分析,實(shí)現(xiàn)了對(duì)音頻下載平臺(tái)和用戶請(qǐng)求服務(wù)的各個(gè)活動(dòng)及行為規(guī)則附加相應(yīng)的語(yǔ)義信息,并在動(dòng)態(tài)執(zhí)行各個(gè)功能時(shí)考慮語(yǔ)義約束條件的影響,針對(duì)交互過(guò)程中由于語(yǔ)義約束條件引起的語(yǔ)義失配生成相應(yīng)的語(yǔ)義適配模型,實(shí)現(xiàn)了Web音頻下載平臺(tái)與用戶在服務(wù)行為語(yǔ)義操作層面的交互正確性和交互最大化。 本文使用C net網(wǎng)進(jìn)行基于語(yǔ)義的服務(wù)行為交互適配模型的形式化表達(dá),為服務(wù)行為交互模型和適配技術(shù)引入了動(dòng)態(tài)語(yǔ)義信息的附加和約束,并在交互模型的基礎(chǔ)上討論由于服務(wù)交互和動(dòng)態(tài)執(zhí)行引起的語(yǔ)義失配以及相應(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é)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類號(hào)】：TP393.09

【參考文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：2037368