本体在政务工作流模型中的应用研究

介绍了本体的内涵、概念,讨论了本体在政务工作流模型的应用.在讨论了工作流模型和政务工作流应用特点的基础上,提出了政务工作流模型,并建立了政务工作流元模型、政务文书元模型和政务机构元模型.给出了OWL＋RDF＋XML的形式化描述.实验证明,本体能有效地应用到政务工作流的建模过程中.     

基于Petri网的工作流建模与分析

工作流建模是工作流研究中的关键问题.论文在对当前工作流中的主要路由模型分析的基础上,结合Petri网的结构、形式化定义和流程建模方法,建立了从工作流到Petri网的路由映射模型.通过对贷款处理流程的工作流建模分析表明,基于Petri网的工作流建模方法具有直观、简洁等优点.     

一种基于流程片段的分布式工作流引擎设计模型

在分析了分布式工作流管理系统3种分布层次的基础上,提出了一种基于流程片段的可以实现第二层次分布的分布式工作流引擎设计模型,描述了模型的体系结构,设计了流程片断的划分算法,并给出了在J2EE开发平台下模型的实现方案．     

基于多色集合的工作流建模及路径求取算法

描述了工作流基本节点的出入度及连通性质，并根据这些性质提出了工作流基本节点的多色集合表示方法．在这种表示方法的基础上提出了基于多色集合理论的工作流建模步骤，并给出了工作流路径求取算法．最后，以模具制造工作流过程为例，根据基于多色集合理论的工作流建模理论提出的步骤和算法，建立了模具制造流程的多色集合功能围道矩阵，给出了节点的布尔矩阵，并得出了表示模具制造过程中所有可能的流程路径．采取基于多色集合理论的工作流建模理论，用计算机可以正确、便捷地求取复杂系统的工作流程路径，算法简单且易于编程实现．     

卡银行系统业务模型的分析和建立

笔者针对卡银行系统进行业务建模,得到卡银行系统的概念模型、逻辑模型和物理模型。通过探讨卡银行系统业务系统架构以及业务流程实施方法,阐述了采用标准化流程引擎实现SOA架构的系统整体解决方案。研究还讨论了流程引擎的抽象模型以及三种主流开源工作流引擎,并比较了各自的优劣。以上研究的成果验证了本实验室自创并一直沿用的SOA三层模型建模方法的有效性。     

基于Petri网的工作流建模技术及应用

工作流管理技术是 90年代初新兴起的软件技术。其实现的关键在于工作流概念模型的建立。虽然信息系统领域的建模理论已经发展得较为成熟 ,但在工作流管理领域还没有一个专门的建模工具来满足工作流建模的需求。通过对几种概念建模方法的比较分析 ,论文选择 Petri网作为工作流建模的主要工具 ,并探讨和总结了工作流程的路由结构、触发机制、可靠性工作流模型的分析方法 ,转换原则和组合性质 ,最后通过一个案例进一步阐述了基于 Petri网的工作流建模技术。实际应用表明该建模方法简单、可行 ,能够保证工作流模型的有效性 ,而且便于工作流网络的计算机形式化表示 ,有利于工作流管理系统 (WFMS)的实现。     

用VC++实现工作流管理系统的建模设计

工作流自动化中，最核心的技术为流程自定义，为了设计一个图形化、可视化以及支持各种复杂流程的建模工具，详细介绍了用VC 进行面向对象的设计方法，用一系列已经封装好的模型元素在GUI方式下定义活动的属性和工作流的相关数据，并实现模型的图形文件和数据库文件的保存与读取。应用程序通过ADO与关系数据库SQL相连从而实现流程的定义，给出了部分实现例图。可以实现模型与代码之间的相互转化，并可以随时更新，得到高效率的办公自动化。     

面向工作流的EOS系统的分析与设计

从对电子政务办公系统（EOS）的概念入手，在分析和比较目前国内外流行的三类工作流技术的基础上，依据工作流模型的评价标准和建模原则，设计出EOS模型，最后根据流程描述给出相应的代码实现。该模型为政府电子政务办公系统的设计与开发提供了借鉴和参考。     

一个基于Web的工作流系统互操作的模型

针对在XML过程定义语言基础上解决跨流程互操作和分布式引擎互操作两种情况,通过采用工作流管理系统参考模型接口4的WAPI、Wf-XML、MIME、XML解析器以及数据转换中间件（DTM）等技术与实现方法,设计了一个基于Web的工作流互操作的模型．     

参与者相关的动态工作流模型研究

为了实现工作流中任务的动态分配,分析了参与者普通模型、竞争模型、优先模型和委托模型的动态特性,提出了一种基于Petri网的参与者模型及其工作流的建模方法,使工作流中过程的定义独立于参与者状态,并在工作流执行过程中,过程实例能够根据参与者模型及其具体情况动态选择实际参与者,政务系统中公文流转的简单实例说明了该模型的实用性。     

基于扩展元模型的智能动态工作流建模方法

为了提高工作流的智能性和动态性,对原有的工作流过程元模型进行扩展,提出一个基于该扩展元模型的智能动态工作流模型.该工作流模型引入控制规则来约束流程的实例化,并引入一个独立于工作流系统的规则协调器来对流程规则进行解析,实现了流程的智能动态变化.研究结果表明,建立在智能动态工作流模型上的工作流管理系统不仅具有智能性和动态性,在通用性以及柔性方面也有很大的提高.     

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.     

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

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

基于关系数据模型的工作流引擎设计与实现

为了提高办公效率,迅速构建基于流程的应用,提出了符合工作流参考模型的工作流引擎框架结构.以关系数据库为依托,进行工作流的过程建模和模型表达,研究并实现了工作流引擎的关键技术.结合在土地利用规划业务过程中的应用,开发出了工作流引擎服务器以及具有动态配置功能的工作流客户端应用框架.实践表明,该工作流引擎明显缩短了应用系统的开发周期,降低了系统维护的复杂性.     

基于现代企业应用的工作流过程模型研究

针对现代企业的实际经营状况,分析了工作流过程元模型在现代企业过程建模应用中存在的不足.在此基础上,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应现代企业过程建模的需求和新技术的使用.     

基于轻量级工作流引擎的政府采购协同办公管理系统设计

采用Browser/Server模式为开发平台,Java为开发语言,Microsoft Windows2003为操作系统,Apache作为Web服务器软件,设计基于轻量级工作流引擎的政府采购协同办公管理系统。该系统采用轻量级的工作流引擎来处理政府采购协同办公系统流程,由采购计划管理系统、采购执行管理系统、采购支付管理系统、采购监督管理系统和采购决策辅助系统五大系统组成,实时管理政府采购工作流、信息流、资金流,具有分级管理、跨部门作业、统一市场、共享数据、实时监控的特点。     

工作流技术在警务装备系统中的研究与应用

针对目前政务信息系统基本结构,将工作流技术引入警务装备维修管理系统的设计与开发.从系统架构、功能模块设计、访问控制设计上探讨工作流技术的应用,解决了权限管理实际操作中角色定义不明确、授权过程难理解的问题.系统采用B/S模式,基于.NET开发平台,实现了警务部门的信息化办公.     

一种面向嵌入式装备控制系统的建模方法

为研究嵌入式系统面向装备控制领域的扩展技术,提出采用模型集成计算理论构建嵌入式装备控制系统的建模语言,针对控制子系统中的信号处理模块,分别从类图、视图、属性和约束四个方面定义该模块的元模型,并根据元模型修改相应的模型解释器,通过元模型解释器将元模型解释成图形化的建模语言,采用该建模语言搭建了两个信号处理应用程序的模型,并通过模型解释器将其解释成相应的应用程序。结果表明,采用该方法能够实现对领域应用的快速开发。