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“三农”发展一体化运营农业投入品

一种基于自治Agent的分布式入侵检测系统

设计并实现了一个基于自治Agent的分布式入侵检测系统。系统采用层次化的管理控制结构,自上而下包括监控器、收发器和Agent3种功能实体。使用基于publish／subscribe的通信模式

期刊

分布式入侵检测自治AGENT协同工作Distributed intrusion detection Autonomous agent Cooperat

基于PSB的迭代学习励磁控制的仿真研究

基于迭代学习控制理论提出了一种非线性迭代学习律,并将它应用于同步发电机的励磁控制中,采用SIMULINK/PSB软件对单机-无穷大系统进行仿真,结果表明该方法的有效性和一般性,

期刊

迭代学习控制同步发电机非线性励磁控制仿真Iterative learning control Synchronous generator Nonli

基于时间序列分析的动态精确定位算法

对卫星导航定位系统的应用前景进行深入分析，针对目前存在定位精度漂移和站点报站漏报或司机人工操作繁琐与复杂等问题，采用求解平均值、均方差和估计值等数理统计理论，建立基于

期刊

时间序列分析全球定位系统动态求解模型精确定位算法智能自动报站Time sequence analysis Globe position system

基于可信网络的分布式防火墙架构

随着基于Internet的网络环境不断复杂化，防火墙、入侵检测以及可信计算等安全性技术也逐渐成为这一领域研究的焦点。在可信计算概念基础上，建立了一个验证（Attestation）方式的可

期刊

可信计算可信网络分布式防火墙IPSEC安全策略Trusted computing Trusted network Distributed fire

财政部拨付2017年第二笔中央财政农业保险保费补贴63.70亿元

近日,财政部印发通知（财金〔2017〕152号、财金〔2017〕153号）,拨付2017年第二笔中央财政农业保险保费补贴资金63.70亿元,其中大灾保险试点资金30.18亿元,合计全年共拨付保费补

期刊

保费补贴农业保险中央财政财政部拨付补贴资金资金使用效果保费收入

基于混合智能模型的卫星图像公路信息提取研究

在卫星影像上,一些城区和森林区的公路由于障碍物和阴影的影响,常导致道路出现模糊路段或断裂现象,单一方法很难检测出这些模糊路段,该文针对这种特殊道路提取难题,提出了一种结合模糊C均值(FCM)算法、反向传播神经网络(BPNN)和图像处理方法的混合智能模型。实验结果表明,混合智能算法可以得到比单一的神经网络方法和知识处理方法更好的道路提取结果。

期刊

道路识别卫星图像模糊C均值神经网络知识处理图像处理Road recognition Satellite image Fuzzy-C-Means

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

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

期刊

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

兼容并蓄相生共荣——散议新旧诗之间的关系

<正>一、新旧诗的相互渗透与非均衡发展中国现当代诗歌的发展有一种有趣的现象。当社会发生剧烈变动,意在打破旧的秩序时,旧体诗就受到冲击、冷落、压制,比如五四运动和“文

期刊

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

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

期刊

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

Statecharts的形式化验证研究

与本文相关的学术论文