基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

基于Petri网的工作流过程模型及资源分布分析

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法,即扩展时延Petri网。给出了扩展时延Petri网的定义,并用该方法分析了工作流四种基本模型;给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法,用这种方法可求得与实例到达率相关的工作流模型平均完成时间。最后应用上述方法讨论了工作流资源分布的几种模式,并与模拟结果加以对比,计算结果的最大误差在3%左右,说明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

MDA框架中CIM业务流模型与PIM工作流模型的一致性验证

对平台无关模型(PIM)层次上的工作流模型进行细化操作，往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此，提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化，并利用扩展Petri网形式化描述每种细化的语义条件；设计语义一致性验证步骤；演示语义一致性验证的过程和结果。实验结果表明，该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流，以及修改的程度。     

一种基于策略的工作流过程元模型

随着工作流的广泛应用,人们对工作流系统的灵活性提出了新的要求。作为工作流系统的核心,工作流的过程元模型很大程度上决定了工作流系统的能力。结合互联网工程任务组（Internet Engineering Task Force,IETF）提出的策略的概念和策略部署模型,提出一种基于策略的工作流管理系统,并结合工作流系统的特点,提出了描述工作流策略语言,使用基于策略扩展的Petri网建立工作流过程模型的方法。基于该元模型的定义的工作流具有较好的灵活性,并对工作流的运行期实例的动态修改提供支持。     

“过程”新论

“过程”本是计算机界早期的话题.关于“过程”的研究热潮早已成为过去,很长时间已很少有人谈及“过程”.然而,工作流和业务过程管理系统（BPMS）的出现使“过程”再次成为研究的热点.业务过程管理系统被认为是继工作流技术之后实现业务过程的创建、集成、复用的下一代技术.它在过程的描述、实现方法上用Process把业务流中的控制流、数据流和参与者统一起来.Petri Net是一种很好的描述过程管理的模型,它能够较好地描述系统执行过程中的并行、竞争和同步等特性.本文论述了建立过程模型中遇到的一些新问题,并介绍了一种基于Petri Net扩展后形成的信牌驱动式业务过程模型,和用于解决业务管理中诸多问题的方法和相关研究工作.     

一种基于同步网的工作流管理系统

作为一类典型的CSCW系统,工作流管理系统主要提供异步、结构化的协同支持。本文从模型入手,介绍了一种基于Petri网的工作流模型——同步网。它采用分层视图描述了过程逻辑、语义及管理,过程模型和管理模型的互动关系用来指导工作流引擎的构造。本文基于同步网开发了工作流管理系统,支持工作流的定义、执行和管理。为了满足CSCW的需要,工作流管理系统中增加了同步协作机制。     

基于反应型的Petri网工作流业务过程建模

传统的基于令牌机制的Petri网工作流模型虽然被广泛应用,但不能完整准确地反映工作流引擎运行时的实际情况。在充分考虑了系统运行时的实际场景之后,提出了一种基于反应型机制的Petri网工作流模型;然后分析了标准Petri网工作流模型到反应型Petri网工作流模型的转换方法和实现步骤,并给出了验证的思路。     

基于XML的Petri网流程描述及构造

工作流过程定义可以采用不同的建模方法,由于Petri网有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具,XPDL是基于XML技术的工作流过程定义语言。文中提出了六种基本的Petri网流程模块,给出了由Petri网向XPDL转换的方法以及由XPDL构造Petri网的方法。     

WF-net模型到PNML的转换方法研究与实现

Petri网标记语言PNMI是一种基于XM工的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNMI格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实现了WF-net描述到PNML描述自动转换的工具软件。这些工作为Petri网标准交换格式的制定做了有力的探索。     

基于MDA的Web应用系统开发研究

模型驱动架构MDA是由 OMG(object management group)组织定义的一个软件开发架构.平台无关模型 PIM 是 MDA的核心.介绍了MDA的基本思想,探讨了MDA支持工具的发展,进而论述了利用 AndroMDA 进行Web应用系统开发的方法,并通过实例详细描述了构建 PIM 模型的过程.     

信息系统中PIM功能元模型的构建研究

为了解决传统信息系统不能随着需求的改变而及时改变的问题,OMG提出了模型驱动体系(MDA)。平台无关模型(PIM)是模型驱动体系中最重要的一环,为了更好地建立信息系统的平台无关模型,提出了从信息系统的功能角度入手构建PIM。首先介绍了MDA框架下的信息系统开发过程,然后从模型构建的一般性要求出发,结合MDA框架下的信息系统开发的特点,提出了MDA框架下的信息系统开发过程的PIM功能元模型构建方法。为了验证了构建方法的正确性,最后基于XML语言实现了PIM功能元模型的构建。     

面向方面的MDA开发方法

MDA中提出了两种重要的模型:平台无关模型和平台相关模型.PIM是反映系统功能性需求的业务模型,PSM是PIM针对实现技术的映射.对于系统的非功能性需求,如安全性、性能、内存管理和通信等,MDA中未提出明确的模型.借鉴面向方面的编程(AOP)的思想,提出了一种基于UML Profile的"方面"建模表示法,用于在MDA中对系统的非功能性需求建立方面模型(AOM),并在MDA方法中增加模型编织(Weaver)环节,得到功能更为强大的基于方面的MDA开发方法.     

基于P/T系统化简方法的工作流过程模型验证

目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.最后,结合一个业务过程实例,根据转换规则把它映射为过程网,应用规则进行化简并得到验证结果.     

基于MDA的分布式建模仿真框架

分析现有分布式建模仿真存在的缺点,提出将模型驱动体系结构(MDA)应用于分布式建模仿真。设计一个基于MDA的分布式建模仿真框架,给出资源层、PIM建模层、PSM建模层和仿真运行平台层的四层仿真体系结构。研究该框架的开发过程及关键技术,并设计即插即用武器系统分布式仿真平台。仿真结果表明,该框架使得分布式仿真系统具有更好的可扩展性,提高了仿真组件的互操作性和可重用性。     

基于HTCPN的工程项目群工作流建模与仿真

在工程项目群实施阶段框架模型构建的基础上, 基于分层赋时着色Petri网定义了工程项目群实施阶段工作流模型。借助CPN Tools仿真平台, 以某工程项目群实施阶段为例进行了实例建模与仿真, 验证了基于分层赋时着色Petri网构建工程项目群实施阶段工作流模型的有效性。该工作流模型能够全面、准确地描述项目群复杂系统的实施全过程, 为实现项目群管理中的进度风险分析和流程优化提供技术与方法的支持。     

Workflow mining: discovering process models from event logs

Contemporary workflow management systems are driven by explicit process models, i.e., a completely specified workflow design is required in order to enact a given workflow process. Creating a workflow design is a complicated time-consuming process and, typically, there are discrepancies between the actual workflow processes and the processes as perceived by the management. Therefore, we have developed techniques for discovering workflow models. The starting point for such techniques is a so-called "workflow log" containing information about the workflow process as it is actually being executed. We present a new algorithm to extract a process model from such a log and represent it in terms of a Petri net. However, we also demonstrate that it is not possible to discover arbitrary workflow processes. We explore a class of workflow processes that can be discovered. We show that the /spl alpha/-algorithm can successfully mine any workflow represented by a so-called SWF-net.     

轻量级J2EE框架下工作流驱动的动态虚拟实验室

综合考虑基于构件组装技术的虚拟实验室的系统需求,分析了工作流驱动的动态虚拟实验室的业务处理模型,介绍了轻量级J2EE框架（SSH）与工作流系统（Shark和JaWE）的集成模型,提出了一种轻量级J2EE框架下工作流驱动的动态虚拟实验室的设计和实现方法,给出了虚拟实验项目的实现机制、数据流和控制流的管理方法,以及实验流程的动态组装方法,最后,以应用实例说明了本文方法的有效性。     

一个MDA支撑工具的设计与实现

MDA是OMG提出的用于解决中间件集成问题的软件开发方法。MDA开发方法以系统模型作为软件开发的主线。在这样的开发过程中,强有力的模型转换支撑工具是MDA思想能够得到广泛应用的关键。而从平台无关模型PIM到平台相关模型PSM的转换工具尤其重要。描述了一个从PIM自动转换到PSM的工具的设计思想。工具使用EDOC profile的一个子集作为PIM的描述方法,使用J2EE作为目标平台。基于一组从PIM到J2EE平台上软件模型的转换规则,工具实现了从PIM到J2EE平台上的PSM的自动转换。