基于扩展计算网的分层网格工作流支撑环境

针对实现资源共享和协同工作的网格技术应用研究与发展现状,提出了分层网格工作流体系结构:在设计层利用网格工作流逻辑和网格工作流语义建模网格工作流,在运行层利用网格工作流调度引擎和网格工作流实施引擎完成任务的实施,在资源层通过网格中间件和运行层交互。为支持上述结构,在(扩展)工作流网和计算网基础上,定义了扩展计算网模型。最后以实例说明了分层网格工作流建模支撑环境的具体应用。     

借助Petri网进行流程审计

信息的使用者往往关注保存在介质上的信息而忽视处理信息的程序。由于保存在介质上的信息有多个操作入口,即使处理信息的程序真实地反映了组织的业务流程,也难保证信息使用者所获得的信息是正确的,也就是说对于访问数据的程序,存在外部干扰。引入数据库中的审计表功能,协助信息系统审计人员识别信息系统中数据的形成是否遵循了既定的业务流程。由于Petri网是描述流程的有力工具,对于复杂的业务流程,引入Petri网对流程进行审计是必要的。     

基于Petri网的业务流程成本分析方法

Petri网是一个功能强大的建模工具,已广泛应用于业务流程的建模与分析,但是原型Petri网对业务流程的成本分析却无能为力.首先介绍原型Petri网的定义,然后针对实际业务流程建模中成本预算分析的需要,对原型Petri网扩展价格因素,定义了价格Petri网及其变迁触发规则,而后定义了计价状态空间的概念,并给出计价状态可达空间的构造算法,最后通过一个例子说明价格Petri网可以有效地对业务流程进行成本分析.     

一种扩展了价格信息的Petri网

提出一种扩展了价格信息的Petri网——价格Petri网,讨论了相应的分析方法和应用前景。主要工作是：为Petri网的变迁引入价格参数,并用价格变迁系统给出价格Petri网的语义;对价格Petri网进行了可达性分析并讨论了最小成本可达问题的可判定性;最后用价格Petri网建立一个业务流程的成本模型。结论是：为Petri网扩展价     

基于扩展同步Petri网的BPEL建模

使用业务流程执行语言(BPEL)描述复杂业务流程时容易出错。针对以上问题,通过对同步Petri网进行扩展,设计一个更适合BPEL建模的模型SPN-NET,给出各种BPEL结构化活动到SPN-NET的转换,提出一种具有一般性的相似性化简算法。合理性验证和性能分析表明,该模型简洁紧凑,可理解性好。     

模糊时间Petri网及扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design／CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。     

一类资源组合问题的扩展参数Petri网建模与优化研究

现代企业重组及ＣＩＭＳ资源调度问题是一类典型资源组合优化问题。文中针对这类资源组合优化问题。提出一种新的建模方法－－扩展参数Ｐｅｔｒｉ网。该网通过着色Ｐｅｔｒｉ网和时间Ｐｅｔｒｉ网中引入扩展参数使之对任务执行过程具有很强的模型描述与性能评价能力。另外,在该网中扩展的控制决策层Ｐｅｔｒｉ网模型不仅实现了对资源组合方案选择与评价并且可以方便地与不同的优化策略与优化算法进行集成,使问题的求解更加灵活、高     

一种扩展了价格信息的时间Petri网

性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网--价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的.     

基于扩展染色Petri网的工作流过程模型

尽管已有广泛领域应用,但工作流系统在处理业务流程不确定的和动态的参数规格表时存在局限性。为此,本文提出基于扩展染色petri网的CPWF-net以及定义变迁行为和原子过程作为CPWF-net工作流模式结构的支持。这些工作流模式是从微观上进行处理,并可应用于动态不稳定的与时间和数据相关的环境中。本文通过CPWF-net执行程序检测工作流错误或异常执行状态,评估动态业务流程的整体执行时间,证实所提方法的有效性。     

一种基于Petri网的审批业务工作流模型

在给出审批业务形式化定义的基础上,针对审批动态行为过程提出了一个形式化模型EABWF net。与传统的面向过程的建模方式不同,该模型以审批角色为中心,以消息为流转机制,以规则为流程控制逻辑。该模型克服了传统建模方式在审批业务工作流建模中缺乏流程柔性和系统灵活性的缺点,能更加直观、清晰地描述审批业务。     

A systematic approach to business process reengineering

In this study, a business process is defined as a set of various tasks which are closely inter-related and is assumed to have its own objectives to achieve. A set of processes constitute a business system. Many business process reengineering plans turned out to be unsuccessful because they are based on the existing process which assumed tasks along the process independent or based on the assumption that a process is independent of other processes. This approach generated redundant tasks or led to conflict between business processes. Under this approach, it very difficult to predict the result of the plan due to localized analysis of the process. To avoid aforementioned problems, a systematic, analytic and iterative approach to build up a master plan for business process reengineering is proposed.     

一种扩展了价格信息的着色Petri网及其应用

基于实际业务流程建模中成本预算分析的需要，在着色网的基础上扩展了价格信息，提出了价格着色网。讨论了价格着色网的变迁规则，并以一个业务流程实例介绍了价格着色网的分析技术及其应用，实验结果表明着色网扩展价格信息是可行的而且是有效的。     

基于彩色Petri网的工作流权限管理的建模与分析

在一个组织中,权限管理是个非常复杂而又重要的任务。为确保组织的业务过程中各项任务只能被合法的用户所执行,建立授权模型并验证权限分配的正确性是十分必要的。彩色Petri网具有比Petri网更强的表达能力,可以用来建立一个完整的权限管理模型,不仅包含权限管理,还包含安全约束如SoD（职责分离）以及角色层次关系结构（role hierarchy）等概念。使用Petri网建模的一个优势是它建立在坚实的数学基础之上,并且得到了许多分析验证技术和工具的支持,如使用线性代数技术分析授权状态的可达性。     

流程树切挖掘业务流程隐变迁的方法

隐变迁是指存在于事件日志中的不频繁行为,从流程模型中挖掘出隐变迁,提高流程运行效率和服务质量显得尤为重要。已有的方法大部分基于业务流程序列进行分析,但很少考虑跨序列间的关系,因此对挖掘业务流程隐变迁有一定的影响。提出流程树切挖掘业务流程隐变迁的方法,首先根据发生频数较高的日志序列得到初始模型,再根据流程树切预处理事件日志,把日志活动关系与初始模型关系进行对比,找到存在变化的区域,挖掘可能存在的隐变迁,通过评价指标判定带隐变迁的模型是最优模型,最后实例分析验证该方法的有效性。     

场景驱动的业务过程模型设计方法

针对从初始需求出发逐步构造业务过程模型的问题,提出了一种场景驱动的业务过程模型设计方法。该方法强调场景在整个业务流程中的作用,并以此为核心驱动整个业务过程模型的设计。最后依据设计场景规约抽取构件行为,并进行构件组装与绑定,从而形成结构良好,内容完备的可执行业务过程。最后以实例说明了该方法的应用。     

融合特征网与模块网的业务过程挖掘

过程挖掘目的是通过分析由信息系统记录的日志得出的过程模型,从而改善和维护业务流程。目前,许多业务流程都以模块化的方式进行交互。虽然很多过程挖掘算法已经被提出来,不过对于处理多模块还有一定的局限性。提出了基于特征网与模块网的挖掘算法,根据日志将特征分为不同模块;在此基础上,分别求出模块间特征交互的特征网与模块内的特征交互模块网;将两者根据提出的融合算法进行融合,得到完整的过程模型。通过一个用户网上购物的实例说明了该算法的可行性。     

基于Petri网的知识空间建模方法与学习路径控制

对学生学习路径的控制和学习状态的了解在自主学习系统中是一个重要的问题,以知识空间理论为基础建立了学习状态空间,并通过Petri网对该学习状态空间进行了建模,利用Petri网实现了学习状态空间中所有可能的学习路径控制和学生学习状态的了解,在此模型中学生可以利用Petri网的变迁实现自由的学习控制,并通过Petri网库所标识来了解学生的学习状态,达到个性化学习路径的目的。     

分离业务规则和过程流的业务过程模型研究

针对动态环境中业务逻辑的不断变化,通过业务规则和过程流分别描述业务过程中的易变和相对稳定业务逻辑,构建了业务过程模型BPM4DBL（Business Process Model for Dynamic Business Logic）。模型引入了活动、规则和事件元素,定义了分离业务规则和过程流的元组表达,并且给出了业务规则和过程流之间的耦合策略。最后,给出了一个BPM4DBL的具体应用实例。