一种基于资源约束的工作流建模及分析方法

资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.     

一个支持动态变化的工作流元模型

支持动态可变和灵活的工作流系统是人们在实际应用中对工作流系统提出的新要求,传统的工作流建模思想必须加以改进以适应这种可动态变化的工作流运行模式.本文结合传统工作流的建模规律和动态变化的要求,提出了一个动态变化的三维空间元模型,将由过程模型、组织模型和信息模型组成的三维工作流模型从建模和运行变化的角度重新考虑,增加了对过程、活动、活动属性和组织模型的动态特性描述和操作协议描述,可以使在这个元模型之上的工作流模型具备人机交互能力和动态灵活性.元模型在工作流的建立阶段力求将动态特性进行描述和定义,在执行阶段可以在已定义的动态框架内变化,既保证了系统的灵活性,又使系统对动态变化具备可控操作.     

基于UML的工作流建模研究与应用

UML建模是工作流建模的一种重要方法，过程建模又是工作流建模的核心和基础。本文给出一个工作流元模型的定义、扩展了UML中活动的概念及其符号表示，明确区分工作流系统内部活动的执行和外部因素的参与，使模型在建立阶段的过程定义与运行阶段的过程控制更一致。     

轻量级工作流引擎的研究与实现

工作流技术是实现业务过程自动化的关键技术,工作流引擎是工作流管理系统的核心部件.在传统的关系数据库的基础上,提出了将XML和关系结构相结合,基于J2EE和Web Service架构的轻量级工作流引擎.此工作流引擎由组织模型、流程定义模型和引擎控制模型三部分组成.详细地给出相关的组织模型、流程定义模型和引擎控制模型的设计原理以及部分具体的实现方法.     

基于家态的多事务工作流完整性分析

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.     

工作流系统中一个基于多权角色和规则的条件化RBAC安全访问控制模型

针对传统的RBAC模型不能表达复杂的工作流安全访问控制约束的缺点,提出了一个适合工作流系统的基于多权角色和规则的条件化安全访问控制模型CMWRRBSAC(conditioned multi-weighted role and rule based secure access control model).该模型基于传统的RBAC模型,提出了基于动态角色分配的条件化RBAC方法,定义了基于多权角色的工作流系统访问授权新概念,并针对多个角色和多个用户协同激活任务的序约束问题,给出了基于令牌的序约束算法和基于加权角色综合的序约束算法,讨论了一个基于规则的职责分离约束建模方法,并给出了改进的规则一致性检验算法.     

基于策略的工作流系统研究

结合互联网工程任务组(Internet Engineering Task Force,IETF)提出的策略的概念和策略部署模型,提出了一种基于策略的工作流系统,并结合工作流系统的特点,提出了描述工作流策略语言,并给出了使用基于策略扩展的Petri网建立工作流过程模型的方法。基于该元模型的定义的工作流具有较好的灵活性,并对工作流的运行期实例的动态修改提供了支持。     

基于ECA规则的工作流建模

将工作流模型划分为三部分：过程模型、数据模型、组织模型。通过ECA规则与有向图相结合对工作流进行过程建模，利用有向图直观地表述流程的走向，工作流引擎通过对ECA规则的解释导航流程；给出了数据模型中数据对象的形式化定义；在组织模型中对RBAC模型进行改进，解决其在细粒度权限控制上的不足。     

基于工作流网的电子商务系统建模

针对电子商务企业业务过程重组对电子商务系统建设提出的更高要求,应用工作流网对电子商务交易流程建模.工作流网基于Petri网,把任务关系归纳为顺序、并行、选择、迭代等4种路由结构,可表达电子商务系统的各种依赖关系,其图形直观、易于理解,数学基础严密、易于分析和验证.文中对给出的B2C(企业到客户)业务流程建立了基于工作流网的模型,可在此基础上进行分析和验证,有利于进一步的系统设计.因此,工作流网在电子商务系统建模中有较好的发展前景.     

基于工作流的科研管理系统分析与设计

工作流技术是实现业务过程建模、优化、过程管理与集成的核心技术。基于工作流技术,本文对广科院科研管理系统的功能框架和用例模型进行了分析,对系统总体架构、过程模型、组织模型和工作流引擎进行了设计。将工作流技术应用于广科院科研管理系统中,将增加该系统的可用性和灵活性,从而进一步提高广科院科研管理的效率和水平。     

基于JBPM的自定义流程的研究与实现

通过对工作流理论及其实际应用的分析,从流程定制和流程管理的实际需求出发,结合工作流建模技术、流程管理理论和JBPM4特性,提出了一个基于JBPM的自定义流程和流程管理的解决方案,阐述了流程建模和流程文件建模的思想,并在Eclipse平台下将其实现。     

基于Petri网的工作流过程建模和时间性能分析

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

基于Petri网动态工作流在OA系统中的应用

介绍了工作流技术,分析传统工作流模型不能根据实际情况进行动态改变的缺点,在此基础上,提出了一种支持流程动态修改的工作流,主要实现了过程模型的动态修改。针对请假流程,用Petri网建模,实现对其进行动态修改,并利用经典Petri网的遍历树算法对迁移后实例的准确性进行验证。最后展示了动态工作流的具体实现方法。     

基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

基于迁移策略的动态工作流的研究与设计

为了使工作流系统能够在运行过程中支持过程定义的动态可变,探讨工作流在过程方面发生动态修改的分类,分析重启、继续执行、迁移等多种动态修改策略的优缺点,重点研究了迁移策略的实现,提出了一种基于迁移策略的动态工作流的设计方法。该方法首先加载数据表中的过程定义信息,并根据反射机制动态创建相应的工作流对象及其方法。然后设计了一种迁移策略执行算法,根据迁移规则XML配置文件,动态完成运行时的旧工作流到新工作流的转换,从而提高了工作流系统的动态性。     

基于SOA的企业工作流模型的设计研究

传统的企业工作流模型将流程定义和实现都放在部署着工作流管理系统的服务器上,对软件产品的升级、管理和对第三方产品的集成造成了相当的困难。本文提出一种基于SOA的企业工作流模型,让工作流引擎通过调用WEB服务来完成客户定义的工作流的实例化,可以为企业管理信息化提供一条由局部到整体,阶段化实施的新途径。