咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 3 篇 工作流逻辑网
  • 1 篇 工作流
  • 1 篇 任务依赖
  • 1 篇 petri网
  • 1 篇 飞行控制软件
  • 1 篇 动态修改
  • 1 篇 柔性工作流
  • 1 篇 工作流过程建模
  • 1 篇 安全性分析

机构

  • 1 篇 中国水利水电科学...
  • 1 篇 中国航天科技集团...
  • 1 篇 西南交通大学
  • 1 篇 北京航天自动控制...

作者

  • 1 篇 侯召成
  • 1 篇 唐慧佳
  • 1 篇 石柱
  • 1 篇 韩翔宇
  • 1 篇 翟宜峰
  • 1 篇 部昱晖

语言

  • 3 篇 中文
检索条件"主题词=工作流逻辑网"
3 条 记 录,以下是1-10 订阅
排序:
柔性工作流逻辑建模及其合理性研究
收藏 引用
计算机应用 2009年 第4期29卷 1155-1158页
作者: 部昱晖 唐慧佳 西南交通大学信息科学与技术学院 成都610031
随着市场竞争的加剧和企业对提高工作效率的迫切需要,柔性工作流成为研究的热点。为了解决工作流逻辑模型的建立以及动态修改问题,提出了一种以面向对象编程思想为工具,以模型中任务依赖关系为主要研究对象的柔性工作流逻辑网(WL_net)... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于Petri工作流过程建模
收藏 引用
微电子学与计算机 2007年 第3期24卷 113-116页
作者: 翟宜峰 侯召成 中国水利水电科学研究院水资源所 北京100084
工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri的相关理论,建立一个工作... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
WL_Net在导弹飞行控制软件安全性分析中的应用
收藏 引用
航天控制 2008年 第2期26卷 82-85页
作者: 韩翔宇 石柱 北京航天自动控制研究所 北京100854 中国航天科技集团公司软件评测中心 北京100037
提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论