| 摘要: |
| 在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上,简述SuperState工具中主要部分的实现思想,即采用静态分析和动态仿真保证设计模型的正确性。 |
| 关键词: Statecharts 形式化技术 CASE工具 |
| DOI： |
| 投稿时间：2006-07-07 |
| 基金项目:广西自然科学基金(0542036)资助 |
|
| CASE Tool SuperState for Verifying Statecharts |
|
QIAN Jun-yan
|
| (Department of Computer, Guilin University of Electronic Technology, Guilin, Guangxi, 541004, China) |
| Abstract: |
| 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. |
| Key words: Statecharts Formal techniques CASE tool |
