作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2006, Vol. 32 ›› Issue (22): 43-45. doi: 10.3969/j.issn.1000-3428.2006.22.015

• 博士论文 • 上一篇    下一篇

基于LTS的Statecharts操作语义研究

钱俊彦,赵岭忠   

  1. (桂林电子工业学院计算机系,桂林 541004)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2006-10-20 发布日期:2006-10-20

Study on Operation Semantics of Statecharts Based on LTS

QIAN Junyan, ZHAO Lingzhong   

  1. (Computer Department, Guilin University of Electronic Technology, Guilin 541004)
  • Received:1900-01-01 Revised:1900-01-01 Online:2006-10-20 Published:2006-10-20

摘要: Statecharts是一种用于复杂反应式系统行为的可视化规格语言。该文提出了一种基于标签变迁系统(LTS)的Statecharts操作语义描述方法,介绍了Statecharts及其项语法和一步语义,并基于进程代数描述Statecharts的并发行为,使用结构化的操作语义SOS规则描述Statecharts的组合语义,从而得到相应的LTS。

关键词: Statecharts, 操作语义, 标签变迁系统

Abstract: Statecharts that extends the finite state machine is a visual language for specifying the behavior of complex reactive system. The state of timed Statecharts is represented by inductive term from kind of term algebra, and a step semantics of timed Statecharts is briefly introduced. Based on process algebra, this paper discusses concurrent behavior for Statecharts by concurrent interleaving sequences. It describes a compositional approach for formalizing the Statecharts semantics directly on sequences of micro steps using labeled transition systems as semantics domain. The results suggest that a concise compositional semantics of timed Statecharts is basal and helpful for model checking Statecharts.

Key words: Statecharts, Operation semantics, Labeled transition systems(LTS)

中图分类号: