检索结果-维普期刊中文期刊服务平台

信牌驱动模型中的工作流模式被引量：9: 1; 作者龚晓庆葛玮郝克刚《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第1期13-18,共6页; 目的　评估信牌驱动模型在工作流过程控制流建模方面的表达能力和适用性。方法　基于工作流模式,分析信牌驱动模型中各种模式的实现方式,并与其他过程建模语言进行比较。结果　信牌驱动模型支持绝大多数工作流模式。结论　信牌驱动模型... 展开更多; 关键词工作流过程定义语言工作流模式信牌驱动模型表达能力适用性; 在线阅读下载PDF 职称材料

扩展的信牌驱动模型与Petri网被引量：6: 2; 作者郝克刚王斌君《计算机应用与软件》 CSCD 北大核心 2004年第2期24-26,124,共4页; 为了满足实用性以及与WfMC的标准接轨 ,在信牌驱动模型的基础上 ,提出了功能更大、表现力更强、更方便灵活的扩展的信牌驱动模型。并进一步探讨了扩展的信牌驱动模型的控制结构与Petri网之间的对应关系。从而为保证过程定义的正确性 ,... 展开更多; 关键词工作流模型信牌驱动模型 PETRI网非确定Petri网计算机辅助管理; 在线阅读下载PDF 职称材料

扩展的信牌驱动模型中配对结构之研究: 3; 作者王斌君董护斌郝克刚《小型微型计算机系统》 CSCD 北大核心 2003年第11期1973-1977,共5页; 在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一... 展开更多; 关键词工作流模型扩展的信牌驱动模型配对 PETRI网; 在线阅读下载PDF 职称材料

信牌驱动工作流模型中的协同问题: 4; 作者葛玮龚晓庆郝克刚《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第4期577-581,共5页; 目的在工作流过程模型中描述实际业务过程中的协同问题。方法借鉴CSCW领域的研究成果,在信牌驱动工作流模型的基础上引入会话协作活动和会议协作活动。结果会话活动和会议活动能够有效描述业务过程中的协同行为。结论会话活动和会议活... 展开更多; 关键词工作流工作流管理系统信牌驱动工作流模型 CSCW 会话活动会议活动; 在线阅读下载PDF 职称材料

一种乐观嵌套工作流事务模型被引量：5: 5; 作者董云卫郝克刚《计算机科学》 CSCD 北大核心 2005年第8期90-93,共4页; 为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠... 展开更多; 关键词乐观嵌套事务模型工作流事务扩展信牌驱动分布式工作流计算模型嵌套事务模型工作流模型并发控制协议操作原语事务管理控制理论活动类型; 在线阅读下载PDF 职称材料

工作流流程动态仿真技术的研究被引量：2: 6; 作者付丽娜郝克刚《计算机工程与应用》 CSCD 北大核心 2009年第13期29-33,共5页; 对于工作流流程的能力分析以及正确性验证,其方式上可分为静态分析与动态仿真。论文侧重研究通过动态仿真手段对流程进行测试与分析,验证流程在合适的时间,由合适的资源做合适的事。针对仿真过程中的几个关键问题——设置仿真环境、基... 展开更多; 关键词工作流管理系统信牌驱动模型流程仿真引擎事件验证; 在线阅读下载PDF 职称材料

针对工作流模式执行约束的解决方案被引量：1: 7; 作者付丽娜郝克刚《计算机应用研究》 CSCD 北大核心 2012年第7期2500-2504,共5页; 在对新版工作流模式进行深入分析后发现其中有八种模式虽然可以被现有的扩展信牌驱动模型所支持,但却不完全满足模式在执行环境下的约束,即不能保证模式所对应的模型区域安全执行,为此提出了形式化的解决方案旨在使信牌驱动模型实现对... 展开更多; 关键词工作流模式执行约束信牌驱动模型安全并发; 在线阅读下载PDF 职称材料

工作流中同步区与异步区的动态修改: 8; 作者付丽娜郝克刚《计算机工程与应用》 CSCD 北大核心 2010年第14期27-30,共4页; 在信牌驱动模型中使用同步区/异步区规则旨在解决在不同语义环境下的同步问题。在动态修改中需要解决的一个重要问题便是正确地将同步区修改为异步区或将异步区修改为同步区,即在合适的信牌箱中添加或删除假信牌。深入分析了将同步区修... 展开更多; 关键词信牌驱动模型动态修改同步区异步区断面; 在线阅读下载PDF 职称材料

“过程”新论被引量：1: 9; 作者董云卫郝克刚葛玮《计算机科学》 CSCD 北大核心 2005年第10期14-15,37,共3页; “过程”本是计算机界早期的话题。关于“过程”的研究热潮早已成为过去,很长时间已很少有人谈及“过程”。然而,工作流和业务过程管理系统(BPMS)的出现使“过程”再次成为研究的热点。业务过程管理系统被认为是继工作流技术之后实现业... 展开更多; 关键词过程业务过程管理系统信牌驱动式业务过程模型过程管理系统工作流技术 Process 业务过程过程模型 PETRI 执行过程描述系统业务管理; 在线阅读下载PDF 职称材料

题名信牌驱动模型中的工作流模式被引量：9: 1; 作者龚晓庆葛玮郝克刚; 机构西北大学软件工程研究所; 出处《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第1期13-18,共6页; 基金国家"十五"重点科技攻关资助项目(2001BA107C); 文摘目的　评估信牌驱动模型在工作流过程控制流建模方面的表达能力和适用性。方法　基于工作流模式,分析信牌驱动模型中各种模式的实现方式,并与其他过程建模语言进行比较。结果　信牌驱动模型支持绝大多数工作流模式。结论　信牌驱动模型是一种具有很强表达能力的工作流过程定义模型,能够满足广泛的业务需求。; 关键词工作流过程定义语言工作流模式信牌驱动模型表达能力适用性; Keywords Workflow process definition language workflow patterns Xinpai-driven model expressiveness suitability; 分类号 TP315 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名扩展的信牌驱动模型与Petri网被引量：6: 2; 作者郝克刚王斌君; 机构西北大学软件工程研究所; 出处《计算机应用与软件》 CSCD 北大核心 2004年第2期24-26,124,共4页; 文摘为了满足实用性以及与WfMC的标准接轨 ,在信牌驱动模型的基础上 ,提出了功能更大、表现力更强、更方便灵活的扩展的信牌驱动模型。并进一步探讨了扩展的信牌驱动模型的控制结构与Petri网之间的对应关系。从而为保证过程定义的正确性 ,及其验证。; 关键词工作流模型信牌驱动模型 PETRI网非确定Petri网计算机辅助管理; Keywords Workflow modelXinPai driven modelPetri netNondete rmined Petri net; 分类号 TP391.7 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名扩展的信牌驱动模型中配对结构之研究: 3; 作者王斌君董护斌郝克刚; 机构中国公安大学科技系西北大学软件工程研究所; 出处《小型微型计算机系统》 CSCD 北大核心 2003年第11期1973-1977,共5页; 基金国家"8 63"高技术发展研究计划 ( 863 -3 0 1-ZT0 2 -0 4-0 1)的资助; 文摘在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一个既有严格语义、性能可以确定 ,但要求相对宽泛、相对比较实用的扩展正则配对的概念 .利用此概念。; 关键词工作流模型扩展的信牌驱动模型配对 PETRI网; Keywords workflow model extended Xinpai model pair normal pair extended normal pair; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名信牌驱动工作流模型中的协同问题: 4; 作者葛玮龚晓庆郝克刚; 机构西北大学信息科学与技术学院; 出处《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第4期577-581,共5页; 基金国家"十五"科技攻关资助项目(2001BA107C); 文摘目的在工作流过程模型中描述实际业务过程中的协同问题。方法借鉴CSCW领域的研究成果,在信牌驱动工作流模型的基础上引入会话协作活动和会议协作活动。结果会话活动和会议活动能够有效描述业务过程中的协同行为。结论会话活动和会议活动增强了信牌驱动模型的表达能力和适用性,并且可以作为解决同类问题的参考。; 关键词工作流工作流管理系统信牌驱动工作流模型 CSCW 会话活动会议活动; Keywords workflow WfMS Xinpai-Driven workflow model CSCW dialog activity meeting activity; 分类号 TP315 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种乐观嵌套工作流事务模型被引量：5: 5; 作者董云卫郝克刚; 机构西北工业大学计算机学院西北大学计算机科学系; 出处《计算机科学》 CSCD 北大核心 2005年第8期90-93,共4页; 文摘为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。; 关键词乐观嵌套事务模型工作流事务扩展信牌驱动分布式工作流计算模型嵌套事务模型工作流模型并发控制协议操作原语事务管理控制理论活动类型; Keywords Optimistic nested transaction model, Workflow transaction, Extend xinpai driven distributed workflow model; 分类号 TP311.13 [自动化与计算机技术—计算机软件与理论] TP399 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名工作流流程动态仿真技术的研究被引量：2: 6; 作者付丽娜郝克刚; 机构西北大学软件工程研究所; 出处《计算机工程与应用》 CSCD 北大核心 2009年第13期29-33,共5页; 基金国家高技术研究发展计划(863)No.2007AA010305~~; 文摘对于工作流流程的能力分析以及正确性验证,其方式上可分为静态分析与动态仿真。论文侧重研究通过动态仿真手段对流程进行测试与分析,验证流程在合适的时间,由合适的资源做合适的事。针对仿真过程中的几个关键问题——设置仿真环境、基于路径覆盖准则的事件排队算法及仿真结果的统计分析做了较深入研究。仿真采用了交互式与非交互式两种手段,利用白盒与黑盒两种测试方法对被测流程进行高覆盖度仿真,并通过仿真结果反映缺陷的类型、分布与走势。; 关键词工作流管理系统信牌驱动模型流程仿真引擎事件验证; Keywords Workflow Management System （WFMS） token-driven workflow computation model process simulation engine event verification; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名针对工作流模式执行约束的解决方案被引量：1: 7; 作者付丽娜郝克刚; 机构西北大学信息学院计算机系; 出处《计算机应用研究》 CSCD 北大核心 2012年第7期2500-2504,共5页; 文摘在对新版工作流模式进行深入分析后发现其中有八种模式虽然可以被现有的扩展信牌驱动模型所支持,但却不完全满足模式在执行环境下的约束,即不能保证模式所对应的模型区域安全执行,为此提出了形式化的解决方案旨在使信牌驱动模型实现对模式执行约束的支持。首先需要对模式所对应的模型区域进行形式化定义并提供识别该模型区域的算法,提出了通过保证区域内信牌箱的安全进而保证对应模型区域安全执行的策略。; 关键词工作流模式执行约束信牌驱动模型安全并发; Keywords workflow pattern implementation constraints Xinpai-driven model safe concurrency; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名工作流中同步区与异步区的动态修改: 8; 作者付丽娜郝克刚; 机构西北大学软件工程研究所; 出处《计算机工程与应用》 CSCD 北大核心 2010年第14期27-30,共4页; 基金国家高技术研究发展计划(863)No.2007AA010305~~; 文摘在信牌驱动模型中使用同步区/异步区规则旨在解决在不同语义环境下的同步问题。在动态修改中需要解决的一个重要问题便是正确地将同步区修改为异步区或将异步区修改为同步区,即在合适的信牌箱中添加或删除假信牌。深入分析了将同步区修改为异步区及将异步区修改为同步区的策略与算法,并讨论了算法的合理性。最后给出了一些典型的对同步区/异步区进行动态修改的实例。; 关键词信牌驱动模型动态修改同步区异步区断面; Keywords token-driven model dynamic modification synchronizedarea asynchronizedarea fracture section; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名“过程”新论被引量：1: 9; 作者董云卫郝克刚葛玮; 机构西北工业大学计算机学院西北大学计算机科学系; 出处《计算机科学》 CSCD 北大核心 2005年第10期14-15,37,共3页; 文摘 “过程”本是计算机界早期的话题。关于“过程”的研究热潮早已成为过去,很长时间已很少有人谈及“过程”。然而,工作流和业务过程管理系统(BPMS)的出现使“过程”再次成为研究的热点。业务过程管理系统被认为是继工作流技术之后实现业务过程的创建、集成、复用的下一代技术。它在过程的描述、实现方法上用Process把业务流中的控制流、数据流和参与者统一起来。PetriNet是一种很好的描述过程管理的模型,它能够较好地描述系统执行过程中的并行、竞争和同步等特性。本文论述了建立过程模型中遇到的一些新问题,并介绍了一种基于PetriNet扩展后形成的信牌驱动式业务过程模型,和用于解决业务管理中诸多问题的方法和相关研究工作。; 关键词过程业务过程管理系统信牌驱动式业务过程模型过程管理系统工作流技术 Process 业务过程过程模型 PETRI 执行过程描述系统业务管理; Keywords Process,Business process management system, Xinpai driven business process model; 分类号 TP317.1 [自动化与计算机技术—计算机软件与理论] TH166 [机械工程—机械制造及自动化]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	信牌驱动模型中的工作流模式	龚晓庆葛玮郝克刚	《西北大学学报（自然科学版）》 CAS CSCD 北大核心	2004	9	在线阅读下载PDF 职称材料
2	扩展的信牌驱动模型与Petri网	郝克刚王斌君	《计算机应用与软件》 CSCD 北大核心	2004	6	在线阅读下载PDF 职称材料
3	扩展的信牌驱动模型中配对结构之研究	王斌君董护斌郝克刚	《小型微型计算机系统》 CSCD 北大核心	2003	0	在线阅读下载PDF 职称材料
4	信牌驱动工作流模型中的协同问题	葛玮龚晓庆郝克刚	《西北大学学报（自然科学版）》 CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
5	一种乐观嵌套工作流事务模型	董云卫郝克刚	《计算机科学》 CSCD 北大核心	2005	5	在线阅读下载PDF 职称材料
6	工作流流程动态仿真技术的研究	付丽娜郝克刚	《计算机工程与应用》 CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
7	针对工作流模式执行约束的解决方案	付丽娜郝克刚	《计算机应用研究》 CSCD 北大核心	2012	1	在线阅读下载PDF 职称材料
8	工作流中同步区与异步区的动态修改	付丽娜郝克刚	《计算机工程与应用》 CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
9	“过程”新论	董云卫郝克刚葛玮	《计算机科学》 CSCD 北大核心	2005	1	在线阅读下载PDF 职称材料