您的位置： 专家智库 > >

董护斌

作品数：2 被引量：3H指数：1
供职机构：西北大学信息科学与技术学院软件工程研究所更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇时态逻辑
  • 1篇时序逻辑
  • 1篇实时系统
  • 1篇流模型
  • 1篇工作流
  • 1篇工作流模型
  • 1篇公理
  • 1篇公理系统
  • 1篇PETRI网

机构

  • 2篇西北大学
  • 1篇中国人民公安...

作者

  • 2篇董护斌
  • 1篇王斌君
  • 1篇郝克刚

传媒

  • 1篇小型微型计算...

年份

  • 1篇2003
  • 1篇2002
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
面向实时系统的实时区域时态逻辑：RRTL
实时系统作为一种在现实中广泛使用的反应型系统，因其大多使用于安全攸关的领域，所以必须保证它的安全可靠。为了它到这个目的，必须使用具有严格数学基础的形式化方法。在本文中，我们首先对形式化方法作了一个概要的介绍。但是因为它又...
董护斌
关键词：形式化方法时序逻辑公理系统
文献传递
扩展的信牌驱动模型中配对结构之研究被引量：3
2003年
在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一个既有严格语义、性能可以确定 ,但要求相对宽泛、相对比较实用的扩展正则配对的概念 .利用此概念 。
王斌君董护斌郝克刚
关键词：工作流模型PETRI网
全选 清除 导出
共1页<1>
聚类工具0