论文部分内容阅读
Statecharts是一种用于复杂反应式系统行为的可视化规格语言。该文提出了一种基于标筘变迁系统（LTS）的Statecharb操作语义捕述方法，介绍了Statecharts及其项语法和一步语义，并基于进程代数描述Statecharb的并发行为，使用结构化的操作语义SOS规则描述Statecharts的组合语义，从而得得到相应的LTS。