简述Statecharts的CASE工具SuperState  

CASE Tool SuperState for Verifying Statecharts

作　　者：钱俊彦[1] 

机构地区：[1]桂林电子科技大学计算机系,广西桂林541004

出　　处：《广西科学院学报》2006年第4期382-384,共3页Journal of Guangxi Academy of Sciences

基　　金：广西自然科学基金(0542036)资助

摘　　要：在介绍基于S tatecharts语言的验证工具SuperS tate的编辑环境的基础上,简述SuperS tate工具中主要部分的实现思想,即采用静态分析和动态仿真保证设计模型的正确性。A modeling and verifying tool SuperState in which Statecharts is integrated into CASE tool is introduced. The idea of keeping a design model to be correct using static and dynamic analysis in the tool is discussed.

关 键 词：STATECHARTS 形式化技术 CASE工具 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]