期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
柔性工作流逻辑建模及其合理性研究 被引量：6
1
作者 部昱晖 唐慧佳 《计算机应用》 CSCD 北大核心 2009年第4期1155-1158,共4页
随着市场竞争的加剧和企业对提高工作效率的迫切需要,柔性工作流成为研究的热点。为了解决工作流逻辑模型的建立以及动态修改问题,提出了一种以面向对象编程思想为工具,以模型中任务依赖关系为主要研究对象的柔性工作流逻辑网(WL_net)... 随着市场竞争的加剧和企业对提高工作效率的迫切需要,柔性工作流成为研究的热点。为了解决工作流逻辑模型的建立以及动态修改问题,提出了一种以面向对象编程思想为工具,以模型中任务依赖关系为主要研究对象的柔性工作流逻辑网(WL_net)建模方法。通过对存在缺陷的工作流逻辑模型路由结构进行分析,找出了一种模型合理性验证算法。 展开更多
关键词 柔性工作流 动态修改 任务依赖 工作流逻辑网
下载PDF
基于Petri网的工作流过程建模 被引量：1
2
作者 翟宜峰 侯召成 《微电子学与计算机》 CSCD 北大核心 2007年第3期113-116,共4页
工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作... 工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。 展开更多
关键词 工作流 工作流过程建模 PETRI网 工作流逻辑网
下载PDF
WL_Net在导弹飞行控制软件安全性分析中的应用
3
作者 韩翔宇 石柱 《航天控制》 CSCD 北大核心 2008年第2期82-85,共4页
提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用... 提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。 展开更多
关键词 工作流逻辑网 飞行控制软件 安全性分析
下载PDF
一种Colored WF_logic Net的工作流过程建模
4
作者 王静馨 李艳梅 徐娟 《计算机系统应用》 2010年第5期121-124,共4页
结合着色Petri网和WL_net相关理论,提出有色工作流逻辑网(CWL_net)这一概念来实现工作流的过程建模。最后以保险索赔业务过程为例,采用绘制可达树的方法分析了业务流程的合理性。利用CWL_net可以准确描述业务流程的工作流逻辑,且这种逻... 结合着色Petri网和WL_net相关理论,提出有色工作流逻辑网(CWL_net)这一概念来实现工作流的过程建模。最后以保险索赔业务过程为例,采用绘制可达树的方法分析了业务流程的合理性。利用CWL_net可以准确描述业务流程的工作流逻辑,且这种逻辑结构可以区分工作流具体流程中不同变迁产生的任务完成信息,避免了某些问题。 展开更多
关键词 工作流 工作流过程建模 着色PETRI网 有色工作流逻辑网
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部