| Statecharts语义问题的若干探讨 |
| |
| 引用本文： | 钱俊彦,古天龙,蔡国永. Statecharts语义问题的若干探讨[J]. 桂林电子科技大学学报, 2001, 21(1): 39-42 |
| |
| 作者姓名： | 钱俊彦 古天龙 蔡国永 |
| |
| 作者单位： | 桂林电子工业学院 计算机系, |
| |
| 基金项目： | 电子科学研究院 95军事预研项目! (编号 :D960 3) |
| |
| 摘 要： | Statecharts是一种用以规约复杂反应式系统行为的可视化语言。由于该类系统的行为复杂性 ,定义其精确的语义是困难的。许多人在这方向上对其进行了研究 ,但是仍有些模棱两可的地方。在本文将对 Statecharts语言中什么是一步、迁移的多个条件和动作、不确定性这些语义问题进行探讨。
|
| 关 键 词： | 有限状态机 Statecharts 语义 |
| 文章编号： | 1001-7437(2001)01-39-04 |
| 修稿时间： | 2000-09-04 |
On the Semantics Research of Statecharts |
| |
| QIAN Jun-yan,GU Tian-long,CAI Guo-yong. On the Semantics Research of Statecharts[J]. Journal of Guilin University of Electronic Technology, 2001, 21(1): 39-42 |
| |
| Authors: | QIAN Jun-yan GU Tian-long CAI Guo-yong |
| |
| Abstract: | Statecharts, a visual language for specifying the behavior of complex reactive systems, is analyzed in the paper. The complexity of these systems make it difficult to give a precise semantics for statecharts. Therefore,though much effort towards a formal semantics for statecharts has been made , there is still much ambiguity for the semantics of statecharts. A discussion on the semantics for statecharts is explored in the paper. |
| |
| Keywords: | finite state machine statecharts semantics |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
