两种业务流程建模方法的分析与比较

通过对同一业务流程两种不同实现版本的分析与比较, 给出了业务流程定义语言(BPDL)在业务流程定义上的优缺点. 分析结果表明,虽然采用BPDL开发活动流的效率不如传统方法, 但BPDLs在活动流开发及修改上均优于传统方法, 并且BPDL流程的执行 效率随着BPDL执行机的成熟而提高.     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

企业业务流程的结构化建模

分析了组成业务流程的活动之间的关系，提出了活动间信息交流的度量的方法，将活动间的结构特征转化成代数矩阵形式加以表示，据此提出了业务流程的结构模型，并用ＩＳＭ法进一步分析了该模型所揭示的结构特征，从而为流程的重构提供新的依据。     

企业业务流程的结构化建模

分析了组成业务流程的活动之间的关系，提出了活动间信息交流的度量方法，将活动间的结构特征转化成代数矩阵的形式加以表示，据此提出了业务流程的结构模型，并用ISM法进一步分析了该模型所揭示的结构特征，从而为流程的重构提供新的依据．     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

业务流程评价指标体系研究

提出了一套反映业务流程综合性能的流程评价指标体系.该指标体系由四个宏观指标构成,即业务流程成本、业务流程效率、业务流程顾客满意度和业务流程质量.对于业务流程成本指标,运用作业成本法和作业成本管理理论进行分析和量化;对于业务流程效率指标,运用排队论进行分析和量化;对于业务流程顾客满意度指标,提出以流程下游顾客评价为主的评价方法,并基于这一思想建立了业务流程顾客满意度计算模型;对于业务流程质量指标,提出应主要分析流程产品/服务的“符合性”标准,通过对业务流程所提供的产品或服务与“符合性”标准的比较,量化业务流程的质量.     

解释结构建模在业务流程再造中的应用研究

业务流程再造是当今管理界的热点问题之一。针对目前在流程再造中缺秒能指导、可操作性强的建模工具，本文研究了几种BPR的建模方法，并着重研究了解释结构建模在BPR中的应用，并通过一个实例演示了计算过程和实施步骤，为实施流程再造提供依据。     

业务流程重组的研究与实施

本文首先介绍业务流程重组的概念、实施方法，并以 Ｃ Ｉ Ｍ Ｓ实施工厂——上海华通开关厂为例，通过分析企业目前的业务流程，结合管理信息系统的开发和实施，重建企业业务流程，将信息技术和新的管理模式结合起来，使企业摆脱目前的困境     

一种基于UML 2.0活动图的Web服务业务流程测试方法

UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。     

企业业务流程及核心业务流程的识别

通过对企业业务流程定义的分析,抽象出企业流程的要素,提出了企业流程的形式化描述的方法,以及企业流程的基本构成要素和联系.针对企业再造失败率高的原因,分析了再造过程中核心流程识别的重要性及方法,认为企业应将再造的重点放在核心业务流程上.     

BPEL商业流程建模

介绍了标准化的商业流程执行语言BPEL，从一个例子出发，借鉴统一开发过程(RUP)中的用例模型和分析模型对整个商业流程进行刻画，并简要介绍了如何采用WSDL和BPEL4WS两种标准的语言对整个模型进行文档化的过程。     

基于角色约束的流程建模(RB-BPM)方法研究

提出了一种新的基于角色约束的业务流程建模模型RB-BPM,描述了通过在业务流程建模中引入基于角色的访问控制中的用户、角色、流程、操作、活动等要素,并确定各要素间的相互关系和静态动态约束条件。最后给出了在生产制造企业业务流程管理系统中的应用。     

基于Agent的组织业务过程建模研究

分析了信息系统的发展趋势，介绍了业务过程建模产生的背景和研究现状，在此基础上提出了结合工作流技术支持企业流程的研究内容，重点探讨了基于Ａｇｅｎｔ实现业务过程建模的可能性和存在的问题。     

基于事务过程构件的虚拟企业建模方法

提出了一种支持虚拟企业模型建立的体系结构，并结合面向对象技术探讨了基于事务过程构件的虚拟企业建模方法（BPC－VEMM）。该建模体系和建模方法有效支持虚拟企业的运营特征和组织结构特点，为虚拟企业模型的建立提供了快速和有效的实现手段。     

基于Petri网的人才评价工作流模型

提出了基于Petri网的人才评价工作流管理系统建模的应用研究,介绍工作流、工作流网、工作流建模的一些基本概念,以及用Petri网对工作流进行建模的过程,并结合人才评价系统实例讨论了基于Petri网的工作流模型的有效性和性能分析。     

高校办学活动过程模型构建方法研究

针对高校办学活动分析模型较少这一现状,该文分析了高校办学活动构成,引入UNIX操作系统中"进程"的概念,分别构建了高校人才培养活动过程模型、科学研究活动过程模型、人力资源管理活动过程模型、资金管理活动过程模型、物资管理活动过程模型和战略管理活动过程模型,通过人流、物流、资金流、信息流将6个活动过程模型加以链接,建立了完整性、系统性的高校办学活动过程模型.     

基于面向服务业务流程管理的系统架构建模

信息时代对业务流程管理结合面向服务架构的需求愈发显著,针对现阶段该领域研究中,概念与建模语言相脱节、忽视计算无关模型到平台无关模型的转换、难以贯穿系统多个视图等不足,将业务流程管理(BPM)与面向服务架构(SOA)方法结合应用到面向服务系统架构的业务流程建模。通过区分本体元模型与标记元模型的概念,在两种元模型之间分别建立映射关联:语义层映射和语法层映射,并以BPMN和SoaML为具体建模语言分两步推理实现。最后将所提出的建模方法及BPMN和SoaML之间的映射规则应用于一个游乐园智能手环系统架构建模案例中,验证了方法的可行性。     

开展ADSL业务中出现的问题及解决方案

介绍了ADSL业务中的制约因素，如出线率、传输速率、网络诊断手段、网络管理、线路资源的管理和维护等，并提出了相应的参考解决方案。