WfMS系统建模和内部协调

通过对工作流和工作流管理系统相关定义和功能的分析,建立了基于关系和模型分解的工作流和工作流管理系统的数学模型。根据建立的参考模型、针对工作流管理系统的协调重点,从任务序列的执行和模型对象的扩展两个方面,对工作流管理系统提出两种协调模式,并对协调方式的机理和内容进行了研究,为了满足系统扩展的需要,本文还对工作流管理系统的开放性进行了探讨。     

基于产品多模型协同机制的工作流管理系统研究

通过对工作流管理系统 ( Wf MS)功能组成的定义和分析 ,建立了基于复合三元组的工作流管理系统模型 ,并对 Wf MS组成部分相互之间的逻辑关系进行了分析和分类 .结合 Wf MS涉及整个产品形成周期的特点 ,利用产品多模型协同机制对产品形成过程的约束和协调 ,构造了基于产品多模型协同机制的 Wf MS框架结构 ,并对该框架结构的运作原理和产品多模型协同机制在系统中的作用进行了研究.     

基于角色块的工作流模型挖掘

工作流挖掘可以从工作流日志中提取信息以获取工作流模型,但以往的研究得到的工作流模型基本上是基于活动的。首先对URPA模型进行了扩展,得到基于角色块的USPA模型。在此基础上,提出了一种基于角色活动图RAD的工作流模型挖掘算法。该算法利用管理者角色,以角色块结构表示工作流模型,满足US-PA模型。     

工作流过程模型研究

工作流过程模型是整个工作流管理系统的基础,模型描述能力的强弱决定了系统所支持应用的范围以及系统的灵活度.近年来随着工作流技术应用的发展,对工作流过程模型的研究也就得到普遍重视.文中介绍了工作流过程模型的概念本质,然后对工作流的研究现状进行综述,主要包括工作流过程模型理论基础、工作流过程模型的不足等,最后指出了工作流过程模型的发展趋势.     

一种工作流模型正确性验证方法

工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.引入一种新型的图形结构--元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.     

基于角色的跨组织工作流研究

跨组织流程的管理已成为电子商务的一个主题。作为提高企业运作效率的协调技术 ,跨组织工作流管理系统需要适应企业之间异类工作流的互联。从角色及其交互角度研究跨组织工作流 ,结合以活动和角色描述工作流的优点 ,针对传统的工作流模型淡化了参与者之间的交互 ,没有一致的概念模型 ,导致了工作流管理联盟的互联标准难以达到实用要求的问题进行分析     

基于扩展任务结构的工作流建模及分析

任务结构是工作流管理系统中常用来进行工作流建模的语言,但其核心是过程控制流方面的规范,对其他方面很少涉及,比如活动间的信息流、时间约束等等.本文首先对任务结构进行了扩展,加入了资源和多粒度时间的概念,使其除了能描述任务的相关性外,也能很好地模拟任务间的信息流以及由于流程的分布性等因素而引起的多粒度时间约束.接下来对扩展任务结构的多粒度时间约束一致性和合理性进行了分析和验证.     

空间数据库管理系统VISTA的角色访问控制设计

从角色安全定义、角色访问设计角度讨论了空间数据库管理系统VISTA中基于角色的访问控制(role-based access control,RBAC)的设计方案及其实现方法。通过对角色偏序关系和角色管辖域的讨论,说明了该设计方案的可用性和安全性。通过定义虚拟用户的概念,解决了当主体删除时,所属客体的存在性问题,保证了数据的可用性和可继承性。同时给出了该方法的基本算法流程及相应的安全信息数据结构。该方法可以移植到其他相似的ORDBMS中。     

基于随机Petri网工作流档案管理系统的建模与分析

随着信息时代的发展,档案管理系统的功能和规模也在不断扩大。对档案管理系统建模,并进行相关的定性和定量分析也成为研究档案管理系统的主要内容之一。由于档案管理系统流程本质上等价于工作流,所以将档案管理系统与工作流技术相结合,建立了档案管理系统的工作流网模型,并利用随机Petri对档案管理系统进行了分析,包括对所建模型的正确性进行了定性分析,对工作流的性能进行了定量分析,最后通过实例进行了说明。     

基于多Agent的企业过程建模和仿真技术研究

工作流技术和集控Petri网方法是企业过程建模和仿真的支撑技术,将二者巧妙地结合起来,能为实现过程集成提供有效的帮助。当前的大多数工作流管理系统忽视了工作流之间的资源约束关系,基于多Agent的工作流管理系统能够有效地解决这个问题。首先讨论了基于多Agent的工作流管理系统,给出了基于多Agent工作流的企业过程的建模、仿真、使能系统的模型。然后介绍了将基于多Agent的工作流模型转化为集控Petri网来实现企业过程仿真的方法以及仿真过程中时间和成本等性能参数的计算和分析方法。