Statecharts的形式化验证研究

摘要：

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

关键词：Statecharts、抽象语法、操作语义、一步

所属期刊栏目：31

分类号：TP301(计算技术、计算机技术)

资助基金：国防预研基金;广西自然科学基金0141046

在线出版日期：2005-10-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：19-21,24