搜索结果: 1-3 共查到“statecharts”相关记录3条 . 查询时间(0.043 秒)
基于LTS的Statecharts操作语义研究
Statecharts 操作语义 标签变迁系统
2009/4/24
Statecharts是一种用于复杂反应式系统行为的可视化规格语言。该文提出了一种基于标签变迁系统(LTS)的Statecharts操作语义描述方法，介绍了Statecharts及其项语法和一步语义，并基于进程代数描述Statecharts的并发行为，使用结构化的操作语义SOS规则描述Statecharts的组合语义，从而得到相应的LTS。
UML Statecharts的模型检验方法
2007/11/2
AbstractUML
(unified modeling language) has been widely used in software development.
Verifying if a UML model meets the required properties has become a key issue.
An approach of model checking...
Statecharts的组合语义与求精
2007/11/2
Zhu XY, Tang ZS. Compositional semantics and refinement of Statecharts.
Journal of Software, 2006,17(4):670-681.DOI:
10.1360/jos170670 http://www.jos.org.cn/1000-9825/17/670.htm摘要
由于简洁、直观的表达能力,S...