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

【摘要】：解決了應(yīng)用PI演算對(duì)CRM(客戶關(guān)系管理)進(jìn)行業(yè)務(wù)流程建模的問題。對(duì)業(yè)務(wù)流程建模的常用方法UML(標(biāo)準(zhǔn)的圖形化建模語言)和Petri網(wǎng)進(jìn)行比較,得出PI演算是最適合業(yè)務(wù)流程建模的工具;應(yīng)用PI演算對(duì)CRM系統(tǒng)的一個(gè)例子進(jìn)行業(yè)務(wù)流程建模并解決了CRM系統(tǒng)建模中的數(shù)據(jù)沖突問題;應(yīng)用PI演算驗(yàn)證工具M(jìn)WB(移動(dòng)工作平臺(tái))進(jìn)行所建模型的驗(yàn)證,在模型檢驗(yà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é)基金項(xiàng)目(NZ0692) 計(jì)算機(jī)應(yīng)用技術(shù)重點(diǎn)學(xué)科基金項(xiàng)目(NJG2006.311)
【分類號(hào)】：TP311.52

【參考文獻(xiàn)】

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

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

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

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

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

5 張靜,王海洋;面向組合的業(yè)務(wù)流程建模及異常處理[J];系統(tǒng)仿真學(xué)報(bào);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];北京機(jī)械工業(yè)學(xué)院學(xué)報(bào);2006年03期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

7 周丹晨;面向網(wǎng)絡(luò)化制造的資源共享服務(wù)平臺(tái)構(gòu)建原理與實(shí)施技術(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é)作的研究與實(shí)現(xiàn)[D];哈爾濱工程大學(xué);2010年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 ;奧尊海實(shí)客戶關(guān)系管理系統(tǒng)[N];中國(guó)計(jì)算機(jī)報(bào);2002年

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

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

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

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

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

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

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

10 高建來 王燕;不良債權(quán)定價(jià)模型驗(yàn)證例解[N];財(cái)會(huì)信報(bào);2006年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

6 胡春雷;我國(guó)商業(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)實(shí)施研究[D];湖南大學(xué);2008年

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

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

，

本文編號(hào)：1762821