您的位置： 专家智库 > >

广东省科技计划工业攻关项目(2010GK3020)

作品数：1 被引量：2H指数：1
相关作者：梅晓勇郑小林李师贤更多>>
相关机构：湖南文理学院中山大学浙江大学更多>>
发文基金：中国博士后科学基金广东省科技计划工业攻关项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇语义
  • 1篇语义分析
  • 1篇扩展PETR...
  • 1篇分析方法

机构

  • 1篇湖南文理学院
  • 1篇浙江大学
  • 1篇中山大学

作者

  • 1篇李师贤
  • 1篇郑小林
  • 1篇梅晓勇

传媒

  • 1篇电子学报

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种支持组合事务的执行语义分析方法被引量：2
2012年
为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的.
梅晓勇李师贤黄昌勤郑小林
关键词：扩展PETRI网
全选 清除 导出
共1页<1>
聚类工具0