基于Windows Workflow Foundation技术的软件项目管理系统的实现方法

采用工作流技术构建软件项目管理系统的架构,通过Windows Workflow Foundation技术把系统业务流程的应用逻辑和过程逻辑分离,在不修改具体功能模块的情况下,只需修改过程模型即可改变系统功能,从而实现对系统业务流程的过程化的集成管理。

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.

一种Colored WF_logic Net的工作流过程建模

结合着色Petri网和WL_net相关理论,提出有色工作流逻辑网(CWL_net)这一概念来实现工作流的过程建模。最后以保险索赔业务过程为例,采用绘制可达树的方法分析了业务流程的合理性。利用CWL_net可以准确描述业务流程的工作流逻辑,且这种逻辑结构可以区分工作流具体流程中不同变迁产生的任务完成信息,避免了某些问题。

工作流建模中时态逻辑的研究与应用

在使用Petri网构建工作流行为结构模型的同时,使用时态逻辑描述工作流模型的需求与特性,则具有描述能力强、灵活方便的优点。在此基础上,综合考虑时态逻辑列表法和即时验证方法的特点,给出一种主要利用B櫣chi自动机进行工作流模型需求及特性验证的方法,提高了工作流模型的合理性和可靠性。最后,验证分析了电子商务的工作流实例。

改进的工作流合理性验证方法

工作流建模过程中存在的结构冲突很有可能导致整个系统无法正常运行,因此验证工作流中的结构合理性是非常重要的。目前尚无一种简单的算法能够验证循环结构及交叉结构的合理性,为此提出了一种改进的工作流合理性验证方法。该方法基于Pe-tri网模型,将逻辑推导和真值表相结合,能够简单而有效地检测出工作流中的各种结构冲突。应用示例表明了该方法的有效性。

基于Petri网的工作流逻辑化简规则的矩阵表示

Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。

基于层次化设计结构矩阵的复杂产品研发过程研究

诸如卫星、雷达、飞行器等复杂产品研发普遍采用'分解—综合'的设计模式以降低研发的复杂程度,但复杂系统分解得到的分系统之间、分系统内部组件之间及其不同学科之间在研发过程中相互关联,造成研发活动之间数据交互复杂,研发活动迭代频繁,使得产品研发过程分析、管理困难。针对复杂产品采用的'分解—综合'设计模式,基于系统层次分解定义不同级别组件对应的研发活动、计算模型和指标参数,进而基于系统架构建立层次化设计结构矩阵(Multi-level design structure matrix,MDSM),利用层次化设计结构矩阵分析不同层次的研发活动之间的数据依赖关系,并自动生成复杂产品研发流程的过程逻辑,最终实现基于输入/输出数据模板和消息驱动的层次化、模块化、集成化的复杂产品研发全局流程模型。

工作流管理系统中同步关系的实现方法

工作流管理系统是信息系统领域最重要的研究内容之一 ,设计工作流管理系统是一个非常复杂的过程 ,要完成许多艰巨的任务。文中重点讨论了工作流管理系统中同步关系的实现方法 ,提出采用扩充的逻辑表达式来协调和控制工作流之间的同步关系 ,并给出了一个具体的例子来说明如何使用该方法。与其它方法相比 ,扩充的逻辑表达式具有方法简单、描述能力强。

工作流时序约束模型分析与验证方法

为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用一阶逻辑描述工作流模型及其时间信息,用时序逻辑描述工作流的时序约束,用模型检查算法对时序约束进行验证与分析.该方法不是针对某一种时序约束提出来的,而是能够验证任何用时序逻辑描述的工作流时序约束.该方法还能够对未通过验证的时序约束提供工作流运行实例作为反例,帮助用户定位模型的问题.以一个工作流时间建模和时序一致性验证的实例证实了所提出方法的有效性.

应用一体化工作流的电网规划管理信息系统

为解决当前电网规划的协调统筹工作缺乏支撑平台的问题,结合电网规划系统省地一体化的应用要求和规划管理工作的实际特点,通过应用流程标准化技术和工作流技术,设计并系统构建了基于一体化工作流的电网规划管理信息系统,实现了规划任务管理等规划业务的一体化管理。实际应用表明,应用工作流技术能够将各项管理工作有机地串联起来,并从设计层面确保规划系统对规划业务管理工作变换的适应能力,增强系统的可维护性和扩展性。

使用扩展区间时序逻辑为并发工作流建模

针对集中式体系结构并发工作流的两种运行方式(活动并发执行和活动以任意顺序执行),对区间时序逻辑进行扩展,提出两个新操作符"交错"和"限制性交错".根据工作流状态的偏序关系以及逻辑公式连接前后其模型的长度关系,证明用新操作符连接的区间时序逻辑公式适于表示并发工作流.结合一个并发工作流实例,说明如何用扩展区间时序逻辑表示活动及由活动组建的并发工作流,从而得到并发工作流的区间时序逻辑模型.利用并发工作流的区间时序逻辑模型验证并发工作流的活性和安全性,可大大提高并发工作流设计的可靠性.

工作流中时序约束正确性验证

分析了工作流管理系统中主要应该考虑的时间问题,然后建立了一个工作流时序条件有向图模型,在该模型基础上进行了一些关于时序逻辑推理问题的研究,提出了4个推理规则,同时提出了验证工作流活动时间约束正确性的一些必要条件。研究结果表明,所作的工作对于工作流管理系统的时间建模,监控和性能评价有一定的参考价值。

基于工作流的高校科研项目管理系统建模

以工作流技术为核心对高校科研项目管理系统进行建模,从而使科研项目管理的业务逻辑和具体功能独立开来,达到科研项目的统一、有序的管理,提高管理系统的兼容性和整体协作性,使系统的组织更顺畅,工作流程更灵活、适应性更强。

工作流模型检测研究

研究了利用模型检测技术对WPDL描述的工作流模型的正确性的检测方法,提出了工作流模型的正确性检测指标及其CTL*公式描述,以及博弈算法实现工作流模型的正确性检测,该方法的特点是具有较强的检测指标描述能力及高效的检测算法。

面向业务语义的统一工作流数据管理

传统的工作流系统缺乏面向业务人员的统一数据描述和处理,导致技术人员过多地参与业务管理,大大削弱了业务人员的管理权限。为解决上述问题,提出一种面向业务语义的统一工作流数据描述和处理方法。利用数据源概念描述屏蔽异构数据源的物理特性,为业务人员提供具有自然语义的数据及约简的数据关联关系集合,并实现数据的一致访问。该方法通过映射机制,将分散的数据源数据有机地整合起来,为业务人员提供统一的数据视图,不但降低了数据处理与流程处理的耦合性,分离了业务人员和技术人员的职责,而且统一了数据管理,简化了工作流系统与外界的交互,增强了系统灵活性。

基于时序逻辑的工作流建模与分析方法

提出了一种基于活动时序逻辑（TLA）的工作流建模与模型分析的形式化方法。该方法将模型及模型的性质都表示为一个，TLA公式，对工作流模型性质的分析可以等价为对，TLA中两个公式之间是否存在蕴涵关系的检验，从而建立了一个工作流模型各层次分析统一框架。一个工作流建模和分析的实例验证了所提出方法的有效性，该方法在建模、模型分析以及指导模型设计等方面都有较好的应用前景。

基于EPC的工作流建模及实现

针对现有工作流模型在支持过程定义和过程分析方面缺乏统一规范的缺点,提出了EPC的工作流建模方法.给出了EPC过程链中顺序路由和并行度的定义,建立了基于EPC建模的工作流过程模型,最后通过J2EE平台实现了基于EPC的工作流原型系统,并对电涡流缓速器产品协同设计的工作流建模实例进行了介绍.

基于时态逻辑的工作流分析

工作流的属性规约语言需要具有高表达力以及基于状态和事件的推理能力。本文提出了一种时态逻辑规约语言E-CTL^＊，该语言集成了状态和事件，能够精确和直觉地表示验证的属性。工作流的畅通性验证无论在时间上还是空间上代价都是非常高的，状态空间爆炸是验证的主要困难所在。利用E-CTL^＊描述畅通性，可以使用存在的符号化模型检测工具验证畅通性，在一定程度上克服了状态爆炸问题。同时模型检测技术给出失效路径的优点可以引导我们纠正工作流的错误。工作流的变动需要具有正确性。从时态逻辑的角度讨论了变动正确性问题，得出了保持变动正确性的一般特征。

一种新的CIMS应用体系结构

传统CIMS 5层体系结构对系统设计、实施缺乏有效指导，文章提出了一种新型的面向设计和实施的企业CIMS应用体系，详细介绍了该体系各组成部分的含义、作用及其相互关系。在此基础上总结出一整套系统设计方法，并成功应用于青山纸业综合自动化系统，进一步说明了该体系结构的实用性和可操作性。

嵌入式工作流系统集成方案研究

企业中大多数的业务应用系统,为了更好地实现业务之间的协调工作,将工作流引擎嵌入到系统中,使其成为应用系统的一个软件组件。为了整合企业内部多个不同的业务应用,使其能够协调工作实现业务资源共享,在充分利用业务应用系统中的工作流组件基础上,开发了一个应用系统插件。通过插件的引入达到企业内部各独立业务应用系统间的轻量级无缝集成。