一种基于构件技术的工作流过程建模的方法研究

通过分析研究工作流建模的各种方法,本文提出了一种基于构件技术的工作流建模方法,引入了构件工作流网的概念和新的建模元素,使工作流过程表达更丰富,提高了可读性和重用性,给出了一个建模应用实例,并指出下一步研究工作和方向.     

基于Petri网的MDA建模研究

随着工作流建模在MDA研究中地位日益突显,相关领域的研究工作受到越来越多的关注;考虑到现有建模方法在描述并发、冲突以及并行等复杂模型时所表现的局限性,文中提出了基于Petri网的MDA建模方法;在具体研究过程中,首先深人讨论了基于Petri网的复杂工作流建模方法和相关定义;接着,重点介绍了分支和汇合、自由选择冲突和复合工作流的建模过程以及相应的XML描述方法;最后,以某实际工作流为分析对象,应用文中提出的方法进行MDA工作流建模和分析.     

基于WF-net网的工作流仿真技术研究

工作流仿真是解决工作流系统可靠性与安全性的有效技术。与工作流建模相比,工作流仿真还是一个薄弱环节。在研究工作流仿真技术的基础上,提出了一种基于WF-net网,通过建立工作流虚拟运行环境来执行仿真的方法,并构建了一个工作流仿真平台JXWf_Simulation,最后给出了JXWf_Simulation具体实例分析。     

工作流平台开发关键技术的研究和设计

对工作流平台开发的关键技术进行研究,建立基于J2EE的工作流技术管理系统架构,设计用于企业管理的工作流平台,对工作流建模、基于角色的管理控制和轻量级可嵌入工作流引擎进行研究设计。重点研究工作流过程模型和工作流引擎的功能,并对传统RBAC模型进行改进。     

基于Petri网的工作流管理系统的设计与开发

工作流管理技术是一种过程建模和过程管理的核心技术,它可以应用在很多业务管理系统中。本文介绍了工作流的概念、建模方法、模型验证方法和Bossa开源引擎,描述工作流管理系统从建模到实现的具体方法。     

基于动态结构的柔性工作流建模方法研究

柔性工作流能够快速灵活地适应企业业务流程的动态变化。在分析柔性工作流产生的原因和柔性工作流特性的基础上,详细描述了基于动态结构的柔性工作流的组成及其表示方法,提出了一种柔性工作流建模方法,结合基于Web的客户服务系统,给出了该柔性工作流建模方法的实例。     

基于petri网的电子政务工作流建模研究

以电子政务系统中的审批子系统为例,研究了一种基于Petri网的电子政务工作流建模方法,该方法是工作流建模和分析的理想工具,具有完全形式化的图形表示和坚实的数学基础。在建立电子政务工作流工作流模型的基础上,论证了该方法的正确性,表明该方法对电子政务系统建模是实用的。     

P-F方法在工作流系统中的应用研究

P-F方法是作者正在进行的一项过程建模和过程改进的方法论研究,作为一种支持过程建模、控制和改进的方法,P-F方法同样可以应用于工作流系统中。P-F方法由概念模型和实施模型组成,概念模型包括Petrinet和形式化的PAB表,它可以应用于工作流的建模;P-F方法的复用机制支持工作流建模过程的复用;P-F引擎提供了工作流管理,并支持运行时的工作流模型的动态修改。论文在工作流和P-F方法的概念后,讨论了如何将P-F方法应用于工作流系统以及将P-F方法应用于工作流系统所带来的优点。     

基于petri网的电子政务工作流建模研究

以电子政务系统中的审批子系统为例,研究了一种基于Petri网的电子政务工作流建模方法,该方法是工作流建模和分析的理想工具．具有完全形式化的图形表示和坚实的数学基础。在建立电子政务工作流工作流模型的基础上,论证了该方法的正确性,表明该方法对电子政务系统建模是实用的。     

面向对象的工作流建模工具的设计与实现

在工作流技术和方法的基础上,深入研究了WfMC工作流参考模型、工作流常用建模方法和过程定义语言,采用面向对象的建模方法对工作流进行建模,最后结合实例验证了设计器在处理复杂的工作流过程中具有一定的应用价值,从而为今后工作流的动态执行模型的建立打下了良好的基础.     

基于UML的工作流建模

工作流模型是对工作流的抽象表示，也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行，因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点，在分析了传统工作流建模的不足之处的基础上，结合工作流公共数学描述，提出了基于UML的工作流建模方法，并详细分析了它对传统工作流建模的改进。     

一种基于库所含时间因素的时延Petri网的工作流建模方法

时间是反映工作流性能的一个重要方面,立足于实际业务过程对工作流系统时间管理功能的需求,尤其是针对一些对时间性能要求比较高的工作流系统,提出一种新的基于库所含时间因素的时延Petri网的工作流建模和分析方法,提出一种新的工作流建模工具TPWF—NET（Timed Places Work Flow—Net）,并给出结构完整性的验证方法。     

可视化网格工作流过程定义工具的设计与实现

网格服务的出现对工作流建模提出了新的要求,现有工作流模型的构建一般是通过工作流建模语言对流程进行描述来完成,鉴于这种方式较为复杂且容易出错,故根据MVC模式设计并实现了基于网格业务流程执行语言GBPEL的可视化过程定义工具GWF_PDTool,使用户可以通过简捷地拖拉流程活动图标来组建网格工作流程,并同步生成以GBPEL描述的流程文档,实时检验流程的正确性.     

基于Pi演算的跨组织工作流建模研究

传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适用于动态的跨组织环境,同时基于严格的形式化方法,便于分析和验证.     

基于元图的工作流建模分析方法

工作流可以有效的规范业务流程、监控流程的执行，而且能够根据客户的需求创建出新流程模型。工作流的建模过程存在一定的复杂性，它要求创建的新模型具有可视化和可操作的特点，同时模型的有效性（即正确性与合理性）也是相当重要的。将元图运用于工作流建模和分析过程，以具体的业务流程为背景，逐步分析隐含在流程中的深层次问题，找出信息元素、活动和资源之间的相互关系，从而确保工作流模型的有效性。     

基于着色工作流网的工作流模型的设计与实现

本文在扩展Petri网的基础上，提出了一个新的工作流模型——基于着色工作流网的工作流模型，并对其进行了详细设计。在此模型的基础上，本文实现了一个可视化的工作流建模工具，设计人员通过该工具建立业务过程，并根据模型的定义保存业务过程定义。     

基于Pr／T系统的状态工作流网建模

对于工锋流建模人们常常想到的是根据业务的流程信息进行，侧重活动的推进,然而有些工作流系统侧重描述资源之间的状态转化，其中的活动可能会比较少，而资源之间的交互。状态之间的转化会比较丰富，此时对于常用的工作流建模方法就不能很好的表述这些特点，因此本文提供了一种基于WF-Net和Pr／T系统的状态工作流网State-WF的定义，并结各电子商务实例进一步阐释了这种建模方式与流程工作流建模的不同。     

用着色Petri网建模工作流模式

工作流模式指在工作流过程模型中反复出现的过程基本构造，是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准，目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明，该语言不仅能很好地支持全部模式，而且具有建模简洁、准确的特点。同其它建模语言相比，用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。     

基于区间代数的工作流模式的建模研究

在业务流程建模阶段,从时态角度采分析业务流程,有助于清楚地描述工作流.在对工作流模式以及其中包含的时态语义进行了深入研究之后,根据区间代数的语法,将工作流模式和区间代数结合起来,提出了一种新的用于工作流模式的时间约束建模方法.它不仅从时态角度扩展了工作流建模,明确描述了工作流模式中和时序有关的时态约束和依赖关系,并且能使工作流控制模式和形式化验证工具结合,从而有利于进一步从时态角度研究业务流程建模.