您的位置： 专家智库 > >

佛山市产学研专项基金(2012HC10027)

作品数：1 被引量：2H指数：1
相关作者：钟勇马莉霍颖瑜更多>>
相关机构：佛山科学技术学院更多>>
发文基金：佛山市科技发展专项基金佛山市产学研专项基金广东省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇形式化描述语...
  • 1篇语言
  • 1篇时态逻辑
  • 1篇授权模型
  • 1篇说明语言
  • 1篇描述语言
  • 1篇OBJECT...
  • 1篇REAL-T...

机构

  • 1篇佛山科学技术...

作者

  • 1篇霍颖瑜
  • 1篇马莉
  • 1篇钟勇

传媒

  • 1篇计算机科学

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述被引量：2
2014年
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。
马莉钟勇霍颖瑜
关键词：形式化描述语言OBJECT-Z
全选 清除 导出
共1页<1>
聚类工具0