基于角色的动态跨组织商业过程的工作流研究

从角色及其交互的角度描述跨组织工作流．提出角色视图的概念，将工作流管理系统之间的直接交互转化为角色视图层上的协作，实现了角色之间的过程协作，并支持动态跨组织的商业过程．用例表明，在跨组织工作流系统中加入角色视图层，能较好地解决动态跨组织商业过程问题．     

工作流模型及其形式化描述

工作流是一个业务过程的全部或部分自动执行．为了实现工作流管理功能，我们必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述，其结果称为是工作流模型．该文主要讨论工作流模型及其形式化描述问题．基于对现实世界业务过程的分析，该文提出一个三维工作流模型，它包含3个子模型：组织模型、数据模型和过程模型，分别从不同的侧面描述工作流的各种属性．文中详细论述各个子模型及其相互关系，并给出三维工作流模型的形式化描述．     

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

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

基于主动工作流视图的跨组织工作流管理和监控

跨组织工作流可以有效的利用不同企业的资源,提高企业的生产率,因而得到了越来越广泛的应用。如何使企业在增强对外交互能力的同时,保护企业内部的敏感信息,是跨组织工作流应用中的重要问题。工作流视图能有选择的隐藏企业私有工作流的细节,同时对外提供面向过程的接口,是一种有效的实现跨组织工作流的方法。在引入主动工作流视图概念的基础上,提出基于主动工作流视图的跨组织工作流管理和监控的体系结构,探讨了跨组织工作流的主动监控及其实现。     

一种构件化工作流管理系统

工作流管理系统是实现各种信息管理系统工作过程自动化的核心模块。本文提出一种工作流元模型和基于该元模型进行工作流建模的方法,并实现一个构件化的工作流管理系统。该系统支持基于元模型的工作流建模,提供工作流运行的环境,并可以构件的方式集成到外部系统中。     

基于Web Service的分布式工作流系统的设计与实现

首先分析了工作流技术的发展和应用现状,指出了其未来的发展趋势;接着介绍了Web Service的一些相关知识,通过了解各种现有的工作流系统,比较各种工作流模型的优缺点,研究并实现了一种基于Web Service的工作流系统,详细阐述了系统框架设计、过程建模设计、工作流引擎设计等的主要原则思想和各主要部件的功能;最后以一个具体项目为例,阐述了基于Web Service的工作流系统的实现过程,通过系统的运行情况看,该工作流系统能大大提高企业的工作效能。     

基于UML的工作流引擎建模的研究

本文主要使用uML建模技术，对工作流管理系统的核心部分进行建模，并通过用例视图、交互视图、状态机视图以及活动视图对工作流管理系统所应具有的功能层次进行了分析。     

接力式协作的工作流控制模型

针对工作流管理系统的描述、构造和实现问题，讨论了工作流的建模原则，分析了工作流要素间的关系，提出了一个描述工作流控制过程和组织结构的模型——接力式协作的工作流控制模型RCW，给出了实现工作流管理系统的理论框架．     

工作流流程模型结构优化算法的研究

该文从一个新颖的角度提出一种优化工作流流程模型结构的算法,用进程代数CCS来描述工作流流程模型的定义,并引用了进程代数中的互模拟的思想,提出了互模拟活动集合以及子流程的定义,同时给出如何找出复杂工作流流程模型中的互模拟活动的算法,该算法的提出简化了工作流流程模型的结构,从而提高了流程的运行效率。     

UML活动图描述工作流模型的执行语义

UML是软件工程中广泛应用的建模语言,但其主要问题是缺少严格的形式化语义,因而描述的模型容易产生歧义．根据UML活动图的语法和工作流系统的特点,为UML活动图定义了一种执行语义．基于时间转变系统模型,将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程．时间转变描述时间的前进,数据转变修改工作流案例的状态,这种语义比层次状态图具有更强的描述并行的能力,比Petri网和进程代数更适合描述工作流模型．     

Contract-collaboration network method for modeling manufacturing resource control workflows

This paper presents contract-collaboration network (CC-Net) method that is developed to model manufacturing resource control workflows. The CC-Net is an object-oriented class diagram. It depicts the contract-collaboration relationships among the classes in a manufacturing system, with constraints. The CC-Net method uses a primitive modeling block called collaboration module by which the CC-Net is established systematically. This idea is very similar to that of the Lego® block toy. Unlike most workflow modeling methods, the CC-Net method views workflow modeling as a constraint satisfaction process. That is, describing the set of constraint recovery rules corresponding to the constraint violations is regarded as workflow modeling. The obtained set of workflow rules is free from process deadlock and considers all the events of triggering the workflow. We explore the use of the CC-Net method for the workflow modeling of a flexible manufacturing system.     

An object deputy model for realization of flexible and powerful objectbases

In object-oriented databases, data and methods are combined by objects and their classes. Information redundancies are removed by the notions of class hierarchy and inheritance. This contributes the realization of high-performance systems. However, the flexibility of object structures still remains a problem due to its encapsulation feature. In this paper, we introduce an object deputy model which extends conventional object-oriented models with the concepts of deputy objects and deputy classes. A deputy object has its own identifier and may possess its own attributes and methods. It can also have attributes that are computed from values stored within its source object, and can be associated with methods generated from these of the source object. The inheritances are realized by switching operations, which make it possible to realize controllable, selective and dynamic inheritance structures. Schemata of deputy objects are defined by deputy classes which can be derived by an object deputy algebra. An object can have many deputy objects, and several objects can share a single deputy object. Thus, objects can be indirectly divided and combined through their deputy objects. We show that several difficult database problems, such as flexible views, objects with more than one role, object migration, and multiple inheritance become much easier in this model. The data-knowledge coordination model developed for the integration of distributed databases and knowledge-bases can also be realized easily by the object deputy model. Finally, we discuss several advanced database applications of this model, such as geographic databases, virtual office systems, and distant education systems.     

Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment

In an e-service environment, workflow involves not only a single organization but also a number of business partners. Therefore, workflow inter-operability in such an environment is an important issue for enacting workflows. In this article, we introduce our approach of using workflow views as a fundamental support for E-service workflow inter-operability and for controlled visibility of (sub-)workflows by external parties. We discuss various aspects of a workflow view, and their semantics with example usage. Furthermore, we develop a contract model based on workflow views and demonstrate how management of e-contracts can be facilitated, with an Internet start-up E-service inter-organization workflow example.     

集成对象代理数据库的科学工作流服务框架中的数据跟踪

文中提出了一个集成数据库的科学工作流服务框架,它采用对象代理模型描述一系列科学任务的执行过程,使得工作流管理操作以类似于传统数据库管理操作的方式来完成.同时,基于对象代理数据库中的双向指针机制,文中提出了一种新的数据跟踪方法,该方法能提供比注释或反向方法更高的性能,不仅节省了大量的存储空间,而且减少了额外的计算代价,为了进一步提高数据跟踪的高效性,文中也提出了一种部分物化中间数据模式,实验显示它具有较好的系统性能.     

基于J2EE技术的工作流管理系统的研究与实现

介绍了工作流概况和参考模型,根据参考模型中提出的5个应用接口,结合J2EE技术,实现了一个支持系统可重构、软件可重用、规模可扩展的基于J2EE的工作流管理系统,并给出了相关类图设计与实现。     

工作流模型挖掘算法及其应用研究

工作流管理系统由工作流模型所驱动,但产业界的实践表明定义工作流模型的工作不仅费时而且易错。工作流挖掘技术能够帮助解决这一问题,并能为现有工作流的分析与优化提供参考。简要介绍三种典型且具有应用价值的工作流模型挖掘算法,并应用其中一种挖掘算法,详细讨论了一个实际的工作流模型挖掘过程。挖掘过程以某Staffware系统的工作流日志文件为起点,包括数据预处理、初始工作流模型挖掘、初始工作流模型化简三个主要步骤,具体实现可通过一个工作流模型挖掘子系统参与完成。     

工作流合理性验证中的事件平衡分析

工作流合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题,许多工作流管理系统都缺乏有效的方法和工具来保证工作流的合理性.从事件平衡的角度推导了合理工作流所具备的必要条件,提出工作流执行历史的事件平衡定理,并把事件平衡的计算引入工作流模型,用以分析模型中是否存在可能破坏工作流合理性的结构.这种分析方法不受具体工作流模型的限制,适用范围广,而且具有多项式时间的计算复杂度.     

基于UML的工作流建模

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