基于OWL时间本体的工作流建模与验证

提出了一种基于OWL时间本体的工作流模型,将OWL时间本体引入到工作流模型的描述中,可以方便地表示工作流中的时态信息和时态约束。在工作流管理系统中加入基于本体的规则后推理机可以检测工作流中的时态约束是否满足,同时推理机还可以自动检测工作流信息的一致性和有效性。     

轻量级工作流引擎架构设计

为了克服传统工作流管理系统的不足,设计了工作流管理型系统的原型体系结构,搭建了轻量级工作流引擎的核心架构,详细地介绍了轻量级工作流引擎各个组件及功能,该架构能根据需要灵活地添加和裁减各种组件来扩展工作流引擎的功能,也可以根据具体需求灵活地定制到不同领城的工作流管理系统中.     

基于MVC架构的轻量级工作流引擎研究与设计

为了克服传统工作流引擎的不足,设计基于MVC架构的轻量级工作流引擎,搭建了由客户层、表示逻辑层、持久层和数据库服务层组成的多层次工作流管理系统的整体架构,该引擎集成在引擎控制器中,通过引擎控制器控制任务的流转,并详细地介绍轻量级工作流引擎各个功能组件,能根据需要灵活的添加和裁减各种组件来扩展工作流引擎的功能,并且基于引擎的系统可以根据具体需求灵活地定制于不同领域的工作流管理系统中。     

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

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

基于Shark的分布式工作流系统的设计与实现

Shark工作流是一个单引擎的工作流系统.文章以其为蓝本构建了一个分布式工作流管理系统(DWFMS)架构,并进行了功能模块的划分和工作流引擎的分布执行策略的分析,给出了一个针对一般工作流系统中普遍存在的负载不均衡、柔性差等问题的解决方案.     

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

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

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

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

基于构件组装的科学工作流架构的研究与实现

科学工作流技术采用工作流的思想,用来描述和控制科学实验和科学过程的执行.基于构件组装的面向e-Science的科学工作流系统架构分为三层,包括数据资源层、工作流执行引擎层、运行服务层等.还介绍了该科学工作流架构在大气科学数据处理中的一个应用实例.     

时态图上图模式匹配研究综述

图数据模型是一种通用且已经得到广泛应用的可以处理数据对象间复杂关系的数据模型.然而,现有的大多数研究只关注静态图数据的结构或者顶点和边上的属性,忽略了现实中数据的一个重要特征即时态信息.忽略了时态信息将导致错过很多的有价值的信息,甚至得到错误的信息.作为图研究领域中重要的研究内容之一,图模式匹配问题的研究也需要考虑时态信息.考虑到图模式匹配研究的重要性以及时态信息对数据的重要性,本文根据时态图的快照模型、边流模型和区间模型以及时态图数据的时序性、持续性和演化性对时态图上图模式匹配问题进行了全面地综述,并总结了现有工作的不足.     

基于Petri网和有限状态机方法构建工作流引擎

首先指出工作流在系统建设中的重要作用,其次介绍了Petri网理论和基于事件驱动的有限状态机实现工作流引擎,并将该引擎应用到科研管理系统的开发中,在原有的业务逻辑与表现层之间加入流程控制层.该引擎的引入较之传统信息系统,更容易适应科研业务流程的改变,方便实现某些重点项目特事特办的要求,同时调配资源更加方便.之后介绍了基于这个引擎之上的系统整体架构和运行环境,以及最终的开发技术.最后介绍了本系统比较有独创性的异构数据同步技术.     

基于角色的时态对象存取控制模型

以基于角色的存取控制模型RBAC₃为基础,提出一种新的时态对象存取控制模型TRBAC,讨论了模型的构成要素,体系结构,时态多重继承机制和存取控制方法.它支持时态用户、时态角色和时态客体及其层次结构,具有动态存取控制功能,在时态数据库和工作流系统等领域会得到广泛应用.     

基于反省技术的灵活工作流管理系统

面对复杂多样的应用环境,灵活性成为工作流技术研究的重点之一.反省作为提高系统灵活性的重要技术手段也可用于工作流管理系统中.本文分别从结构和行为方面对工作流过程及其管理进行了具体化,进而建立其反省模型.为了方便对元级的抽象和编程操纵,我们提出了元对象协议模型,其中包括协议声明、元对象关联、协议选择和元对象管理等机制或方法.进一步,本文通过典型的应用说明了反省方法对提高工作流系统灵活性和适应性是有效的.最后,文章介绍了工作流管理系统中反省技术的实现方法.     

基于生成图的工作流多过程动态 时序一致性验证方法

 提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.     

基于时序约束分解的QoS感知的Web服务组合

基于时序约束的QoS感知的Web服务组合(TC-QSC)问题是在考虑时序约束的基础上寻找满足QoS约束或效用最大化的Web服务组合问题,受到了越来越多的关注.本文提出了一种时序约束分解方法,把施加于整个或部分工作流的时序约束分解为施加于每个活动的局部时序约束,从而将TC-QSC问题转换为一般的QoS感知的Web服务组合(QSC)问题,并通过过滤不满足局部时序约束的候选服务,一定程度上减小原问题的规模.这种时序约束分解过程主要依赖于工作流及其涉及的活动,而与各活动的候选服务关联不大,复杂度较低.实验测试了该方法的效果与时间开销,验证了其对于局部优选算法的必要性.     

基于时间Petri网的公文管理工作流模型

工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规则,对其进行时序分析,在线性时间复杂度内解决时间推理问题,用具体数据分析了公文管理工作流模型的性能。对实际公文管理系统的开发具有指导作用。     

安全工作流管理系统体系结构研究

采用多种技术集成的方法进行安全工作流管理系统体系结构研究。以工作流管理联盟提出的工作流参考模型为基础，建立一种安全工作流管理系统体系结构。引入基于数字签名的工作流安全认证机制，提出扩展的工作流访问控制模型，并定义了多级安全工作流授权规则。     

智能专线业务编排系统架构设计与实现

在SDN/NFV技术时代,为满足新型网络业务快速自动开通的目标,提出一种智能专线业务编排系统的架构设计和实现方案。按照各功能松耦合、灵活部署的特点,将编排器系统架构设计为业务入口层、网络服务层和适配层三层解耦的架构体系实现。将编排器工作流程拆分为业务准备流程和业务下发流程两部分实现。通过开发实践验证,编排器作为核心系统,基本满足最初对业务编排的业务需求和运维管理需求。     

基于工作流管理和策略管理的下一代互联网IP业务管理系统体系结构及应用

为了实现下一代互联网IP业务的业务流程自动化、业务管理灵活性和动态性,适应新业务的可扩展性和对业务的有效管理,在WfMC工作流参考模型和IETF策略框架的基础上,提出了基于工作流管理和策略管理的下一代互联网IP业务管理系统的体系结构,详细分析了体系结构中的构成组件和相关功能,并给出了基于该体系结构的NGIIP业务开通管理流程场景的应用实例。     

广电全业务运营支撑系统中工作流技术的研究与应用

本文描述了工作流技术在广电全业务运营支撑系统中的应用,介绍了工作流技术的概念,重点对广电全业务运营支撑系统工作流平台整体架构和工作流程两方面进行了研究,最后介绍了基于工作流的订单和工单在广电BOSS中的应用。