工作流建模中时态逻辑的研究与应用 被引量：7

1

作者 唐达 徐超 杨晓丽 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2004年第4期388-393,共6页

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

关键词 工作流 时态逻辑 模型

在线阅读 下载PDF 职称材料

改进的工作流合理性验证方法 被引量：7

2

作者 王霞 王刚 周立东 《计算机工程与应用》 CSCD 北大核心 2011年第33期43-45,48,共4页

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

关键词 工作流 合理性 PETRI 逻辑推导 真值表

在线阅读 下载PDF 职称材料

工作流管理系统中同步关系的实现方法 被引量：9

3

作者 王少锋 王克宏 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2001年第3期37-41,共5页

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

关键词 工作流管理系统 同步关系 信息系统 计算机 PETRI网

在线阅读 下载PDF 职称材料

工作流时序约束模型分析与验证方法 被引量：9

4

作者 王远 范玉顺 《软件学报》 EI CSCD 北大核心 2007年第9期2153-2161,共9页

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

关键词 工作流 时序约束 验证 时序逻辑

在线阅读 下载PDF 职称材料

应用一体化工作流的电网规划管理信息系统 被引量：5

5

作者 杜旭 葛少云 +2 位作者 李小宇 赵洪刚 巩向兵 《电力系统及其自动化学报》 CSCD 北大核心 2013年第1期120-123,共4页

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

关键词 规划管理信息系统 电网规划 协同工作 过程逻辑 工作流

在线阅读 下载PDF 职称材料

使用扩展区间时序逻辑为并发工作流建模 被引量：10

6

作者 雷丽晖 段振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2007年第4期673-680,共8页

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

关键词 并发工作流 区间时序逻辑 确定有限自动机

在线阅读 下载PDF 职称材料

工作流中时序约束正确性验证 被引量：2

7

作者 任国珍 巩垒 +1 位作者 王海洋 黄富洁 《计算机工程》 CAS CSCD 北大核心 2004年第11期60-62,共3页

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

关键词 工作流模型 时序约束 验证 时序逻辑推理

在线阅读 下载PDF 职称材料

工作流模型检测研究 被引量：1

8

作者 闫志华 李成 郑艳萍 《计算机应用》 CSCD 北大核心 2007年第6期1448-1451,共4页

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

关键词 工作流 模型检测 时序逻辑

在线阅读 下载PDF 职称材料

面向业务语义的统一工作流数据管理 被引量：4

9

作者 杨飞 尹宝林 《计算机集成制造系统》 EI CSCD 北大核心 2009年第6期1155-1164,共10页

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

关键词 工作流数据 数据源 概念描述 逻辑描述 数据访问代理 业务语义

在线阅读 下载PDF 职称材料

基于时序逻辑的工作流建模与分析方法 被引量：1

10

作者 王远 范玉顺 《高技术通讯》 CAS CSCD 北大核心 2006年第2期157-162,共6页

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

关键词 工作流 活动时序逻辑 工作流模型分析

在线阅读 下载PDF 职称材料

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

11

作者 周从华 陶志红 +1 位作者 陈钟 王立福 《计算机科学》 CSCD 北大核心 2007年第11期118-123,共6页

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

关键词 工作流 时态逻辑 过程变动 同步网

在线阅读 下载PDF 职称材料

一种新的CIMS应用体系结构

12

作者 刘钟鸣 杨春节 李平 《计算机工程》 CAS CSCD 北大核心 2003年第8期52-53,74,共3页

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

关键词 企业综合自动化 工作流 企业评估 流程分解

在线阅读 下载PDF 职称材料

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

13

作者 王向辉 王康进 +1 位作者 张建 柳楠 《计算机应用与软件》 CSCD 北大核心 2008年第11期95-96,122,共3页

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

关键词 嵌入式工作流系统 适配器 业务逻辑 集成

在线阅读 下载PDF 职称材料

敏捷产品开发中的时间工作流建模研究

14

作者 朱传军 饶运清 +1 位作者 李培根 张洁 《机械设计与制造》 北大核心 2005年第1期115-117,共3页

在大规模定制模式下如何高效地处理敏捷产品开发过程中的工作流是实现敏捷产品开发的关键问题。敏捷产品开发中的工作流具有很强的时间逻辑关系。在敏捷产品开发的工作流模型中增加时间信息,并利用J.F.Allen研究的时间逻辑对时间信息进... 在大规模定制模式下如何高效地处理敏捷产品开发过程中的工作流是实现敏捷产品开发的关键问题。敏捷产品开发中的工作流具有很强的时间逻辑关系。在敏捷产品开发的工作流模型中增加时间信息,并利用J.F.Allen研究的时间逻辑对时间信息进行验证,建立敏捷产品开发的时间工作流模型;在敏捷产品开发过程中从本企业各部门选择合适的人员和动态联盟中其他企业的人员组建多功能开发团队,并运用时间工作流管理系统进行管理,并通过Internet来对工作流进行集成。 展开更多

关键词 大规模定制 敏捷产品开发 时间逻辑 工作流

在线阅读 下载PDF 职称材料

基于UML-Statecharts的工作流控制结构的验证

15

作者 陆公正 戎玫 张广泉 《计算机科学》 CSCD 北大核心 2006年第5期159-161,177,共4页

工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最基本要求,本文着重控制结构方面的验证。本文使用 UML-Statecharts 建立控制结构模型,使用时序逻辑表示工作流控制结构需要满足的性质。给出了... 工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最基本要求,本文着重控制结构方面的验证。本文使用 UML-Statecharts 建立控制结构模型,使用时序逻辑表示工作流控制结构需要满足的性质。给出了一个定理并进行了证明,基于定理给出了一个验证完全性的算法,对于工作流语义相关性质的验证给出了一模型检测算法。 展开更多

关键词 工作流 UML-Statecharts 时序逻辑 完全性 模型检测

在线阅读 下载PDF 职称材料

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

16

作者 周月明 杜玉越 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期90-93,共4页

为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模... 为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模,并给出了逻辑工作流网模型的可达图的构造算法,分析了模型的正确性。 展开更多

关键词 协同工作流 随机库所Petri网 逻辑Petri网 逻辑工作流网

在线阅读 下载PDF 职称材料

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

17

作者 刘峰 陈笑蓉 《计算机工程》 CAS CSCD 北大核心 2011年第23期60-62,共3页

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

关键词 Π演算 工作流模型 模型检验 时序逻辑

在线阅读 下载PDF 职称材料

柔性工作流逻辑建模及其合理性研究 被引量：6

18

作者 部昱晖 唐慧佳 《计算机应用》 CSCD 北大核心 2009年第4期1155-1158,共4页

随着市场竞争的加剧和企业对提高工作效率的迫切需要,柔性工作流成为研究的热点。为了解决工作流逻辑模型的建立以及动态修改问题,提出了一种以面向对象编程思想为工具,以模型中任务依赖关系为主要研究对象的柔性工作流逻辑网(WL_net)... 随着市场竞争的加剧和企业对提高工作效率的迫切需要,柔性工作流成为研究的热点。为了解决工作流逻辑模型的建立以及动态修改问题,提出了一种以面向对象编程思想为工具,以模型中任务依赖关系为主要研究对象的柔性工作流逻辑网(WL_net)建模方法。通过对存在缺陷的工作流逻辑模型路由结构进行分析,找出了一种模型合理性验证算法。 展开更多

关键词 柔性工作流 动态修改 任务依赖 工作流逻辑网

在线阅读 下载PDF 职称材料

多步过程挖掘在工作流重构中的应用研究

19

作者 李燕 《计算机工程与应用》 CSCD 2013年第9期19-22,共4页

针对工作流实例偏离预定义模型的实际情况,提出一种基于工作流日志的多步过程挖掘方法,从而实现工作流重构。基于工作流日志构建马尔可夫转移矩阵,定义关系挖掘规则分析过程中的逻辑关系,设计过程挖掘算法建立活动间的实际结构关系,以... 针对工作流实例偏离预定义模型的实际情况,提出一种基于工作流日志的多步过程挖掘方法,从而实现工作流重构。基于工作流日志构建马尔可夫转移矩阵,定义关系挖掘规则分析过程中的逻辑关系,设计过程挖掘算法建立活动间的实际结构关系,以某电梯企业标梯合同签订流程为例验证方法的可行性和适用性。 展开更多

关键词 工作流重构 多步过程挖掘 工作流日志 马尔可夫转移矩阵 逻辑关系

在线阅读 下载PDF 职称材料

一种支持简便重构的过程元模型

20

作者 李新 许元坤 《计算机工程与科学》 CSCD 北大核心 2015年第2期294-308,共15页

工作流提倡过程逻辑与业务逻辑分离的理念,然而,业务过程中普遍存在的过程-业务动态关联的特性使这一理念在实际中难以得到贯彻,过程控制与业务处理常常以程序代码的形式耦合在一起,导致业务过程建模复杂,过程重构工作量大且不易实施。... 工作流提倡过程逻辑与业务逻辑分离的理念,然而,业务过程中普遍存在的过程-业务动态关联的特性使这一理念在实际中难以得到贯彻,过程控制与业务处理常常以程序代码的形式耦合在一起,导致业务过程建模复杂,过程重构工作量大且不易实施。分析了WFMC元模型在过程逻辑表示方法上的局限性和难以支持业务过程简便重构的原因,提出了一种新的过程元模型—ESR元模型,在模型中加入了事件、状态和规则等模型元素,能够以规范的形式通过过程定义的方法表示过程-业务的动态关联;基于ESR元模型的工作流模型框架清晰划分了过程逻辑与业务逻辑的界限,对"刚性过程"和"柔性过程"使用统一的过程定义方法进行建模,更好地支持了过程逻辑与业务逻辑的分离;当过程逻辑发生变化时,根据不同的变化内容,可以在不同的模型层次上对过程定义进行修改以应对系统变更的需求,从而实现过程的简便重构。 展开更多

关键词 工作流 过程元模型 过程逻辑 过程-业务的动态关联 简便重构

在线阅读 下载PDF 职称材料