导读:本文包含了流程代数论文开题报告文献综述及选题提纲参考文献，主要关键词:工程技术管理,业务流程重组,过程代数,项目管理
流程代数论文文献综述
王芮琪[1]（2013）在《基于过程代数的工程技术管理流程重组方法研究》一文中研究指出随着我国对基础建设的大规模投入以及城市化进程的不断推进,建筑业正在成为国家支柱产业之一。如何在异常激烈的市场争夺中使自己立于不败之地是建筑企业不得不面对的一个严峻而现实的问题,苦练内功、抓好管理、从根治起已经成为目前国内众多建筑企业应对竞争的共识。工程技术管理是建筑企业工程管理的重要组成部分,其实施效果可以反映出一个建筑企业综合管理水平的高低。利用流程图和流程文件是大型建筑企业普遍采用的工程技术管理手段,然而值得注意的是目前我国建筑企业工程技术业务流程管理水平不高,主要表现在工程技术业务流程都是依据企业日常技术管理中积累的专家经验制定的,因涉及实施步骤、职能部门等方面争议而引起业务流程重组大多依赖于领导个人决策,缺乏先进的管理思想和方法对重组后的业务流程进行科学的定量分析和评价。这必然会造成职责部门之间业务流程运行不通畅,严重制约工程技术管理水平的提升。基于此,通过查阅大量资料,本文采用基于过程代数的业务流程重组方法,对工程技术管理流程重组问题进行研究,具体内容包括：1.查阅大量涉及建筑企业工程技术管理资料,详细了解建筑企业工程技术管理叁个阶段(施工准备阶段、施工阶段、竣工阶段)的具体内容和特点；工程技术管理中常用的四种方式,以及BPR管理思想和过程代数的业务流程定量分析方法,为本文的研究课题奠定了理论基础。2.以新疆库俄铁路为实例,利用基于过程代数的业务流程定量分析方法对施工准备阶段技术管理流程进行分析,结合BPR的原则和施工准备阶段技术管理特点,构建新的业务流程,并对流程重组前后的评价指标进行分析。3.以新疆库俄铁路依迪克框构桥为实例,利用基于过程代数的业务流程定量分析方法对施工阶段技术管理流程进行分析,结合BPR的原则和施工阶段技术管理特点,构建新的业务流程,并对流程重组前后的评价指标进行分析。4.以新疆库俄铁路卡克玛克其隧道为实例,利用基于过程代数的业务流程定量分析方法对竣工阶段技术管理流程进行分析,结合BPR的原则和竣工阶段技术管理特点,构建新的业务流程,并对流程重组前后的评价指标进行分析。5.对基于过程代数的工程技术管理流程重组方法和取得的成果进行总结。(本文来源于《东北大学》期刊2013-09-01）
张抗抗,徐如志,杨峰,赵志昆,李庆忠[2]（2013）在《Web环境下基于协议组合代数的业务流程整合方法》一文中研究指出采用协议对基于Web的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互,采用基于交互的协议对业务流程建模,提出了一个业务协议组合代数,构造了一组协议组合算子,并证明了该代数的一些相关性质;本文还对协议的相似性进行了分析,为替换协议的选择奠定了基础.文章还通过一个流程组合实例说明了基于协议组合代数的业务流程整合过程.(本文来源于《小型微型计算机系统》期刊2013年01期）
张抗抗,徐如志,杨峰,崔涛[3]（2011）在《一种支持流程整合的业务协议组合代数》一文中研究指出针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相关性质,分析协议的相似性,从而为替换协议提供理论依据。(本文来源于《计算机工程》期刊2011年20期）
马超,徐晓飞,王忠杰[4]（2010）在《基于进程代数的服务业务流程价值分析》一文中研究指出服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务工程中,服务价值被认为是各服务参与者期望从服务获取的最终目标,采用价值模型从功能性和非功能性两方面对顾客需求进行形式化描述.通过对Pi演算扩展动作质量约束和价值实现程度计算函数,提出价值进程代数VPA,用于形式化表达和验证服务业务流程模型.利用语义等价匹配算法和弱互模拟理论,提出验证目标价值的可实现性和实现完整性的模型分析方法,分析目标价值的实现程度,进而定量计算服务业务流程模型对顾客需求的满足情况,为后续面向价值的服务模型优化提供依据.(本文来源于《计算机学报》期刊2010年11期）
孙宏丽,吴洪涛,田富洋,邵兵[5]（2009）在《空间算子代数刚柔耦合系统动力学软件流程》一文中研究指出进一步发展了空间算子代数符号体系,给出刚柔耦合的空间算子代数递推的动力学建模过程,实现了对开环链式、树状拓扑,有根或无根结构的刚体与柔体任意组合形式的多体系统动力学流程,保证了O(n)次的计算效率.利用移位算子将柔体的模态坐标与运动学和动力学变量在铰关节空间进行投影传递,实现了刚体、柔体统一的动力学建模过程.利用低序体阵列与子体列阵来描述多体系统拓扑结构,得到刚柔任意组合形式的多体系统的运动学、动力学递推建模过程.开发了柔性多体系统动力学分析软件的体系结构,编制实时仿真分析程序,给出应用实例.(本文来源于《华中科技大学学报(自然科学版)》期刊2009年12期）
姚青,洪余柯,王海洋[6]（2009）在《基于过程代数的可变业务流程建模方法》一文中研究指出为实现灵活的业务流程重组,提出了一种面向流程变化调整的业务流程模型。该模型从业务逻辑中抽取出流程相关性语义,用连接器的模式来实现一种可配置的流程属性。业务人员可以通过调整模型中的连接器对流程进行重新配置,从而实现业务流程重组的软件调整。给出了模型的过程代数描述,并介绍了建模步骤和流程调整方法。最后,以机场塔台调度流程的建模和调整过程为例,对相关问题进行了讨论。(本文来源于《计算机集成制造系统》期刊2009年09期）
张晓南,刘安心,严峻,张磊[7]（2009）在《基于过程代数的工程装备维修流程优化方法》一文中研究指出从决策分析的角度,提出了一种基于过程代数的工程装备流程优化方法,给出并分析了描述维修流程的过程代数及相应的公式,提出了流程的评价指标。通过工程实例表明,该方法提高了维修效率,加快了工程装备和维修的科学化进程。(本文来源于《矿山机械》期刊2009年16期）
郭哲,吴俊新,唐加福,汪定伟[8]（2009）在《基于过程代数的电子商务定价业务流程的重组与优化》一文中研究指出针对传统定价业务流程中存在的信息化、自动化程度不高以及网络化水平低下等不合理因素,采用基于过程代数的业务流程定量分析方法对传统定价业务流程中的各个步骤进行分析,结合业务流程重组的原则和电子商务环境下定价业务流程的特点,对传统定价业务流程进行重组,构建电子商务环境下的定价业务流程,并对重组前后的结果进行评价.结果表明,重组后的定价业务流程,能减少工作量和工作失误,加强定价系统对电子商务企业的快速响应能力.(本文来源于《东北大学学报(自然科学版)》期刊2009年06期）
黄海新,汪定伟[9]（2002）在《基于过程代数的业务流程重组方法》一文中研究指出本文提出基于过程代数的人机交互式的业务流程重组方法。首先 ,提出描述业务流程的过程代数 ;接着 ,分析过程代数式 ,提出流程的评价指标 ;然后 ,分析过程代数式 ,提出流程重组的方法 ;最后 ,以一个实例进行分析(本文来源于《管理工程学报》期刊2002年04期）
黄海新,汪定伟[10]（2002）在《基于流程图及过程代数的流程表达方法》一文中研究指出提出一种新的用于 BPR的业务流程表达方法 .首先用基于活动属性的流程图来描述业务流程 ;再利用图论的矩阵分析方法描述流程图 ;然后结合过程代数的方法 ,由流程图的矩阵推导出一个能全面反映流程情况的代数表达式——过程代数式 ;最后通过对过程代数式的分析 ,提出流程的评价指标 .(本文来源于《管理科学学报》期刊2002年03期）
流程代数论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
采用协议对基于Web的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互,采用基于交互的协议对业务流程建模,提出了一个业务协议组合代数,构造了一组协议组合算子,并证明了该代数的一些相关性质;本文还对协议的相似性进行了分析,为替换协议的选择奠定了基础.文章还通过一个流程组合实例说明了基于协议组合代数的业务流程整合过程.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
流程代数论文参考文献
[1].王芮琪.基于过程代数的工程技术管理流程重组方法研究[D].东北大学.2013
[2].张抗抗,徐如志,杨峰,赵志昆,李庆忠.Web环境下基于协议组合代数的业务流程整合方法[J].小型微型计算机系统.2013
[3].张抗抗,徐如志,杨峰,崔涛.一种支持流程整合的业务协议组合代数[J].计算机工程.2011
[4].马超,徐晓飞,王忠杰.基于进程代数的服务业务流程价值分析[J].计算机学报.2010
[5].孙宏丽,吴洪涛,田富洋,邵兵.空间算子代数刚柔耦合系统动力学软件流程[J].华中科技大学学报(自然科学版).2009
[6].姚青,洪余柯,王海洋.基于过程代数的可变业务流程建模方法[J].计算机集成制造系统.2009
[7].张晓南,刘安心,严峻,张磊.基于过程代数的工程装备维修流程优化方法[J].矿山机械.2009
[8].郭哲,吴俊新,唐加福,汪定伟.基于过程代数的电子商务定价业务流程的重组与优化[J].东北大学学报(自然科学版).2009
[9].黄海新,汪定伟.基于过程代数的业务流程重组方法[J].管理工程学报.2002
[10].黄海新,汪定伟.基于流程图及过程代数的流程表达方法[J].管理科学学报.2002