摘要
给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作语义。然后在此基础上把一个图形化的语言转换为文本的方式来描述,并对Statecharts进行形式化分析及验证。
The Statecharts is represented as an abstract syntax intend to hide these details in presentation of the semantics, and compositive aspects of the semantics of Statecharts are discussed, including state, transition, event, condition, expression, action and state configuration. Based on compositive semantics of Statecharts, operation semantics of a macro step is given. Graphic Statecharts is translated into text language for verifying syntax＇s correctness and semantics＇ legitimacy.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第18期19-21,24,共4页
Computer Engineering
基金
"十五"国防预研基金资助项目
广西自然科学基金资助项目(0141046)
