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

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

【摘要】：隨著Internet逐步演變成一個全球化的開放計算平臺,基于Web服務(wù)的服務(wù)集成成為過程技術(shù)應(yīng)用與研究的熱點。服務(wù)集成通過把功能單一的Web服務(wù)組合起來,實現(xiàn)異構(gòu)應(yīng)用的集成與協(xié)作。服務(wù)集成的建模是驗證集成服務(wù)正確性的前提。目前的服務(wù)集成過程模型集中關(guān)注業(yè)務(wù)需求導(dǎo)向的全局集成服務(wù)過程,忽略參與集成伙伴服務(wù)的內(nèi)部過程行為。在動態(tài)、多變的開放環(huán)境下,難以支持集成服務(wù)過程與參與集成伙伴服務(wù)內(nèi)部過程行為一致的檢驗。針對上述問題,本文采用關(guān)注點分離原則,提出一種基于對象Petri網(wǎng)的分層服務(wù)集成過程模型,實現(xiàn)集成服務(wù)過程以及獨立的參與集成伙伴服務(wù)過程的統(tǒng)一建模。基于該模型,不僅能夠?qū)崿F(xiàn)全局集成服務(wù)過程的建模,而且能夠建立集成服務(wù)過程與參與集成伙伴服務(wù)的內(nèi)部過程之間的關(guān)聯(lián)關(guān)系,從而支持兩者之間行為一致的檢驗。具體而言,本文的工作主要包括以下幾點： ·給出了分層服務(wù)集成過程模型相關(guān)概念,基于對象Petri網(wǎng)和工作流網(wǎng)給出了分層服務(wù)集成過程模型的形式化定義。在此基礎(chǔ)上,對分層服務(wù)集成過程模型的合理性進(jìn)行了研究,該屬性可用于形式化分析服務(wù)集成過程的正確性(單一集成服務(wù)過程是否正確,以及是否會發(fā)生由于參與伙伴服務(wù)過程與集成服務(wù)過程行為的沖突而導(dǎo)致的模型死鎖),并給出了判定分層服務(wù)集成過程模型的合理性的充要條件。 ·基于分層服務(wù)集成過程模型,給出一種自頂向下與自底向上相結(jié)合的服務(wù)集成建模方法,保障集成服務(wù)過程與局部參與伙伴服務(wù)內(nèi)部過程行為-致。 ·采用活動對之間的本質(zhì)行為關(guān)系抽象表示一個過程模型的行為�；诜謱臃⻊�(wù)集成模型的合理性,從過程間行為一致角度,研究了全局集成服務(wù)過程與局部參與伙伴服務(wù)在關(guān)聯(lián)關(guān)系下相應(yīng)活動對上的行為約束。并給出了計算一個過程模型其抽象行為表示(活動對間的行為關(guān)系集合)的方法。 基于開源的PIPE平臺,設(shè)計并實現(xiàn)實現(xiàn)了一個支持分層服務(wù)過程模型建模與行為約束分析的原型工具,L-SIP,支持圖形化的服務(wù)集成過程建模。為用戶提供了一個簡單易用、方便直觀的服務(wù)集成過程建模以及模型行為約束檢測工具。
[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é)位級別】：碩士
【學(xué)位授予年份】：2014
【分類號】：TP301.1;TP393.09

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 迪文;高交會亮點——IT服務(wù)集成[N];中國計算機報;2000年

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

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

5 ;Web服務(wù)實現(xiàn)（連載7）[N];上�？萍紙�;2002年

6 衍松;移動通訊新秀迭出[N];電子資訊時報;2004年

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

8 沈憶輝;GIS走向Web服務(wù)[N];中國計算機報;2003年

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

10 ;短信平臺解決方案[N];中國計算機報;2006年

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

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

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

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

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

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

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

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

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

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

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

本文編號：2071343