跨组织业务过程协同并行建模

为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。     

企业业务过程性能实时管理技术研究

为了及时反馈业务过程性能信息,保障企业持续无误执行其关键业务过程,提出基于事件-条件-活动规则和过程仓库的支持业务过程性能实时管理的4层框架,并据此框架搭建系统体系结构。在该方案中,事件-条件-活动规则用于描述过程性能控制逻辑,将过程仓库作为过程性能指标的计算模型;为满足性能指标的实时计算需求,采用实时过程仓库与历史过程仓库分离的策略;实时过程仓库的设计遵循业务过程性能评价体系,且满足工作流参考模型。另外,通过实例介绍了实施实时监控后的业务场景和业务过程性能控制方案的重新设置,通过事件-条件-活动规则的更新,满足了企业敏捷性和智能性的需求。     

网络化协同设计制造中的柔性工作流管理研究

针对典型区域性网络化协同设计制造平台及其虚拟社区的管理机制进行了研究,提出了基于柔性工作流和数据库技术的网络化协同管理方案,结合实例分析,介绍了网络化协同设计制造过程中的柔性工作流定义、数据库操作.对于网络化协同虚拟社区中典型的链状合作型和排斥竞争型企业分别实现了不同的应用模式,建立了基于数据库的协同柔性工作流模板库,并对协同设计制造柔性工作流中的权限管理和冲突协调提出了初步的解决方法,能够有效地自动控制典型的区域性的网络化协同设计制造平台的工作流程和进行资源管理、状态监控,对于提高网络化协同设计制造的工作效率和自动化有一定的应用价值.     

动态工作流建模方法的研究与设计

为了提高工作流对动态不确定因素的处理能力，提出了一种基于事件一条件一活动规则和活动组合的动态工作流模型。该模型用柔性活动封装流程中的不确定因素，用选取规则和组合规则来约束柔性活动的具体化过程，并设计了一个追求活动最高并发度的活动自动组合算法，以便最大限度地利用系统资源，提高流程执行效率。还设计了一个检验活动选取和活动组合的算法，保证了柔性活动具体化后形成的子流程的合法性。     

基于活动网络图的面向扩展的工作流过程模型

工作流过程模型对企业业务过程进行抽象表示,作为工作流模型的核心,它已成为当前工作流建模研究的重点。为了解决现有活动网络图建模方法对状态和条件描述能力差的问题,在模型中增加了条件约束,引进了"状态"和"条件",提出了一种基于活动网络图的面向扩展的工作流过程模型。研究结果表明,这种模型在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性方面有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值。     

基于时间关键路径的工作流模型优化方法

工作流模型在建模阶段不可能完全考虑到所有的情况,业务过程中深层的语义规则也不可能完全挖掘出来,工作流模型结构需要优化.执行时间是业务过程执行效率的一个重要度量,因此为了缩短工作流的平均执行时间,提出了一种对工作流平均执行时间最长的路径-关键路径的优化方法.通过分析关键路径上任务之间的依存关系,在模型建立阶段,尽可能地转换数据依存关系为控制依存关系,在工作流模型上增加选择和并行控制结构,并保证数据的一致性,最终达到优化工作流关键路径的目的.最后利用关键路径识别算法对结果进行对比分析,验证方法的有效性.     

面向服务型制造的协同业务流程构建框架

为实现服务型制造模式下跨组织业务流程的运行,提高企业对市场变化的适应能力,提出一种基于语义的跨组织协同业务流程构建框架.以制造服务为业务活动功能的实现载体,通过对服务能力进行语义描述,以服务能力为中介,实现业务逻辑和实现技术之间的松耦合,形成一种随需应变的业务构建模式.对框架内的制造服务语义建模、服务发现匹配和服务组合三项关键技术进行了研究.开发了协同业务流程构建原型系统,结合企业实际给出了框架实例,验证了方法的可行性.     

基于本体的业务过程集成的研究及实现

论述了基于本体的业务过程集成的模型设计。结合最新的跨internet的web服务技术,该模型不仅支持跨企业的业务合作,而且在同一领域内有共同的语义基础及业务过程规范,因而增强了企业间业务协同能力。     

基于扩展UML活动图的工作流建模及其到XPDL的转换

针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语言规范相结合的工作流建模方法.为了增强统一建模语言活动图的建模能力,扩展了多实例、条件路由和协调活动等建模元素,给出了建模元素的定义和建模规则.为了使统一建模语言活动图的工作流模型能适应不同工作流引擎的执行,定义了统一建模语言活动图到可扩展标记语言的过程定义语言的形式化转换规则.最后,通过订单处理实例,说明了该方法对增强模型描述能力、适应性和柔性具有积极作用.     

网格中一种事件驱动的服务动态中介机制

为实现网格中自治、动态和语义不一致的服务之间的互操作,提出一种事件驱动的服务动态中介机制,以解决网格中服务的动态匹配和互操作问题.在该机制中,引入了业务事件,围绕业务事件给出了一组业务事件关系.基于业务事件关系,给出了四个服务中介操作原语,以实现网格环境下服务之间更为松耦合的交互和数据交换.结合跨组织的供应链场景,讨论了该机制的核心概念、工作原理和互操作过程.实验表明,该机制能够在保持各个服务独立性的情况下实现服务之间的互操作.     

以角色为中心的协同技术研究

电子商务的发展，促进了企业之间的协作，同时对企业之间的协同技术提出了更高的要求。工作流管理系统的互操作提供了企业间的协同方式，门户技术是针对不同角色提供信息和功能集成的工具，它与工作流有许多互补的方面。结合工作流和门户技术，给出了一种以角色为中心的协同环境。     

Context-aware Workflow Model for Supporting Composite Workflows

-In recent years,several researchers have applied workflow technologies for service automation on ubiquitous computing environments.However,most context-aware oprkflows do not offer a method to compose several workflows in order to get more large-scale or complicated workflow.They only provide a simple workflow model,not a composite workflow model.In this paper,the autorhs propose a context-aware worrkflow model to support composite workflows by expanding the patterns of the existing context-aware workflows,which support the basic workflow patterns.The suggested worklow modei offers composite workflow patterns for a context-aware workflow,which consists of various flow patterns,such as simple,split,parallel flows,and subflow.With the suggested model,the model can easily reuse few of existing workflows to make a new workflow.As a result,it can save the development efforts and time of cantext-aware workflows and increase the workflow reusability.Therefore,the suggested model is expected to make it easy to develop applications related to context-aware workflow services on ubiquitous computing environments.     

扩展模糊时间工作流网的建模与仿真研究

针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述.在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法.同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法.最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性.     

工作流知识规则仿真的研究与实现

工作流仿真是目前工作流系统研究的主流方向之一。针对利用知识规则建模的工作流系统,如何确保自定义的知识规则的可靠性,从工作流模型建模、仿真平台的构建和仿真引擎3个方面,研究了工作流知识规则的仿真,通过可视化的实例显示以及统计技术等手段,精确地找出知识规则的错误。     

一种时间工作流模型的启发式分析方法

立足于实际业务过程对工作流系统时间管理功能的需求，提出了一种新的工作流时间建模与分析方法。为工作流网的元素扩展时间属性建模业务过程的时间因素；讨论了时序业务环境中活动的可调度分析，给出了时序一致性验证方法；提出了启发式可调度性分析方法，用于验证某一给定工作流实例执行的时间可行性。研究结果表明，所提方法不仅支持业务过程的时间约束规范与验证，还对丰富工作流时间建模理论具有重要意义。     

面向订单型企业ERP中的工作流管理

ERP是一种利用信息技术全面整合企业资源的管理技术，已被越来越多的企业重视和利用。但是，由于ERP是一面向功能的事物处理系统，处理流程固化在系统之中，使得企业(特别是面向定单型企业)在处理不同业务需求时，不能灵活地应对，影响了系统的使用效果。因此，将工作流管理技术引入ERP，对提高ERP技术的实用性和灵活性具有重要的作用。文章通过将角色、权限、任务、资源等作为工作流要素，采用面向对象的方法建立工作流管理模型，并以此支持ERP中的业务处理，从而使ERP系统可灵活地配置其业务流程，提高了ERP的实用性和灵活性。     

基于ECA规则的适应性工作流技术研究

工作流管理系统能够给企业的业务运行提供有力支持。但是，目前的工作流管理系统对过程模型的表达过分简化，影响了它在实际应用中的效果。为了提高工作流管理系统的适应性，文中形式化地定义了适合于工作流的ECA规则。在此基础上提出了基于ECA规则的工作流模型，并将该模型与基于Petri网和基于UML活动图的工作流模型进行了比较。提出了一种基于事件表达式重写策略的事件检测方法，以提高工作流引擎的执行效率。最后，介绍了一个基于ECA规则的工作流技术的应用系统。     

基于状态控制的动态柔性工作流

为了解决工作流的动态性及柔性问题,提出了一种基于状态控制的解决方案。在该方案中,采用面向对象的设计方法,将工作流中的活动节点和流转公文描述成对象,并采用访问控制矩阵的方法来描述对象状态的迁移过程。重点分析了如何通过角色流和控制流的相互配合来实现基于状态的动态访问控制,提出了工作流模型进行动态演化的算法。另外,提出了一系列相应的演进规则,使动态变化的工作流程能与原流程实现无缝衔接,在适应动态变化的同时具备了一定的柔性,给出的程序代码风格的演化算法和演进规则,保证了实际应用的可行性。     

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性,以及资源和变迁的有效时间约束问题。为此,通过对模糊时间Petri网的各个元素中引入时间约束,提出了一种工作流模型,即模糊时态工作流网,给出了该工作流网中各种时态元素的计算方法,并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后,用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模,并对一些典型的时间约束进行时间可能性分析。     

工作流时间性能分析方法

工作流性能分析是对工作流进行评价和优化的基础,时间则是反映工作流性能的一个重要方面。工作流管理系统中通常有属于不同工作流的多个实例同时运行,从而在不同工作流的多个实例之间造成资源竞争。对此,从资源的角度出发,利用排队论提出了一种通用的工作流时间性能分析方法,其中采用工作流实例平均响应时间作为工作流时间性能的分析与评价的指标。最后,通过实例说明了该方法的可行性和有效性,并提出了未来的研究方向。