發(fā)布時(shí)間：2018-06-26 20:40

  本文選題：對(duì)象Petri網(wǎng) + 分層服務(wù)集成過(guò)程模型��； 參考：《南京大學(xué)》2014年碩士論文

【摘要】：隨著Internet逐步演變成一個(gè)全球化的開(kāi)放計(jì)算平臺(tái),基于Web服務(wù)的服務(wù)集成成為過(guò)程技術(shù)應(yīng)用與研究的熱點(diǎn)。服務(wù)集成通過(guò)把功能單一的Web服務(wù)組合起來(lái),實(shí)現(xiàn)異構(gòu)應(yīng)用的集成與協(xié)作。服務(wù)集成的建模是驗(yàn)證集成服務(wù)正確性的前提。目前的服務(wù)集成過(guò)程模型集中關(guān)注業(yè)務(wù)需求導(dǎo)向的全局集成服務(wù)過(guò)程,忽略參與集成伙伴服務(wù)的內(nèi)部過(guò)程行為。在動(dòng)態(tài)、多變的開(kāi)放環(huán)境下,難以支持集成服務(wù)過(guò)程與參與集成伙伴服務(wù)內(nèi)部過(guò)程行為一致的檢驗(yàn)。針對(duì)上述問(wèn)題,本文采用關(guān)注點(diǎn)分離原則,提出一種基于對(duì)象Petri網(wǎng)的分層服務(wù)集成過(guò)程模型,實(shí)現(xiàn)集成服務(wù)過(guò)程以及獨(dú)立的參與集成伙伴服務(wù)過(guò)程的統(tǒng)一建模�；谠撃Ｐ�,不僅能夠?qū)崿F(xiàn)全局集成服務(wù)過(guò)程的建模,而且能夠建立集成服務(wù)過(guò)程與參與集成伙伴服務(wù)的內(nèi)部過(guò)程之間的關(guān)聯(lián)關(guān)系,從而支持兩者之間行為一致的檢驗(yàn)。具體而言,本文的工作主要包括以下幾點(diǎn)： ·給出了分層服務(wù)集成過(guò)程模型相關(guān)概念,基于對(duì)象Petri網(wǎng)和工作流網(wǎng)給出了分層服務(wù)集成過(guò)程模型的形式化定義。在此基礎(chǔ)上,對(duì)分層服務(wù)集成過(guò)程模型的合理性進(jìn)行了研究,該屬性可用于形式化分析服務(wù)集成過(guò)程的正確性(單一集成服務(wù)過(guò)程是否正確,以及是否會(huì)發(fā)生由于參與伙伴服務(wù)過(guò)程與集成服務(wù)過(guò)程行為的沖突而導(dǎo)致的模型死鎖),并給出了判定分層服務(wù)集成過(guò)程模型的合理性的充要條件。 ·基于分層服務(wù)集成過(guò)程模型,給出一種自頂向下與自底向上相結(jié)合的服務(wù)集成建模方法,保障集成服務(wù)過(guò)程與局部參與伙伴服務(wù)內(nèi)部過(guò)程行為-致。 ·采用活動(dòng)對(duì)之間的本質(zhì)行為關(guān)系抽象表示一個(gè)過(guò)程模型的行為�；诜謱臃⻊�(wù)集成模型的合理性,從過(guò)程間行為一致角度,研究了全局集成服務(wù)過(guò)程與局部參與伙伴服務(wù)在關(guān)聯(lián)關(guān)系下相應(yīng)活動(dòng)對(duì)上的行為約束。并給出了計(jì)算一個(gè)過(guò)程模型其抽象行為表示(活動(dòng)對(duì)間的行為關(guān)系集合)的方法。 基于開(kāi)源的PIPE平臺(tái),設(shè)計(jì)并實(shí)現(xiàn)實(shí)現(xiàn)了一個(gè)支持分層服務(wù)過(guò)程模型建模與行為約束分析的原型工具,L-SIP,支持圖形化的服務(wù)集成過(guò)程建模。為用戶提供了一個(gè)簡(jiǎn)單易用、方便直觀的服務(wù)集成過(guò)程建模以及模型行為約束檢測(cè)工具。
[Abstract]:As the Internet has evolved into a global open computing platform, Web service-based service integration has become a hot topic in the application and research of process technology. Service integration realizes the integration and collaboration of heterogeneous applications by combining Web services with a single function. The modeling of service integration is the premise to verify the correctness of integrated services. The current service integration process model focuses on the global integrated service process based on business demand and neglects the internal process behavior of participating in the integration partner service. In the dynamic and changeable open environment, it is difficult to support the verification of the consistency of the process behavior between the integrated service process and the participating integration partner service. In order to solve the above problems, this paper proposes a hierarchical service integration process model based on object Petri net by using the principle of separation of concerns, which realizes the unified modeling of integrated service process and independent participating integrated partner service process. Based on this model, not only the modeling of the global integrated service process can be realized, but also the relationship between the integrated service process and the internal process participating in the integration partner service can be established, so as to support the verification of the behavior consistency between the two processes. Specifically, the work of this paper mainly includes the following points: the related concepts of hierarchical service integration process model are given, and the formal definition of hierarchical service integration process model based on object Petri net and workflow net is given. On this basis, the rationality of the hierarchical service integration process model is studied. This attribute can be used to formally analyze the correctness of the service integration process (whether the single integrated service process is correct or not). And whether the model deadlock will occur as a result of the conflict between the behavior of the participating partner service process and the integration service process), the sufficient and necessary conditions for determining the rationality of the hierarchical service integration process model are given. In the hierarchical service integration process model, A service integration modeling method combining top-down and bottom-up is presented. The behavior of a process model is abstracted by the essential behavior relationship between an activity pair and a local participating partner service. Based on the rationality of the hierarchical service integration model, the behavior constraints on the corresponding activity pairs between the global integrated service process and the local partner service are studied from the point of view of inter-process behavior consistency. A method for calculating the abstract behavior representation of a process model (the set of behavior relationships between two pairs of activities) is also given. Based on the open source platform of Pip, a prototype tool named L-SIP, which supports hierarchical service process modeling and behavior constraint analysis, is designed and implemented, which supports graphical service integration process modeling. It provides a simple and easy to use, convenient and intuitionistic tool for service integration process modeling and model behavior constraint detection.
【學(xué)位授予單位】：南京大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類號(hào)】：TP301.1;TP393.09

【相似文獻(xiàn)】

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

1 曾偉;金楊恒;;Web服務(wù)集成的策略規(guī)劃[J];計(jì)算機(jī)集成制造系統(tǒng);2008年02期

2 余兆力,沈良忠;基于動(dòng)態(tài)調(diào)用的Web服務(wù)集成應(yīng)用研究[J];計(jì)算機(jī)時(shí)代;2005年02期

3 史波;王紅;馬學(xué)強(qiáng);;基于移動(dòng)Agent的服務(wù)集成框架研究[J];信息技術(shù);2007年04期

4 仲華惟;寧維巍;閆光榮;雷毅;;面向產(chǎn)品生命周期的動(dòng)態(tài)服務(wù)集成方法研究[J];計(jì)算機(jī)應(yīng)用研究;2009年04期

5 羅家奇;王業(yè)先;李斌;;一個(gè)面向Web服務(wù)集成的Agent協(xié)同框架[J];南京師范大學(xué)學(xué)報(bào)(工程技術(shù)版);2008年04期

6 吳梅麗;張東志;;基于agent的Web服務(wù)集成原型系統(tǒng)的模型研究[J];計(jì)算機(jī)測(cè)量與控制;2008年06期

7 ;專家朱近之讓你更清晰認(rèn)識(shí)什么是云計(jì)算[J];金卡工程;2012年08期

8 羅英偉;劉昕鵬;彭豪博;汪小林;許卓群;;面向事件處置的信息服務(wù)集成調(diào)度模型[J];軟件學(xué)報(bào);2006年12期

9 李立耀;;Web服務(wù)集成協(xié)調(diào)框架中的基于語(yǔ)義鎖的死鎖檢測(cè)與解除[J];漳州師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年03期

10 唐雪峰;鄭毅強(qiáng);;基于場(chǎng)景導(dǎo)航與規(guī)則推理的服務(wù)集成方法的研究[J];制造業(yè)自動(dòng)化;2008年01期

相關(guān)會(huì)議論文 前4條

1 沈海燕;呂曉軍;史宏;馮云梅;;鐵路智能旅客服務(wù)集成管理平臺(tái)的設(shè)計(jì)與實(shí)現(xiàn)[A];第八屆中國(guó)智能交通年會(huì)優(yōu)秀論文集——軌道交通[C];2013年

2 朱雷;袁兆山;;基于SCA&OSGi4SEI框架的服務(wù)集成中心研究與實(shí)現(xiàn)[A];全國(guó)第19屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2008年

3 陳犖;吳秋云;景寧;李軍;;面向Web空間數(shù)據(jù)服務(wù)集成的高效資源選取方法[A];第二十一屆中國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集（研究報(bào)告篇）[C];2004年

4 楊浩;徐暉;魏理豪;張金波;;基于POPLAN的電力管理信息系統(tǒng)自動(dòng)服務(wù)集成方法[A];二○○九年全國(guó)電力企業(yè)信息化大會(huì)論文集[C];2009年

相關(guān)重要報(bào)紙文章 前10條

1 ;服務(wù)集成，，播種信息化的春天[N];中國(guó)高新技術(shù)產(chǎn)業(yè)導(dǎo)報(bào);2002年

2 迪文;高交會(huì)亮點(diǎn)——IT服務(wù)集成[N];中國(guó)計(jì)算機(jī)報(bào);2000年

3 肖峰;服務(wù)集成探析IDC生存支點(diǎn)[N];計(jì)算機(jī)世界;2001年

4 本報(bào)記者 宋斌斌;鼓勵(lì)先行先試 生產(chǎn)性服務(wù)業(yè)迎來(lái)發(fā)展良機(jī)[N];中國(guó)工業(yè)報(bào);2011年

5 ;Web服務(wù)實(shí)現(xiàn)（連載7）[N];上海科技報(bào);2002年

6 衍松;移動(dòng)通訊新秀迭出[N];電子資訊時(shí)報(bào);2004年

7 諶力;讓數(shù)據(jù)成為一種服務(wù)[N];網(wǎng)絡(luò)世界;2006年

8 沈憶輝;GIS走向Web服務(wù)[N];中國(guó)計(jì)算機(jī)報(bào);2003年

9 于翔;微軟新Web戰(zhàn)略重力打造SaaS v2[N];網(wǎng)絡(luò)世界;2007年

10 ;短信平臺(tái)解決方案[N];中國(guó)計(jì)算機(jī)報(bào);2006年

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

1 劉芳;企業(yè)服務(wù)集成結(jié)構(gòu)及其開(kāi)發(fā)支持技術(shù)研究與實(shí)現(xiàn)[D];西北工業(yè)大學(xué);2007年

2 王慶恒;基于一站式數(shù)字圖書(shū)館資源整合和服務(wù)集成系統(tǒng)的研究與實(shí)現(xiàn)[D];北京郵電大學(xué);2010年

3 陳俊先;基于Agent的Web服務(wù)集成系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];西安電子科技大學(xué);2014年

4 呂計(jì)紅;支持虛擬企業(yè)的服務(wù)集成系統(tǒng)的研究與實(shí)現(xiàn)[D];東北大學(xué);2008年

5 楊劍;服務(wù)集成及安全認(rèn)證在分布式平臺(tái)的應(yīng)用研究[D];電子科技大學(xué);2009年

6 張舒;共性服務(wù)集成與運(yùn)營(yíng)中的服務(wù)管理研究[D];北京郵電大學(xué);2010年

7 劉歆;簡(jiǎn)單服務(wù)集成及處理平臺(tái)的設(shè)計(jì)及實(shí)現(xiàn)[D];北京郵電大學(xué);2010年

8 王晶;基于對(duì)象Petri網(wǎng)的服務(wù)集成建模與合理性初步分析[D];南京大學(xué);2014年

9 杜祝;基于SOA的虛擬企業(yè)多源異構(gòu)服務(wù)集成建模與設(shè)計(jì)研究[D];武漢理工大學(xué);2009年

10 楊超;面向注塑機(jī)行業(yè)中小企業(yè)的銷售服務(wù)集成系統(tǒng)[D];西南交通大學(xué);2012年

本文編號(hào)：2071343