基于π演算的工作流模型检验

为保证工作流模型语义的正确性,提出一种基于π演算的工作流模型语义性质检验方法。采用π演算的一个子集πN演算描述工作流模型,证明该模型的反应关系能够终止,构造有限反应迁移图算法,利用NuSMV检验工作流模型是否满足线性时序逻辑性质。实验结果证明了该检验方法的有效性。     

工作流模型的研究与实现

本文介绍工作流以及工作流建模的一些基本概念，以及Petri网技术在工作流模型中的应用，同时提出了一个工作流建模的具体实现方法。本工作流模型的实现包括了企业人员、资源以及任务信息模型的实现，同时任务模型中包括了任务之间的约束关系，以及任务执行过程中产生的文档。     

工作流过程模型研究

工作流过程模型是工作流管理系统的基础,对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状,主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。     

工作流过程模型研究

工作流过程模型是工作流管理系统的基础，对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状，主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。     

XPDL模型到WWF模型转换技术的研究

WWF(Windows workflow foundation)是一个可扩展框架,用于在Windows平台上开发工作流系统.WWF在.NET平台上构建工作流具有很强的优势,但是WWF对外不符合WfMC制定的XPDL标准的工作流模型,限制了WwF的广泛应用.为了解决上述问题,提出并开展了XPDL模型到WWF模型的转换研究,通过研究XPDL模型到WWF模型之间的映射,实现了XPDL模型到WWF模型的转换,从而实现了WWF与其他工作流产品在公共格式XPDL基础上进行数据共享,有助于实现基于XPDL的工作流平台向.NET工作流平台的迁移.     

面向随机模型检验的模型抽象技术

随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更为严重.抽象作为缓解状态空间爆炸问题的重要技术之一,已经开始被应用到随机模型检验领域并取得了一定的进展.以面向随机模型检验的模型抽象技术为研究对象,首先给出了模型抽象技术的问题描述,然后按抽象模型构造技术分类归纳了其研究方向及目前的研究进展,最后对比了目前的模型抽象技术及其关系,总结出其还未能给出模型抽象问题的满意答案,并指出了有效解决模型抽象问题未来的研究方向.     

工作流模型研究述评

工作流管理系统由于能够对业务过程进行建模和控制而得到广泛采用,工作流模型则是工作流管理系统理论研究和实际应用的基础.概括了工作流模型的主要研究内容,从建模方法、理论基础等方面对工作流模型的研究现状进行了综述,分析了现有工作流模型存在的不足,探讨了工作流模型的发展趋势,最后进行了总结.     

工作流模型研究综述

工作流模型作为工作流管理系统的起点,对企业业务过程逻辑及其业务活动依赖关系进行抽象表示,它已成为当前工作流建模研究的重点。对工作流过程模型的研究现状进行综述,主要包括模型理论基础、当前工作流模型的不足之处,并且指出了工作流过程模型的发展趋势,为工作流建模的进一步研究提供基础。     

基于ARIS-eEPC模型和AML的工作流模型转换技术

为解决企业业务流程模型和工作流模型在结构和功能上存在一定差距的问题,提出一种基于AR IS-eEPC模型和AML接口的工作流模型,由分析BPR向实现BPR的转化,从而实现了业务层和技术层的分离。最后给出工作流模型转换系统JXW orkflow的具体实例分析。     

一种支持分布式工作流模型的工作流管理系统

通过研究分析当前对跨企业工作流进行集成时所面临的问题,提出了一种支持分布式工作流模型的工作流管理系统,阐述了系统的设计原理和总体结构,并给出了一个跨企业工作流管理的实例。     

工作流平台中动态流程模型的研究

在已有的动态工作流模型——黑盒模型的基础上进行改进,应用可插拔的子流程节点代替黑盒节点,提出了更加容易实现的动态流程模型——DSP(Dynamic SubProcess)模型,并成功地将其应用于网络化集成产品开发项目管理工具的项目中。     

工作流平台开发关键技术的研究和设计

对工作流平台开发的关键技术进行研究,建立基于J2EE的工作流技术管理系统架构,设计用于企业管理的工作流平台,对工作流建模、基于角色的管理控制和轻量级可嵌入工作流引擎进行研究设计。重点研究工作流过程模型和工作流引擎的功能,并对传统RBAC模型进行改进。     

工作流管理系统及其建模研究

对工作流技术发展情况进行概述．介绍由国际工作流管理联盟所定义的工作流管理系统的体系结构和参考模型,并简单介绍分析现今常用的几种工作流模型。在工作流建模方面,参考结合曾参与开发的工作流开发平台项目．详细地论述工作流模型建立阶段的一些技术要点和本系统建模工具的元模型元素架构及模型的两种存储方案。详细介绍工作流开发平台建模工具的功能和实现,并演示一个利用此建模工具所开发的模型实例。     

模型检测中状态爆炸问题研究综述

模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题。如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题。系统地综述模型检测领域解决状态爆炸问题的关键技术和主要方法,并提出该领域的最新研究进展与方向。     

工作流管理系统及其建模研究

对工作流技术发展情况进行概述,介绍由国际工作流管理联盟所定义的工作流管理系统的体系结构和参考模型,并简单介绍分析现今常用的几种工作流模型。在工作流建模方面,参考结合曾参与开发的工作流开发平台项目,详细地论述工作流模型建立阶段的一些技术要点和本系统建模工具的元模型元素架构及模型的两种存储方案。详细介绍工作流开发平台建模工具的功能和实现,并演示一个利用此建模工具所开发的模型实例。     

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

目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青昧。本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性。     

模型检测新技术研究

1 引言软件是否可信赖已成为一个国家的经济、国防等系统能否正常运转的关键因素之一,尤其在一些诸如核反应堆控制、航空航天以及铁路调度等安全悠关(safety-critical)领域更是如此。这类系统要求绝对安全可靠,不容半点疏漏,否则将导致灾难性后果。如1996年6月4日,欧洲航天局阿丽亚娜(Ariane)501火箭因为其控制软件的规范和设计错误而导致发射37秒后爆炸。类似的报道屡见不鲜,如何确保这些系统的可靠性成为计算机科学与控制论领域共同关注的一个焦点问题。     

模型检验综述

在软硬件验证里,模型检验是一个重要手段,至今它已经形成一个庞大的方法论体系。现在我们把模型检验内容从标准方法、抽象解释方法、综合方法3个范畴加以介绍,旨在形成人们对模型检验总的印象,从而全面理解和掌握模型检验各个方法的精神实质和具体情况,有助于将这些方法运用到实际软硬件验证中并从中受到启发,以便进一步发展模型检验理论或开发模型检验新的方法和工具。     

基于工作流技术的企业工作流程自动化系统的实现与研究

介绍了企业在业务和管理中面临的问题以及企业在业务流程自动化方面的需求,对工作流技术的发展概况与现状进行介绍,并对采用的工作流技术进行了研究。其次,通过对企业自身业务、管理的调研以及需求分析,对基于工作流技术的企业工作流程自动化系统的功能逻辑结构进行了设计,并制订了本系统需要实现的业务流程,对整个系统的功能模块进行了划分。最后,对本系统在实际应用中起到的作用以及意义做了总结。     

一种移动支付协议的模型检验分析

给出了移动支付协议的一种有限状态机建模方法,该方法在传统支付协议的基础上充分考察了移动环境中移动装置和无线网络的特点,所建立的模型具有全面、准确、直观、简洁的特点。以一个典型的移动支付协议KSL为例,对该协议进行有限状态机建模,并通过模型检验工具对其公平性进行了分析验证,指出了其缺陷并进行了改进,从而表明了方法的有效性。该方法具有一定的通用性,以其为基础,可对其他类型的移动电子商务协议进行模型检验分析。