Statecharts的形式化验证研究
Formal Verification for Statecharts作者机构：桂林电子工业学院计算机系桂林541004
出 版 物：《计算机工程》 (Computer Engineering)
年 卷 期：2005年第31卷第18期
页 面：19-21,24页
核心收录：
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金："十五"国防预研基金资助项目 广西自然科学基金资助项目(0141046)
主 题：Statecharts 抽象语法 操作语义 一步
摘 要：给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作语义。然后在此基础上把一个图形化的语言转换为文本的方式来描述,并对Statecharts进行形式化分析及验证。
维普期刊数据库
同方期刊数据库