基于PI演算的CRM系统的业务流程建模

发布时间：2018-04-17 08:23

  本文选题：客户关系管理系统 + PI演算　； 参考：《计算机工程与设计》2009年17期

【摘要】：解决了应用PI演算对CRM(客户关系管理)进行业务流程建模的问题。对业务流程建模的常用方法UML(标准的图形化建模语言)和Petri网进行比较,得出PI演算是最适合业务流程建模的工具;应用PI演算对CRM系统的一个例子进行业务流程建模并解决了CRM系统建模中的数据冲突问题;应用PI演算验证工具MWB(移动工作平台)进行所建模型的验证,在模型检验过程中,应用deadlocks和step命令模拟、跟踪系统的每一步交互过程。
[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.
【作者单位】： 北方民族大学;
【基金】：宁夏自然科学基金项目(NZ0692) 计算机应用技术重点学科基金项目(NJG2006.311)
【分类号】：TP311.52

【参考文献】

相关期刊论文 前5条

1 张永胜;石秀君;郑丽丽;;基于电子商务的CRM应用系统的研究[J];中国管理信息化;2008年04期

2 谢小轩,张浩,夏敬华,王坚,李琦;企业应用集成综述[J];计算机工程与应用;2002年22期

3 李红臣,史美林;工作流模型及其形式化描述[J];计算机学报;2003年11期

4 刘怡;张子刚;张戡;;工作流模型研究述评[J];计算机工程与设计;2007年02期

5 张静,王海洋;面向组合的业务流程建模及异常处理[J];系统仿真学报;2005年11期

【共引文献】

相关期刊论文 前10条

1 董婷婷;于双娜;贾春香;;基于Ajax技术的web应用系统研究[J];现代农业科技;2008年04期

2 李振英;卢华明;戴丽萍;;管理信息系统与工作流管理系统的结合[J];北京机械工业学院学报;2006年03期

3 熊璋;蒲菊华;芦效峰;薛玲;;PLS概念模型及其应用[J];北京航空航天大学学报;2006年10期

4 郭皓明;马世龙;;以功能需求为驱的资源聚合方法与实现[J];北京航空航天大学学报;2008年05期

5 颜洪梅;战守义;杨方廷;;一种基于工作流面向服务的分布式远程协同仿真系统[J];北京理工大学学报;2006年05期

6 孙亚琴;王卫国;李安波;;电子政务审批系统中GIS的协同工作研究[J];测绘科学;2009年06期

7 刘晓静;王蔚;;J2EE平台上CRM应用系统的设计[J];长江大学学报(自然科学版)理工卷;2008年01期

8 王珂;王春清;李琳;;面向电子政务的工作流管理系统的设计与实现[J];重庆电子工程职业学院学报;2009年02期

9 施梅芳;;基于Web Service的企业集成框架[J];常熟理工学院学报;2007年02期

10 梁中堂;杨建军;;工作流模型扩展及其在制造过程质量管理系统中的应用[J];成组技术与生产现代化;2010年02期

相关会议论文 前10条

1 夏玉辉;张威;万琳;王洪艳;;一种基于控制流图的静态测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

2 程晓宇;王晓梅;;基于IT技术的现代模具设计设计制造系统[A];企业应用集成系统与技术学术研究会论文集[C];2006年

3 朱琦;尚屹;田海瑞;;环境信息应用支撑平台研究[A];2007中国环境科学学会学术年会优秀论文集（下卷）[C];2007年

4 李重文;马世龙;;基于工作流的航天器自动化测试过程建模[A];2007中国控制与决策学术年会论文集[C];2007年

5 赵正德;王晓华;石秀丽;;网格工作流模型和协同机制的研究与实现[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年

6 毛艳艳;程大鹏;刘培强;;一种基于工作流元模型的KPI-绩效考核系统解决方案[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

7 郑小建;张正球;;基于平面流速场理论的工作流过程建模[A];2008'中国信息技术与应用学术论坛论文集（一）[C];2008年

8 李巍丽;王坚;戴毅茹;;基于IPO的工作流模型定义与XPDL解析[A];中国自动化学会全国第九届自动化新技术学术交流会论文集[C];2004年

9 张朴;;企业应用集成-EAI及在铁路编组站应用的设想[A];扩大铁路对外开放、确保重点物资运输——中国科协2005年学术年会铁道分会场暨中国铁道学会学术年会和粤海通道运营管理学术研讨会论文集[C];2005年

10 苗林;金涛;王建民;;XPDL模型到WWF模型转换技术的研究[A];第26届中国数据库学术会议论文集（B辑）[C];2009年

相关博士学位论文 前10条

1 周红桥;基于模型驱动的制造企业应用集成方法研究[D];华中科技大学;2010年

2 吴斌;企业服务总线中动态服务路由技术的研究[D];山东大学;2010年

3 李世颉;网络管理视域下的地方政府信息资源集成研究[D];武汉大学;2010年

4 徐战;下一代广播电视网开放业务平台中网络边缘资源控制技术研究[D];中国科学技术大学;2011年

5 吴镝;面向RP领域的Web服务自主组建方法研究与应用[D];上海大学;2011年

6 曹松;铁路行车安全预警理论与方法研究[D];中国铁道科学研究院;2011年

7 周丹晨;面向网络化制造的资源共享服务平台构建原理与实施技术研究[D];四川大学;2004年

8 叶鑫;基于角色网络理论的行政审批系统模型及应用研究[D];大连理工大学;2006年

9 贾文珏;分布式GIS服务链集成关键技术[D];武汉大学;2005年

10 林宋;信息化制造中的信息理论与集成方法研究[D];华中科技大学;2005年

相关硕士学位论文 前10条

1 崔立男;基于软总线的多工作流引擎协作的研究与实现[D];哈尔滨工程大学;2010年

2 张宇迪;基于手持终端的继电保护设备HMI系统设计[D];河南工业大学;2010年

3 邓志娟;江西理工大学信息系统应用集成研究[D];江西理工大学;2010年

4 李方平;西南空管局投资项目管理系统设计与实现[D];电子科技大学;2010年

5 陈永宝;基于工作流的公文流转系统的设计与实现[D];电子科技大学;2010年

6 倪立快;基于业务规则的工作流管理系统设计与实现[D];浙江大学;2011年

7 金桂梅;精品课程网络平台系统的开发[D];山东大学;2010年

8 曾育新;基于.NET的校园网工作流管理系统的设计与实现[D];电子科技大学;2011年

9 周静;基于安全基线检查平台调度网关的研究与实现[D];西安电子科技大学;2011年

10 吴冰;基于RCP的支持动态扩展的工作流设计器的设计与实现[D];江南大学;2011年

【二级参考文献】

相关期刊论文 前10条

1 韩江舟,葛世伦;CRM与ERP的集成研究[J];华东船舶工业学院学报(自然科学版);2001年06期

2 杜栓柱,谭建荣,陆国栋;一个基于TWF-net的扩展时间工作流模型及其应用[J];计算机研究与发展;2003年04期

3 张艳,史美林;HCM:一个虚拟企业协同工作描述模型[J];计算机研究与发展;2003年05期

4 曹化工,杨曼红;基于对象Petri网的工作流过程定义[J];计算机辅助设计与图形学学报;2001年01期

5 范玉顺,吴澄;基于协调理论的工作流建模方法[J];计算机集成制造系统-CIMS;2001年04期

6 邓水光,俞镇,吴朝晖;动态工作流建模方法的研究与设计[J];计算机集成制造系统;2004年06期

7 刘明忠,薛恒新,黄慧君,韦东方,吴士亮;支持跨企业协作的柔性工作流系统建模研究[J];计算机集成制造系统;2004年11期

8 丁柯 ,金蓓弘 ,冯玉琳;事务工作流的建模和分析[J];计算机学报;2003年10期

9 李红臣,史美林;工作流模型及其形式化描述[J];计算机学报;2003年11期

10 张丽娟,邹平;基于电子商务的企业信息化建设——ERP、CRM与电子商务的整合[J];昆明理工大学学报(理工版);2002年03期

【相似文献】

相关期刊论文 前10条

1 黄邵;;Pi演算建模BPEL4WS程序及实例研究[J];湖南第一师范学报;2008年01期

2 杨毅;何丰;;适用于CRM系统的PI演算的业务流程建模[J];计算机应用与软件;2009年12期

3 郑伟;王峥;;报业客户关系管理系统简介[J];中国报业;2001年11期

4 道焰,代玉龙;基于数据挖掘的银行信用卡客户关系管理系统[J];中国科技信息;2005年03期

5 黄华卿;张维;熊熊;;数据挖掘技术在商业银行客户关系管理中的应用分析[J];哈尔滨商业大学学报(社会科学版);2006年03期

6 田丽,林锦国,刘建峰,张光云;基于演化算法的客户关系管理系统研究[J];微处理机;2005年03期

7 吴晓匀;客户关系管理理论在现代远程教育中的应用[J];河南商业高等专科学校学报;2005年05期

8 张幼玲,余殿芳;浅谈我国银行客户关系管理系统的建设[J];华南金融电脑;2005年11期

9 赵静,和斌;基于数据挖掘的客户关系管理系统的构建[J];情报杂志;2005年11期

10 张荣梅;孙洁丽;;论客户关系管理与企业信息化建设[J];经济经纬;2005年06期

相关会议论文 前10条

1 刘海青;陈恳;蔡杰;李钧;;金思维客户关系管理系统(JSCRM)的设计和实现[A];江苏省机械工程学会第六次会员代表大会论文集[C];2002年

2 张根林;李怀祖;;基于多智能体的客户关系管理系统的构建[A];2002年中国管理科学学术会议论文集[C];2002年

3 栾经德;范军;石敏;彭学礼;;水中目标回声特性建模中的模型验证研究[A];2009年全国水声学学术交流暨水声学分会换届改选会议论文集[C];2009年

4 芮春保;;Pro/E在摩托车开发中的运用——JC251-17A摩托车3D设计总结[A];江苏省机械工程学会第六次会员代表大会论文集[C];2002年

5 陈美发;卢永金;季永兴;;崇明北沿滩涂促淤围垦水流数学模型研究(之一)[A];第十四届全国水动力学研讨会文集[C];2000年

6 董家瑞;刘朔;王琴琴;;仿真系统模型验证方法对比研究[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年

7 朱志政;何世秀;杨雪强;;Lade-Duncan模型在粉质黏土中的试验研究[A];第二届全国岩土与工程学术大会论文集（上册）[C];2006年

8 任秀文;姜国强;钟满妮;李开明;;SWAT模型参数敏感性分析及增江流域的应用[A];2011中国环境科学学会学术年会论文集（第一卷）[C];2011年

9 吴琼;彭忆强;;基于模型的汽车电子节气门控制系统研究[A];2009年中国智能自动化会议论文集（第一分册）[C];2009年

10 刘藻珍;;基于飞行试验数据的仿真模型验证方法的研究[A];二○○一年中国系统仿真学会学术年会论文集[C];2001年

相关重要报纸文章 前10条

1 贾毅敏;引入客户关系管理系统的探索[N];中国城乡金融报;2004年

2 ;奥尊海实客户关系管理系统[N];中国计算机报;2002年

3 ;构建客户关系管理系统[N];人民邮电;2000年

4 李显君;如何建立客户关系管理系统[N];经济参考报;2001年

5 Avaya公司中国区技术经理 沈晓晖;客户关系管理系统与呼叫中心[N];通信产业报;2001年

6 刘宝民;人保财险天津分公司 启用客户关系管理系统[N];金融时报;2003年

7 薛志刚（作者系陕西省铜川市邮政局副局长）;邮政企业的客户关系管理系统[N];中国邮政报;2003年

8 丁一文;电信运营企业的CRM转型[N];通信产业报;2004年

9 张雪琳;寻找“啤酒”和“尿布”的关系[N];通信产业报;2004年

10 高建来 王燕;不良债权定价模型验证例解[N];财会信报;2006年

相关博士学位论文 前10条

1 郑志;动态软件体系结构建模与模型验证方法的研究[D];大连理工大学;2010年

2 王平;基于公理化的产品设计理论及应用研究[D];南京航空航天大学;2006年

3 金仙力;实时服务构件的语义特征和行为组装形式化技术研究[D];北京邮电大学;2008年

4 周赤建;河流悬移质泥沙运动模拟方法研究[D];内蒙古农业大学;2004年

5 廖军;面向服务的计算（SOC）中服务组合的研究[D];电子科技大学;2006年

6 冯毅萍;石化生产过程多分辨率物流模型的建模方法[D];浙江大学;2008年

7 胡海涛;支持业务级、大粒度服务组合的知识管理与主动推荐[D];中国科学院研究生院（计算技术研究所）;2006年

8 张会;虚拟群体组织协同行为建模方法研究[D];国防科学技术大学;2006年

9 高静;可逆加成—断裂—链转移自由基均聚及共聚机理研究[D];浙江大学;2007年

10 卢亚辉;工作流系统的访问控制模型及其安全性分析的研究[D];清华大学;2008年

相关硕士学位论文 前10条

1 杨毅;基于PI演算的CRM系统的设计与实现[D];北方民族大学;2009年

2 李明;基于模型验证的故障定位方法研究[D];华中师范大学;2010年

3 吴铮;基于Pi演算的SOAP安全性分析与验证[D];中国石油大学;2008年

4 林云;关于需求分析建模与模型验证技术的研究[D];华中师范大学;2001年

5 李嘉宁;中小型制造企业CRM树型模型实施方案的研究及应用[D];武汉理工大学;2006年

6 胡春雷;我国商业银行客户关系管理理论及信息技术应用研究[D];首都经济贸易大学;2006年

7 郭美辛;基于信息构建的客户关系管理系统研究[D];东北师范大学;2007年

8 夏一平;华泰证券有限责任公司客户关系管理系统实施研究[D];湖南大学;2008年

9 周宁;中国民生银行客户关系管理系统研究[D];华中科技大学;2007年

10 董永健;联通客户关系管理系统中若干问题的研究[D];华东师范大学;2008年

，

本文编号：1762821