| 引用本文： |
-
钱俊彦.简述Statecharts的CASE工具SuperState[J].广西科学院学报,2006,22(4):382-384. [点击复制]
- QIAN Jun-yan.CASE Tool SuperState for Verifying Statecharts[J].Journal of Guangxi Academy of Sciences,2006,22(4):382-384. [点击复制]
|
|
| |
|
|
| 本文已被：浏览 296次 下载 381次 |
码上扫一扫！ |
| 简述Statecharts的CASE工具SuperState |
|
钱俊彦
|
|
|
| (桂林电子科技大学计算机系, 广西桂林 541004) |
|
| 摘要: |
| 在介绍基于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 |
|
|
