利用扩展的Petri网模型形式化业务场景模型

UCM模型作为一种图形化的业务场景模型,其场景设计可以表示需求和产生规格,驱动设计和系统演化,UCM模型的正确性影响软件开发的质量.鉴于形式化模型可以验证其正确性,提出了一种利用扩展的Petri网模型,应用模型驱动实现业务场景模型的形式化方法.该方法通过细化Petri网模型中的Transition结点,从而有效的描述业务场景模型中的路径决策和动态行为.通过对UCM模型和扩展的Petri网模型的抽象语法定义,利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则,并根据其规则设计了映射算法;在Eclipse平台上使用ATL语言实现了模型的形式化映射;应用Web Payment实例演示了UCM模型的形式化分析结果.     

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

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

信牌驱动工作流模型中的协同问题

目的在工作流过程模型中描述实际业务过程中的协同问题。方法借鉴CSCW领域的研究成果,在信牌驱动工作流模型的基础上引入会话协作活动和会议协作活动。结果会话活动和会议活动能够有效描述业务过程中的协同行为。结论会话活动和会议活动增强了信牌驱动模型的表达能力和适用性,并且可以作为解决同类问题的参考。     

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

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

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

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

基于知识的工作流管理系统模型研究

针对传统的工作流管理系统在模型的描述及业务流程的自学习、自动建模方面缺乏实现主动化、智能化机制的问题,将专家系统中的理论、技术与工作流技术相结合,论述了二者在模型表示上的一致性,按照智能化系统的表示及控制方法对系统的模型进行了重新定义,提出了基于知识的工作流管理系统的总体模型,并进一步探讨了模型中各功能模块的组成和作用,系统的执行及控制方法.实践证明,采用该模型表示方法能有效增加系统柔韧性,解决流程过程僵硬、对环境变化缺乏适应性的问题.     

柔性工作流模型的研究与应用

随着企业竞争的加剧和政府对提高工作效率的迫切需要,工作流的柔性问题成为研究的热点。本文以WFMC过程定义元模型为基础,综合考虑各种动态的需求以及流程中的可变因素,通过引入规则库系统,对工作流元模型进行了扩展,提出了一种基于规则库实现柔性工作流模型的方法。     

工作流管理系统安全模型

以现有安全工作流模型为基础，提出了基于任务的授权控制思想，阐述了任务和任务实例之间的关系，进一步解释了任务权限指派和实例权限指派之间的区别和联系，并且针对上述模型进行了一些合理的改造，构造了一个工作流管理系统的安全模型．     

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.     

多级安全工作流授权模型

论述了用于工作流管理系统中的工作流授权模型，针对工作流在多级安全环境下的应用，提出了一种多级安全工作流授权模型，模型增加了安全级及任务相关性的表示，对原模型的授权规则进行了改造，提出了判断可达性的算法，对新模型的终点是否可达进行了分析。     

一种支持协同设计的工作流模型

协同设计是一个跨地域、跨时间、跨学科的多功能小组协同产品开发工作的模式,支持协同设计的工作流模型可以为现代产品开发提供强大而有序的工作流管理机制。研究了协同产品开发对工作流模型需求后,提出了一种支持各种粒度产品开发活动的工作流元模型,并进一步提出适应该模型的、基于对象关系的组织模型和资源模型。基于该模型,开发了工作流建模工具的原型系统。     

工作流机的操作语义

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

工作流分层模型的PNML表示

PNML是一种基于XML的Petri网交换格式，在工作流引擎内部使用PNML表示业务流程的模型，可以使得引擎和其他支持PNML表示的工具之间具有很强的互操作性．为此需要先定义新的标签，然后给出新的Petri网类型定义，最后通过例子阐明了如何用扩展后的PNML表示工作流分层模型．借助PNML表示，实现的工作流引擎工具具有很强的扩展性，能够和其他支持PNML的工具进行数据交换．     

分布式工作流技术的研究

阐述了工作流技术在企业自动化管理中的重要作用,介绍了分布式工作流技术的基本原理,重点论述了分布式工作流的系统结构及分布式建模方法等。     

一种形式化的工作流网模型

提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。     

基于过程模型的分布式工作流引擎的研究

通过CORBA规范,按照过程模型的特点,提出一种基于过程模型的分布式工作流引擎的协同运行机制,可以解决集中式工作流引擎控制结构的运行瓶颈,最后给出了一个银行贷款过程的实例。     

An Inter—enterprise Workflow Model for Supply Chain and B2B E—commerce

The goals of B2B electronic commerce and supply chain management system are to implement interoperability of independent enterprises,to smooth the information flow between them and to deploy business processes over multiple enterprises.The inherent characteristics of workflow system make it suitalble to implement the cross organization management,This paper,firstly,proposes an inter-enterprises workflow model based on the agreement to support the construction of supply chain management system and B2B electronic commerce.This model has extended the standard workflow model.After that,an architecture which supports the model has been introduced,especially it details the structure and implementation of interfaces between enterprises.     

Implementation of WPDL Conforming Workflow Model

Workflow process definition language (WPDL) facilitates the transfer of workflow process definitions between separate workflow products. However, much work is still needed to transfer the specific workflow model to a WPDL conforming model. CIMFlow is a workflow management system developed by the National CIMS Engineering Research Center. This paper discusses the methods by which the CIMFlow model conforms to the WPDL meta-model and the differences between the WPDL meta-model and the CIMFlow model. Some improvements are proposed for the WPDL specification. Finally, the mapping and translating methods between the entities and attributes are given for the two models. The proposed methods and improvements are valuable as a reference for other mapping applications and the WPDL specification.