信牌驱动模型中的工作流模式

目的 评估信牌驱动模型在工作流过程控制流建模方面的表达能力和适用性。方法基于工作流模式,分析信牌驱动模型中各种模式的实现方式,并与其他过程建模语言进行比较。结果信牌驱动模型支持绝大多数工作流模式。结论信牌驱动模型是一种具有很强表达能力的工作流过程定义模型,能够满足广泛的业务需求。     

信牌驱动式Web工作流管理系统计算模型

近年来,随着计算机和网络的广泛使用,支持复杂业务过程,以实现业务流程自动化为目标的工作流管理系统引起了越来越多的关注。工作流的自动化执行有赖于对业务流程的形式化描述,以保证流程参与者之间的协同工作以及数据的一致性和过程的可靠性。因此流程建模(过程定义)是实现整个工作流管理系统的关键。本文提出了一种新的业务流程描述模型-信牌驱动式工作流计算模型,它是一个基于Web的工作流管理系统的理论基础。     

工作流机的操作语义

针对还没有工作流模型的执行过程的形式化描述的问题,给出工作流机处理步骤的操作语义描述.由于对过程实例和活动实例进行形式化描述,使得工作流机具有清晰的结构,易于不同的工作流机之间的协同工作,并且对工作流机的程序实现具有指导意义.     

业务过程模型驱动的网格工作流互操作机制

从工作流调度模型、工作流映射模型和业务过程评价模型等角度，建立了业务过程模型驱动的动态网格工作流的互操作机制．通过不同层次的业务过程模型，驱动支持企业间集成的全局工作流机、支持企业内异构平台集成的工作流机、企业内同一平台下的工作流机，建立工作流调度模型，解决面向业务流程的动态集成问题；通过建立业务工作流、抽象工作流、执行工作流的映射模型，解决复杂业务工作流到执行工作流的映射与纵向式集成问题；通过建立业务过程选择模型，解决企业业务过程在动态联盟合作伙伴间的评价、动态选择与共享问题．     

一种提高活动网络图柔性的工作流建模方法研究

现有的工作流模型基本上基于“静态”程序定义,不能根据工作流实例的运行状况而动态地修改模型配置和控制数据信息.针对目前工作流过程模型在描述能力、柔性定义、过程重用、异常处理等方面存在的不足,采用问题分离原则,引入条件设定机制、协调反馈机制的多实例机制,扩展了传统活动网络图模型的建模属性和元素,使其在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值.     

基于访问代理的工作流系统协作接口模型的设计与实现

目前的工作流系统与外部应用耦合性强,很大程度上要受外部应用的限制.设计了基于Web Services的协同工作流管理系统模型,并在该模型的基础上,在工作流引擎和外围应用之间建立访问代理机制,并设计了一个基于访问代理的工作流系统协作接口模型,突破了绝大多数工作流引擎的局限,解决了异构环境下业务协同的接口问题.该模型具有良好的互操作性、灵活性与可扩展性.     

XMLWeb Services技术在工作流访问代理协同接口中的应用

目前的工作流系统与外部应用耦合性强,很大程度上限制了工作流系统进一步集成现有的应用程序.在基于web-services的协同工作流管理系统模型的基础上,在工作流引擎和外围应用之间建立访问代理机制,设计了一个基于XML技术的访问代理协作接口模型,解决了异构环境下业务协同的接口问题.该模型具有良好的互操作性、灵活性与可扩展性.     

面向需求表达的个性化产品协作式工作流建模

文章为建立有效的个性化产品开发平台,通过分析产品需求特征,提出客户驱动的个性化产品需求敏捷表达形式。以工作流技术为基础,建立需求结点的元模型、结点状态的基本形式及状态间的转换,利用需求表达结点的关联类型,对需求表达协作式工作流模型加以研究;提出需求表达协作式工作流语义描述,构建协作式工作流管理逻辑结构,从而达到需求表达过程的有效性、可靠性和一致性目的;最后以一个实例来描述客户需求表达工作流模型,使需求建模满足个性化产品设计系统要求。     

基于RoleNet模型的工作流引擎设计及实现

对动态流程的建模和支持一直是工作流引擎设计和实现中的难题.将过程建模方法划分为以活动为中心和以角色为中心2种类型,分析了传统的过程建模方法在对动态流程描述方面的不足,提出了一种以角色为中心的过程模型RoleNet,并且基于该模型开发了工作流引擎OM Engine.实际的应用情况表明,OM Engine对动态流程具有较好的适应性,同时也验证了RoleNet模型的可行性.     

一种工作流管理系统新模型的研究与实现

在分析传统企业管理系统应用局限性的基础上,讨论了工作流的基本概念.针对目前工作流管理系统在描述能力和跨平台性不强等方面的问题,以工作流管理系统参考模型为依据,提出了一个基于J2EE的工作流管理系统新模型.该模型采用分层架构分解复杂的业务流程,提高了系统的描述能力和跨平台能力.通过一个实例证明,该系统模型能够适应信息管理系统业务过程的不断重组问题,提高了应用系统开发效率.     

基于活动网络图的柔性工作流系统的设计与实现

介绍了目前国内外工作流技术的研究现状，在分析比较的基础上提出了一种基于活动网络图的柔性工作流系统的设计实现方案。该方案给出了一种工作流运行期的动态控制模型，表现在工作流执行路由、活动功能、相关资源的动态调整，较好地解决了企业实际工作流运行中动态变化的需求。同时，本系统结合了活动网络图直观、易用的特点，C／S、B／S优点结合的工作流部署方案，让用户在轻松直观的环境下快速地建立工作流模型、控制工作流的运行并监视工作流的运行状态。     

Modeling Workflow Using UML Activity Diagram

An enterprise can improve its adaptabihty in the changing market by means of workflow teclmolo-gies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow model is an abstract representation of the real-world business process. The Unified Modeling language (UML) activity diagram is an important visual process modehng language proposed by the Object Management Group (OMG). The novelty of this paper is representing workflow model by means of UML activity diagram. A translation from UML activity diagram to π-calculus is established.Using π-calculus, the deadlock property of workflow is analyzed.     

一种在业务系统中嵌入工作流管理的方法

在业务系统中引入工作流技术能有效地把企业的各种资源合理地组织在一起，通过分析工作流管理系统的功能需求和业务系统已有的功能，指出在业务系统中实现工作流管理主要需增加过程定义、过程控制功能．根据UML活动图提出了一种基于对象流的工作流模型思想，并给出了采用关系视图表示对象流状态的工作流定义和运行控制的设计和实现方法．利用对象流技术进行工作流建模易于理解，并且能够很好地和关系型数据库结合，集成到传统业务系统中，提高了软件重用和开发效率．     

Approach for workflow modeling using π-calculus

As a variant of process algebra, π-calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workilow models using ~-calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS ( Labeled Transition Semantics) semantics of π-calculus. The main advantage of the worktlow model‘s formal semantic is that it allows for verification of the model‘s properties, such as deadlock-free and normal termination. Moreover, the equivalence of worktlow models can be checked thlx)ugh weak bisimulation theorem in the π-caleulus, thus facilitating the optimizationof business processes.     

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

基于工作流的企业过程分析与重组方法研究

为了解决目前大多数过程建模方法都不能够充分满足BPR需要的问题,应用工作流技术,提出了一种附带有过程语义字典的工作流扩展模型。同传统的建模方法相比,工作流扩展模型进一步丰富了过程的语义属性,它不仅满足BPR对流程进行规范化描述的需要,而且还具有描述并发、冲突、同步等复杂关系的能力。同时,它还提供了基于相似性和耦合性的过程分析技术,从而为实现过程的重组提供了重要依据。最后,通过一个应用实例对模型进行了验证。     

基于全序语义结构化工作流的研究

针对业务过程的规范化建模问题,研究结构化工作流.证明了基于全序语义的任意工作流均可转化为与其等价的结构化形式,提出了一种结构化工作流代数,并给出了其语义解释模型.在此基础上,形式化地定义了结构化工作流过程和结构化工作流过程函数,从理论上提供了构建规范化、合理化和柔性化业务工作流概念模型的表示方法和操作语言.医疗实例分析证明了结构化工作流理论在过程建模、再造和动态重组中的有效应用.     

基于JAVA的集成型工作流引擎的设计

针对中小型项目的工作流应用 ,设计了一个基于JAVA的集成型工作流引擎 ,该工作流引擎由工作流元模型、工作流执行引擎以及客户端接口三部分组成 .文中给出了工作流引擎各部分设计 ,并做了详细的说明 .在该设计的基础上 ,已经开发出了一套工作流引擎软件 ,并应用在多个项目中 ,证实其具有高效性和可扩展性 .使用该引擎可以容易地整合业务逻辑和业务流程 ,降低项目的开发成本 .     

基于过程链的产品开发过程建模研究

研究了事件驱动的过程链模型及其相关概念,给出了过程链模型的形式化表达．鉴于工作流模型在表达业务逻辑和过程信息方面具有优势,因此提出了事件驱动过程链与工作流模型的映射规则．基于过程链和工作流,以建立产品开发过程模型,从而有效地管理开发过程．最后给出了一个基于过程链的产品开发过程的建模实例．