Statecharts的形式化验证研究

来源 :计算机工程 | 被引量 : 0次 | 上传用户：meiyin1109

【摘要】

：

给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作

【作者】

：

钱俊彦古天龙赵岭忠

【机构】

：

桂林电子工业学院计算机系

【出处】

：

计算机工程

【发表日期】

：

2005年18期

【关键词】

：

STATECHARTS 抽象语法操作语义一步 Statecharts Abstract syntax Operation semantics Aste

【基金项目】

：

国防预研基金，广西自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作语义.然后在此基础上把一个图形化的语言转换为文本的方式来描述,并对Statecharts进行形式化分析及验证.

其他文献

宁高宁：以MAP转变农业扶贫模式

2月25日，在2018“三农”发展大会上，中国中化集团公司董事长、党组书记宁高宁作专题报告时表示，中化集团是最大的农业投入品和现代农业服务一体化运营企业，在乡村振兴中扮演着农业“国家队”的重要角色。十九大报告提出乡村振兴战略、农业供给侧改革，给所有企业做了一个新的课题。过去，追求产量、追求耕种面积、追求一种价格的补贴、追求一种政策支持，也追求投入大量化肥、大量的水，造成了一定的土壤污染，从这方面来

期刊

农业服务宁高宁扶贫模式中国中化集团公司MAP“三农”发展一体化运营农业投入品

一种面积有效缩减的AES算法硬件实现

给出了和一种安全处理器（SSX11-140）中有效缩减AES并法硬件实现面积的设计方案。该方案对轮密钥存储、列混合变换及其逆变换等操作进行了优化处理，并在密钥扩展、加密计算及解密

期刊

高级数据加密标准RIJNDAEL面积有效缩减硬件实现Advanced encryption standard（AES） Rijndael Effic

康复新液治疗小儿溃疡性口腔炎效果观察及免疫球蛋白水平变化

目的探讨康复新液治疗小儿溃疡性口炎的疗效和机制,为临床应用康复新液提供依据。方法将262例溃疡性口炎患儿随机分成两组,其中对照组148例,接受常规治疗,实验组114例,接受常

期刊

康复新液溃疡性口腔炎免疫球蛋白

Statecharts的形式化验证研究

其他学术论文