本文選題：客戶關(guān)系管理系統(tǒng) + PI演算��； 參考：《計算機工程與設(shè)計》2009年17期

【摘要】：解決了應(yīng)用PI演算對CRM(客戶關(guān)系管理)進(jìn)行業(yè)務(wù)流程建模的問題。對業(yè)務(wù)流程建模的常用方法UML(標(biāo)準(zhǔn)的圖形化建模語言)和Petri網(wǎng)進(jìn)行比較,得出PI演算是最適合業(yè)務(wù)流程建模的工具;應(yīng)用PI演算對CRM系統(tǒng)的一個例子進(jìn)行業(yè)務(wù)流程建模并解決了CRM系統(tǒng)建模中的數(shù)據(jù)沖突問題;應(yīng)用PI演算驗證工具M(jìn)WB(移動工作平臺)進(jìn)行所建模型的驗證,在模型檢驗過程中,應(yīng)用deadlocks和step命令模擬、跟蹤系統(tǒng)的每一步交互過程。
[Abstract]:The problem of using Pi calculus to model the business process of CRM (customer relationship Management) is solved.Comparing UML (standard graphical modeling language) with Petri net, it is concluded that Pi calculus is the most suitable tool for business process modeling.Using Pi calculus to model an example of CRM system and solving the problem of data conflict in CRM system modeling, using Pi calculus verification tool MWB (mobile work platform) to verify the model, in the process of model checking,Deadlocks and step commands are used to simulate and track the interaction process of each step of the system.
【作者單位】： 北方民族大學(xué);
【基金】：寧夏自然科學(xué)基金項目(NZ0692) 計算機應(yīng)用技術(shù)重點學(xué)科基金項目(NJG2006.311)
【分類號】：TP311.52

【參考文獻(xiàn)】

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

1 張永勝;石秀君;鄭麗麗;;基于電子商務(wù)的CRM應(yīng)用系統(tǒng)的研究[J];中國管理信息化;2008年04期

2 謝小軒,張浩,夏敬華,王堅,李琦;企業(yè)應(yīng)用集成綜述[J];計算機工程與應(yīng)用;2002年22期

3 李紅臣,史美林;工作流模型及其形式化描述[J];計算機學(xué)報;2003年11期

4 劉怡;張子剛;張戡;;工作流模型研究述評[J];計算機工程與設(shè)計;2007年02期

5 張靜,王海洋;面向組合的業(yè)務(wù)流程建模及異常處理[J];系統(tǒng)仿真學(xué)報;2005年11期

【共引文獻(xiàn)】

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

1 董婷婷;于雙娜;賈春香;;基于Ajax技術(shù)的web應(yīng)用系統(tǒng)研究[J];現(xiàn)代農(nóng)業(yè)科技;2008年04期

2 李振英;盧華明;戴麗萍;;管理信息系統(tǒng)與工作流管理系統(tǒng)的結(jié)合[J];北京機械工業(yè)學(xué)院學(xué)報;2006年03期

3 熊璋;蒲菊華;蘆效峰;薛玲;;PLS概念模型及其應(yīng)用[J];北京航空航天大學(xué)學(xué)報;2006年10期

4 郭皓明;馬世龍;;以功能需求為驅(qū)的資源聚合方法與實現(xiàn)[J];北京航空航天大學(xué)學(xué)報;2008年05期

5 顏洪梅;戰(zhàn)守義;楊方廷;;一種基于工作流面向服務(wù)的分布式遠(yuǎn)程協(xié)同仿真系統(tǒng)[J];北京理工大學(xué)學(xué)報;2006年05期

6 孫亞琴;王衛(wèi)國;李安波;;電子政務(wù)審批系統(tǒng)中GIS的協(xié)同工作研究[J];測繪科學(xué);2009年06期

7 劉曉靜;王蔚;;J2EE平臺上CRM應(yīng)用系統(tǒng)的設(shè)計[J];長江大學(xué)學(xué)報(自然科學(xué)版)理工卷;2008年01期

8 王珂;王春清;李琳;;面向電子政務(wù)的工作流管理系統(tǒng)的設(shè)計與實現(xiàn)[J];重慶電子工程職業(yè)學(xué)院學(xué)報;2009年02期

9 施梅芳;;基于Web Service的企業(yè)集成框架[J];常熟理工學(xué)院學(xué)報;2007年02期

10 梁中堂;楊建軍;;工作流模型擴(kuò)展及其在制造過程質(zhì)量管理系統(tǒng)中的應(yīng)用[J];成組技術(shù)與生產(chǎn)現(xiàn)代化;2010年02期

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

1 夏玉輝;張威;萬琳;王洪艷;;一種基于控制流圖的靜態(tài)測試方法[A];第三屆全國軟件測試會議與移動計算、柵格、智能化高級論壇論文集[C];2009年

2 程曉宇;王曉梅;;基于IT技術(shù)的現(xiàn)代模具設(shè)計設(shè)計制造系統(tǒng)[A];企業(yè)應(yīng)用集成系統(tǒng)與技術(shù)學(xué)術(shù)研究會論文集[C];2006年

3 朱琦;尚屹;田海瑞;;環(huán)境信息應(yīng)用支撐平臺研究[A];2007中國環(huán)境科學(xué)學(xué)會學(xué)術(shù)年會優(yōu)秀論文集（下卷）[C];2007年

4 李重文;馬世龍;;基于工作流的航天器自動化測試過程建模[A];2007中國控制與決策學(xué)術(shù)年會論文集[C];2007年

5 趙正德;王曉華;石秀麗;;網(wǎng)格工作流模型和協(xié)同機制的研究與實現(xiàn)[A];2005年全國開放式分布與并行計算學(xué)術(shù)會議論文集[C];2005年

6 毛艷艷;程大鵬;劉培強;;一種基于工作流元模型的KPI-績效考核系統(tǒng)解決方案[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國青年通信學(xué)術(shù)會議論文集（上）[C];2008年

7 鄭小建;張正球;;基于平面流速場理論的工作流過程建模[A];2008'中國信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（一）[C];2008年

8 李巍麗;王堅;戴毅茹;;基于IPO的工作流模型定義與XPDL解析[A];中國自動化學(xué)會全國第九屆自動化新技術(shù)學(xué)術(shù)交流會論文集[C];2004年

9 張樸;;企業(yè)應(yīng)用集成-EAI及在鐵路編組站應(yīng)用的設(shè)想[A];擴(kuò)大鐵路對外開放、確保重點物資運輸——中國科協(xié)2005年學(xué)術(shù)年會鐵道分會場暨中國鐵道學(xué)會學(xué)術(shù)年會和粵海通道運營管理學(xué)術(shù)研討會論文集[C];2005年

10 苗林;金濤;王建民;;XPDL模型到WWF模型轉(zhuǎn)換技術(shù)的研究[A];第26屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（B輯）[C];2009年

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

1 周紅橋;基于模型驅(qū)動的制造企業(yè)應(yīng)用集成方法研究[D];華中科技大學(xué);2010年

2 吳斌;企業(yè)服務(wù)總線中動態(tài)服務(wù)路由技術(shù)的研究[D];山東大學(xué);2010年

3 李世頡;網(wǎng)絡(luò)管理視域下的地方政府信息資源集成研究[D];武漢大學(xué);2010年

4 徐戰(zhàn);下一代廣播電視網(wǎng)開放業(yè)務(wù)平臺中網(wǎng)絡(luò)邊緣資源控制技術(shù)研究[D];中國科學(xué)技術(shù)大學(xué);2011年

5 吳鏑;面向RP領(lǐng)域的Web服務(wù)自主組建方法研究與應(yīng)用[D];上海大學(xué);2011年

6 曹松;鐵路行車安全預(yù)警理論與方法研究[D];中國鐵道科學(xué)研究院;2011年

7 周丹晨;面向網(wǎng)絡(luò)化制造的資源共享服務(wù)平臺構(gòu)建原理與實施技術(shù)研究[D];四川大學(xué);2004年

8 葉鑫;基于角色網(wǎng)絡(luò)理論的行政審批系統(tǒng)模型及應(yīng)用研究[D];大連理工大學(xué);2006年

9 賈文玨;分布式GIS服務(wù)鏈集成關(guān)鍵技術(shù)[D];武漢大學(xué);2005年

10 林宋;信息化制造中的信息理論與集成方法研究[D];華中科技大學(xué);2005年

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

1 崔立男;基于軟總線的多工作流引擎協(xié)作的研究與實現(xiàn)[D];哈爾濱工程大學(xué);2010年

2 張宇迪;基于手持終端的繼電保護(hù)設(shè)備HMI系統(tǒng)設(shè)計[D];河南工業(yè)大學(xué);2010年

3 鄧志娟;江西理工大學(xué)信息系統(tǒng)應(yīng)用集成研究[D];江西理工大學(xué);2010年

4 李方平;西南空管局投資項目管理系統(tǒng)設(shè)計與實現(xiàn)[D];電子科技大學(xué);2010年

5 陳永寶;基于工作流的公文流轉(zhuǎn)系統(tǒng)的設(shè)計與實現(xiàn)[D];電子科技大學(xué);2010年

6 倪立快;基于業(yè)務(wù)規(guī)則的工作流管理系統(tǒng)設(shè)計與實現(xiàn)[D];浙江大學(xué);2011年

7 金桂梅;精品課程網(wǎng)絡(luò)平臺系統(tǒng)的開發(fā)[D];山東大學(xué);2010年

8 曾育新;基于.NET的校園網(wǎng)工作流管理系統(tǒng)的設(shè)計與實現(xiàn)[D];電子科技大學(xué);2011年

9 周靜;基于安全基線檢查平臺調(diào)度網(wǎng)關(guān)的研究與實現(xiàn)[D];西安電子科技大學(xué);2011年

10 吳冰;基于RCP的支持動態(tài)擴(kuò)展的工作流設(shè)計器的設(shè)計與實現(xiàn)[D];江南大學(xué);2011年

【二級參考文獻(xiàn)】

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

1 韓江舟,葛世倫;CRM與ERP的集成研究[J];華東船舶工業(yè)學(xué)院學(xué)報(自然科學(xué)版);2001年06期

2 杜栓柱,譚建榮,陸國棟;一個基于TWF-net的擴(kuò)展時間工作流模型及其應(yīng)用[J];計算機研究與發(fā)展;2003年04期

3 張艷,史美林;HCM:一個虛擬企業(yè)協(xié)同工作描述模型[J];計算機研究與發(fā)展;2003年05期

4 曹化工,楊曼紅;基于對象Petri網(wǎng)的工作流過程定義[J];計算機輔助設(shè)計與圖形學(xué)學(xué)報;2001年01期

5 范玉順,吳澄;基于協(xié)調(diào)理論的工作流建模方法[J];計算機集成制造系統(tǒng)-CIMS;2001年04期

6 鄧水光,俞鎮(zhèn),吳朝暉;動態(tài)工作流建模方法的研究與設(shè)計[J];計算機集成制造系統(tǒng);2004年06期

7 劉明忠,薛恒新,黃慧君,韋東方,吳士亮;支持跨企業(yè)協(xié)作的柔性工作流系統(tǒng)建模研究[J];計算機集成制造系統(tǒng);2004年11期

8 丁柯 ,金蓓弘 ,馮玉琳;事務(wù)工作流的建模和分析[J];計算機學(xué)報;2003年10期

9 李紅臣,史美林;工作流模型及其形式化描述[J];計算機學(xué)報;2003年11期

10 張麗娟,鄒平;基于電子商務(wù)的企業(yè)信息化建設(shè)——ERP、CRM與電子商務(wù)的整合[J];昆明理工大學(xué)學(xué)報(理工版);2002年03期

【相似文獻(xiàn)】

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

1 黃邵;;Pi演算建模BPEL4WS程序及實例研究[J];湖南第一師范學(xué)報;2008年01期

2 楊毅;何豐;;適用于CRM系統(tǒng)的PI演算的業(yè)務(wù)流程建模[J];計算機應(yīng)用與軟件;2009年12期

3 鄭偉;王崢;;報業(yè)客戶關(guān)系管理系統(tǒng)簡介[J];中國報業(yè);2001年11期

4 道焰,代玉龍;基于數(shù)據(jù)挖掘的銀行信用卡客戶關(guān)系管理系統(tǒng)[J];中國科技信息;2005年03期

5 黃華卿;張維;熊熊;;數(shù)據(jù)挖掘技術(shù)在商業(yè)銀行客戶關(guān)系管理中的應(yīng)用分析[J];哈爾濱商業(yè)大學(xué)學(xué)報(社會科學(xué)版);2006年03期

6 田麗,林錦國,劉建峰,張光云;基于演化算法的客戶關(guān)系管理系統(tǒng)研究[J];微處理機;2005年03期

7 吳曉勻;客戶關(guān)系管理理論在現(xiàn)代遠(yuǎn)程教育中的應(yīng)用[J];河南商業(yè)高等�？茖W(xué)校學(xué)報;2005年05期

8 張幼玲,余殿芳;淺談我國銀行客戶關(guān)系管理系統(tǒng)的建設(shè)[J];華南金融電腦;2005年11期

9 趙靜,和斌;基于數(shù)據(jù)挖掘的客戶關(guān)系管理系統(tǒng)的構(gòu)建[J];情報雜志;2005年11期

10 張榮梅;孫潔麗;;論客戶關(guān)系管理與企業(yè)信息化建設(shè)[J];經(jīng)濟(jì)經(jīng)緯;2005年06期

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

1 劉海青;陳懇;蔡杰;李鈞;;金思維客戶關(guān)系管理系統(tǒng)(JSCRM)的設(shè)計和實現(xiàn)[A];江蘇省機械工程學(xué)會第六次會員代表大會論文集[C];2002年

2 張根林;李懷祖;;基于多智能體的客戶關(guān)系管理系統(tǒng)的構(gòu)建[A];2002年中國管理科學(xué)學(xué)術(shù)會議論文集[C];2002年

3 欒經(jīng)德;范軍;石敏;彭學(xué)禮;;水中目標(biāo)回聲特性建模中的模型驗證研究[A];2009年全國水聲學(xué)學(xué)術(shù)交流暨水聲學(xué)分會換屆改選會議論文集[C];2009年

4 芮春保;;Pro/E在摩托車開發(fā)中的運用——JC251-17A摩托車3D設(shè)計總結(jié)[A];江蘇省機械工程學(xué)會第六次會員代表大會論文集[C];2002年

5 陳美發(fā);盧永金;季永興;;崇明北沿灘涂促淤圍墾水流數(shù)學(xué)模型研究(之一)[A];第十四屆全國水動力學(xué)研討會文集[C];2000年

6 董家瑞;劉朔;王琴琴;;仿真系統(tǒng)模型驗證方法對比研究[A];'2008系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)會議論文集[C];2008年

7 朱志政;何世秀;楊雪強;;Lade-Duncan模型在粉質(zhì)黏土中的試驗研究[A];第二屆全國巖土與工程學(xué)術(shù)大會論文集（上冊）[C];2006年

8 任秀文;姜國強;鐘滿妮;李開明;;SWAT模型參數(shù)敏感性分析及增江流域的應(yīng)用[A];2011中國環(huán)境科學(xué)學(xué)會學(xué)術(shù)年會論文集（第一卷）[C];2011年

9 吳瓊;彭憶強;;基于模型的汽車電子節(jié)氣門控制系統(tǒng)研究[A];2009年中國智能自動化會議論文集（第一分冊）[C];2009年

10 劉藻珍;;基于飛行試驗數(shù)據(jù)的仿真模型驗證方法的研究[A];二○○一年中國系統(tǒng)仿真學(xué)會學(xué)術(shù)年會論文集[C];2001年

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

1 賈毅敏;引入客戶關(guān)系管理系統(tǒng)的探索[N];中國城鄉(xiāng)金融報;2004年

2 ;奧尊海實客戶關(guān)系管理系統(tǒng)[N];中國計算機報;2002年

3 ;構(gòu)建客戶關(guān)系管理系統(tǒng)[N];人民郵電;2000年

4 李顯君;如何建立客戶關(guān)系管理系統(tǒng)[N];經(jīng)濟(jì)參考報;2001年

5 Avaya公司中國區(qū)技術(shù)經(jīng)理 沈曉暉;客戶關(guān)系管理系統(tǒng)與呼叫中心[N];通信產(chǎn)業(yè)報;2001年

6 劉寶民;人保財險天津分公司 啟用客戶關(guān)系管理系統(tǒng)[N];金融時報;2003年

7 薛志剛（作者系陜西省銅川市郵政局副局長）;郵政企業(yè)的客戶關(guān)系管理系統(tǒng)[N];中國郵政報;2003年

8 丁一文;電信運營企業(yè)的CRM轉(zhuǎn)型[N];通信產(chǎn)業(yè)報;2004年

9 張雪琳;尋找“啤酒”和“尿布”的關(guān)系[N];通信產(chǎn)業(yè)報;2004年

10 高建來 王燕;不良債權(quán)定價模型驗證例解[N];財會信報;2006年

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

1 鄭志;動態(tài)軟件體系結(jié)構(gòu)建模與模型驗證方法的研究[D];大連理工大學(xué);2010年

2 王平;基于公理化的產(chǎn)品設(shè)計理論及應(yīng)用研究[D];南京航空航天大學(xué);2006年

3 金仙力;實時服務(wù)構(gòu)件的語義特征和行為組裝形式化技術(shù)研究[D];北京郵電大學(xué);2008年

4 周赤建;河流懸移質(zhì)泥沙運動模擬方法研究[D];內(nèi)蒙古農(nóng)業(yè)大學(xué);2004年

5 廖軍;面向服務(wù)的計算（SOC）中服務(wù)組合的研究[D];電子科技大學(xué);2006年

6 馮毅萍;石化生產(chǎn)過程多分辨率物流模型的建模方法[D];浙江大學(xué);2008年

7 胡海濤;支持業(yè)務(wù)級、大粒度服務(wù)組合的知識管理與主動推薦[D];中國科學(xué)院研究生院（計算技術(shù)研究所）;2006年

8 張會;虛擬群體組織協(xié)同行為建模方法研究[D];國防科學(xué)技術(shù)大學(xué);2006年

9 高靜;可逆加成—斷裂—鏈轉(zhuǎn)移自由基均聚及共聚機理研究[D];浙江大學(xué);2007年

10 盧亞輝;工作流系統(tǒng)的訪問控制模型及其安全性分析的研究[D];清華大學(xué);2008年

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

1 楊毅;基于PI演算的CRM系統(tǒng)的設(shè)計與實現(xiàn)[D];北方民族大學(xué);2009年

2 李明;基于模型驗證的故障定位方法研究[D];華中師范大學(xué);2010年

3 吳錚;基于Pi演算的SOAP安全性分析與驗證[D];中國石油大學(xué);2008年

4 林云;關(guān)于需求分析建模與模型驗證技術(shù)的研究[D];華中師范大學(xué);2001年

5 李嘉寧;中小型制造企業(yè)CRM樹型模型實施方案的研究及應(yīng)用[D];武漢理工大學(xué);2006年

6 胡春雷;我國商業(yè)銀行客戶關(guān)系管理理論及信息技術(shù)應(yīng)用研究[D];首都經(jīng)濟(jì)貿(mào)易大學(xué);2006年

7 郭美辛;基于信息構(gòu)建的客戶關(guān)系管理系統(tǒng)研究[D];東北師范大學(xué);2007年

8 夏一平;華泰證券有限責(zé)任公司客戶關(guān)系管理系統(tǒng)實施研究[D];湖南大學(xué);2008年

9 周寧;中國民生銀行客戶關(guān)系管理系統(tǒng)研究[D];華中科技大學(xué);2007年

10 董永健;聯(lián)通客戶關(guān)系管理系統(tǒng)中若干問題的研究[D];華東師范大學(xué);2008年

，

本文編號：1762821