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

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

虚拟企业中的工作流管理系统框架研究

MfMC为工作流管理系统提出的一系列标准，在企业内部信息集成中起到了重要的规范作用。在虚拟企业环境下，要求完全分布式的工作流系统间的集成。本文分析了虚拟企业环境对工作管理系统的要求和传统参考模型的缺陷，提出了一个二阶段的动态工作流扩展框架，试图支持扩展工作流模型克服原有系统的缺陷，以改善工作流的柔性。     

工作流模型的研究与实现

本文介绍工作流以及工作流建模的一些基本概念，以及Petri网技术在工作流模型中的应用，同时提出了一个工作流建模的具体实现方法。本工作流模型的实现包括了企业人员、资源以及任务信息模型的实现，同时任务模型中包括了任务之间的约束关系，以及任务执行过程中产生的文档。     

基于Web的工作流管理系统的研究与开发

采用工作流管理技术可以实现对业务过程的管理和监控,本文首先介绍了工作流及工作流管理系统,提出了一种基于Web的工作流管理结构模型,并初步实现了该模型.     

基于Web的工作流管理系统的研究与开发

采用工作流管理技术可以实现对业务过程的管理和监控,本文首先介绍了工作流及工作流管理系统,提出了一种基于Web的工作流管理结构模型,并初步实现了该模型。     

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

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

基于Petri网的工作流模型合理性验证

工作流管理系统具有实时性、同步和异步操作等特点,其建模方法是成功实施工作流管理的关键,而工作流模型应该完整地支持工作流定义的概念,正确、高效地反应企业的经营组织过程,为确保工作流的正确运行,必须对工作流模型的合理性进行分析和研究,因此工作流的模型分析和优化成为工作流研究的一个重点[7]。该文从各种研究资料出发,利用工作流模型的合理性定义,给出基于Petri网的工作流模型的验证步骤和方法。     

一个基于工作流的CSCW平台

在企业应用中，工作流管理作为一种重要的协同工作技术，为业务过程提供了从建模、分析到控制执行的完整框架．本文基于对工作流技术的研究，详细论述了一个基于工作流的CSCW平台—ECCS系统。     

基于MDA的工作流建模框架

为了解决用MDA来开发工作流系统的研究和实践中存在的问题,基于模型驱动架构的设计思想,建立了一个工作流建模的统一元建模体系。通过将软件的业务逻辑和实现技术分离开来,归纳出建模的步骤;引入模型的四层次结构的元建模体系,从而使得这些模型转换得到保证,使从PIM到PSM、从PSM到代码的转换成为可能。进一步完善了用MDA方式来为工作流建模的轮廓。     

基于Pi-演算的扩展有向图工作流模型及验证

为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法.针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述.在用Pi-演算准确描述扩展有向图工作流模型的基础上,给出了用Pi-演算分析和验证扩展有向图工作流模型正确性的方法.最后,结合实验对扩展有向图工作流模型及验证方法进行了仔细分析,实验结果表明了该工作流模型及验证方法的有效性和正确性.     

面向电子政务的工作流模型的研究与应用

文章分析了我国电子政务应用的特点,提出了一种面向电子政务的基于活动网络图的工作流模型,描述了组成工作流的基本实体类型,讨论了模型如何支持电子政务应用中的复杂流程、如何利用已有组织模型、如何与现有系统集成,同时还讨论了工作流模型与XPDL的映射关系,最后介绍了基于该模型的工作流引擎的实现方法.该工作流引擎已经在税务等多个政府信息系统中得到成功应用,应用结果表明所讨论的工作流模型能够满足我国现有电子政务的应用需求.     

基于过程模型的工作流执行语义研究

针对现有工作流建模语言难以兼顾语言的可理解性、执行语义的形式化和描述维度的单一性等问题,提出利用可视化的过程模型作为工作流建模语言。过程模型能从过程、数据、资源、组织等多个角度描述企事业的业务工作流程。根据过程模型的语法和工作流系统的特点,定义形式化执行语义,为过程模型的分析、验证和执行提供理论依据。     

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

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

一种扩展的工作流过程定义模型

提出了一个支持复杂应用的扩展工作流过程定义模型ScopePModel，它可以描述复杂结构的工作流流程，并且能够清晰地描述任务之间的控制流依赖关系和任务的补偿信息，表达出复杂工作流程的定义；同时，本文所提出的工作流过程定义模型ScopePModel，不仅可以捕捉现实世界业务流程，具有丰富的表达能力，使工作流定义的语义更为明确，而且为工作流过程定义模型验证提供了强大、丰富的理论依据，为工作流过程定义模型验证奠定了良好基础．ScopeWork是我们自行研制开发的工作流管理系统的原型系统，它基于该模型实现了复杂业务过程的工作流过程定义以及调度等功能．     

工作流管理系统建模研究

分析了工作流过程模型的4种互操作模式,并提出了“均衡式”互操作模式。对XPDL1．0进行了扩展,采用扩展后的XPDL作为过程定义语言设计了过程模型,过程模型表达企业的控制流、数据流、资源流。根据以上研究内容,采用C／S结构,COM组件技术、网络编程接口Windows Sockets规范实现了工作流建模。     

基于Web服务的企业工作流研究

针对工作流技术在企业信息化过程中的应用,结合现在最受推崇的Web服务技术,在深入分析两种技术和企业需求的基础上,给出了一个基于Web服务的工作流模型。该模型实现了一个基于XML与实现语言和平台无关的互联网上办公系统,它具有很强大的灵活性和可扩展性,很好地适应了企业未来发展的需要。     

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

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

基于本体的工作流元模型研究

提出使用本体来描述工作流元模型,通过综合目前在工作流元模型方面的研究成果,提炼出工作流元模型的概念,建立可扩展、可理解、可维护的工作流元模型本体,实现在模型层次上的扩展,同时建立工作流的本体知识库,为以后的工作流模型的分析建模、模型的自动验证、以及工作流管理系统之间的互操作奠定坚实的基础。     

一种提高系统柔性的工作流建模方法研究

针对目前工作流管理系统在描述能力和柔性上存在的严重不足,提出了一种基于协调理论和反馈机制的工作流建模方法.该方法扩展了传统活动网络模型,提出了新的建模机制,增加了请求、服务、协调、多实例化等新的建模元素.详细给出了扩展建模元素的实现机制和应用场景,同时还给出了两个模型实例.研究结果表明,与传统的活动网络模型相比,该建模方法在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性方面有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值.     

CAPP系统中工作流管理平台的研究与实现

随着工作流管理技术的广泛应用,在制造企业的信息管理系统中引入工作流管理技术的需求越来越受到人们的重视,该文结合CAPP应用软件平台的开发,论述了工艺工作流管理的内容,并介绍了所开发的工艺工作流管理平台,详细分析了工艺工作流管理平台研究与实现的关键技术和实现过程。