何建伟
- 作品数：3 被引量：3H指数：1
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri网的状态机变迁的形式化方法研究
- UML状态机图用来描述一个特定对象生命周期经历各种状态,尽管其表达简单明了,易于理解,但它缺乏准确语义,难以对其进行语义分析和验证的问题。变迁作为状态机图的重要组成部分,同样存在这样的问题，而Petri网有严格的形式化语...
- 何建伟姚淑珍
- 关键词：PETRI网形式化方法
- 文献传递
- 基于Petri网的状态机变迁的形式化方法研究被引量：3
- 2007年
- UML状态机图用来描述一个特定对象生命周期经历各种状态,尽管其表达简单明了,易于理解,但它缺乏准确语义,难以对其进行语义分析和验证的问题。变迁作为状态机图的重要组成部分,同样存在这样的问题,而Petri网有严格的形式化语义,而且有许多成熟的分析方法。为了分析状态机变迁,提出了TES模型,它可以描述状态机的触发器事件和监护条件等元素,然后将几种复合变迁用Petri网描述,最后给出了一个实例,说明模型之间是语义等价的。
- 何建伟姚淑珍
- 关键词：PETRI网形式化方法
- 基于元模型的状态图至Petri网转化方法研究
- 作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多地被用在大型系统中,尽管其表达简单明了,易于理解,但缺乏准确语义,难以对其进行语义分析和验证的问题。状态图作为UML动态描述机制的重要组成部分,同样存...
- 何建伟姚淑珍
- 关键词：统一建模语言PETRI网元模型状态图
- 文献传递
