隨著互聯(lián)網(wǎng)技術(shù)的普及，網(wǎng)上的Web服務(wù)和資源越來越豐富。用戶希望將分散的資源和服務(wù)按照自己的意愿組織起來提供個(gè)性化服務(wù)。然而傳統(tǒng)流程模式主要是面向企業(yè)用戶，這種“一次設(shè)計(jì)，永久使用”的傳統(tǒng)流程模式并不能滿足用戶千變?nèi)f化的個(gè)性化需求。針對用戶的這些新的要求，一種新型的個(gè)性化流程應(yīng)用模式出現(xiàn)了。個(gè)性化流程應(yīng)用模式能夠根據(jù)用戶的需求動(dòng)態(tài)進(jìn)行業(yè)務(wù)流程建模，并實(shí)現(xiàn)了因用戶需求變更帶來的流程的可變性。本文研究的重點(diǎn)是旅游領(lǐng)域個(gè)性化流程應(yīng)用模式中的個(gè)性化流程構(gòu)建問題。本文給出了個(gè)性化流程模式的邏輯架構(gòu)，包括流程邏輯層、功能邏輯層和功能實(shí)現(xiàn)層。并闡述了個(gè)性化流程的平臺架構(gòu)，包括個(gè)性化流程生成模塊、服務(wù)社區(qū)管理模塊和個(gè)性化流程執(zhí)行模塊。個(gè)性化流程模式將流程邏輯和功能邏輯實(shí)現(xiàn)分離，這是個(gè)性化流程模式有別于傳統(tǒng)流程模式的最大特色。在流程邏輯層面運(yùn)用進(jìn)程代數(shù)語言π演算對個(gè)性化流程建模，為了應(yīng)對用戶需求不斷變化的情況，本文提出了流程變更描述模型，并給出了流程變更的形式化表示形式。最后運(yùn)用移動(dòng)工作臺MWB以及π演算的互模擬理論驗(yàn)證了建模的正確性。在功能邏輯層面通過構(gòu)建服務(wù)社區(qū)的形式對Web服務(wù)進(jìn)行虛擬池化管理，即... 

【文章來源】：山東財(cái)經(jīng)大學(xué)山東省

【文章頁數(shù)】：65 頁

【學(xué)位級別】：碩士

【部分圖文】：

中國在線旅游市場第三方在線代理商營收規(guī)模目前旅游電子商務(wù)網(wǎng)站按其提供的內(nèi)容可以分為兩類

圖3-2 給出了個(gè)性化流程模式邏輯架構(gòu)。圖 3-2 個(gè)性化流程模式邏輯架構(gòu)流程邏輯層是對流程的描述，表示業(yè)務(wù)流程的邏輯，是一個(gè)虛擬流程。業(yè)務(wù)人員根據(jù)業(yè)務(wù)需求設(shè)計(jì)業(yè)務(wù)流程的順序和邏輯。這個(gè)階段包括分析業(yè)務(wù)交互過程、確定業(yè)務(wù)調(diào)用邏輯和構(gòu)造業(yè)務(wù)流程等動(dòng)作。流程邏輯是用 π 演算來實(shí)現(xiàn)的。 π 演算能夠描述動(dòng)態(tài)變化的通信拓?fù)浣Y(jié)構(gòu)，能夠充分表現(xiàn)流程的可變性，拓展了個(gè)性化流程建模的靈活性。同時(shí) π 演算的互模擬理論可以用于驗(yàn)證個(gè)性化流程建模的正確性。功能邏輯層提供了從流程邏輯層到具體 Web 服務(wù)實(shí)現(xiàn)層的映射。因此功能邏輯層中抽象服務(wù)的描述信息是流程執(zhí)行時(shí)服務(wù)發(fā)現(xiàn)和服務(wù)綁定的基礎(chǔ)。本文提出旅游

池化管理方法——服務(wù)社區(qū)，即合理有效地將各種分析并抽取服務(wù)資源的描述信息進(jìn)行封裝。在服務(wù)理以及服務(wù)選取等的效率都得到了提高�，F(xiàn)層是網(wǎng)絡(luò)上的所有 Web 服務(wù)資源，流程通過 W程具體執(zhí)行時(shí)，在功能邏輯層通過服務(wù)發(fā)現(xiàn)找到符現(xiàn)層的 Web 服務(wù)，實(shí)現(xiàn)流程的具體功能。化流程模式總體架構(gòu)絡(luò)環(huán)境下業(yè)務(wù)流程邏輯架構(gòu)，本文初步構(gòu)建了個(gè)性 3-3 所示。個(gè)性化流程應(yīng)用平臺架構(gòu)模型包括個(gè)性模塊和個(gè)性化流程執(zhí)行模塊。

【參考文獻(xiàn)】：
期刊論文
[1]基于社區(qū)云的按需個(gè)性化流程構(gòu)建方法研究[J]. 李維翠,李德生,褚東升.  計(jì)算機(jī)工程與設(shè)計(jì). 2011(06)
[2]多態(tài)π演算的互模擬等價(jià)關(guān)系及其公理化[J]. 顏鋒,田作威,嚴(yán)榴香.  計(jì)算機(jī)工程與科學(xué). 2010(10)
[3]基于π演算的反射式需求規(guī)約描述方法[J]. 袁文杰,應(yīng)時(shí),吳可嘉,姚俊峰.  計(jì)算機(jī)工程與科學(xué). 2010(06)
[4]一種基于反射機(jī)制的OWL-S需求規(guī)約演化方法[J]. 袁文杰,應(yīng)時(shí),吳可嘉,姚俊峰.  計(jì)算機(jī)科學(xué). 2010(02)
[5]基于PI演算的CRM系統(tǒng)的業(yè)務(wù)流程建模[J]. 楊毅,何豐.  計(jì)算機(jī)工程與設(shè)計(jì). 2009(17)
[6]基于Web服務(wù)的智能流程構(gòu)建方法[J]. 李暉,崔立真,王海洋.  通信學(xué)報(bào). 2009(05)
[7]基于PI-演算的網(wǎng)上并聯(lián)審批業(yè)務(wù)流程建模及驗(yàn)證[J]. 胡慶成,邢春曉,楊吉江,李益民.  計(jì)算機(jī)應(yīng)用研究. 2007(12)
[8]基于Pi-演算的BPEL4 WS Web服務(wù)組合形式化模型[J]. 辜希武,盧正鼎.  計(jì)算機(jī)科學(xué). 2007(03)
[9]UML和OWL在本體建模中的比較研究[J]. 郁書好,蘇守寶,劉仁金.  計(jì)算機(jī)技術(shù)與發(fā)展. 2007(01)
[10]基于面向?qū)ο驪etri網(wǎng)的Web服務(wù)合成[J]. 陶曉峰,孫健.  計(jì)算機(jī)應(yīng)用. 2005(06)

博士論文
[1]個(gè)性化業(yè)務(wù)流程定制的關(guān)鍵問題研究[D]. 姚青.山東大學(xué) 2009
[2]基于語義的分布式服務(wù)與資源一體化發(fā)現(xiàn)方法研究[D]. 張瑩.北京交通大學(xué) 2009
[3]智能流程異常處理的若干關(guān)鍵技術(shù)研究[D]. 尚宗敏.山東大學(xué) 2009

碩士論文
[1]基于消息的可變業(yè)務(wù)流程模型的設(shè)計(jì)與BPEL實(shí)現(xiàn)[D]. 褚文永.山東大學(xué) 2011
[2]個(gè)性化流程模式建模研究與實(shí)踐[D]. 王兆麗.山東大學(xué) 2009
[3]面向智能流程的個(gè)性化需求獲取方法研究[D]. 張文萃.山東大學(xué) 2008
[4]智能流程應(yīng)用模式中的流程自動(dòng)生成方法的研究[D]. 欒衡.山東大學(xué) 2006
[5]一種智能流程異常處理機(jī)制研究[D]. 楊法強(qiáng).山東大學(xué) 2006



本文編號：3605962