| 实时系统动态行为模型的一种形式分析方法* |
| |
| 引用本文： | 戎玫.实时系统动态行为模型的一种形式分析方法*[J].计算机应用研究,2009,26(9):3365-3368. |
| |
| 作者姓名： | 戎玫 |
| |
| 作者单位： | 暨南大学,深圳旅游学院,广东,深圳,518053 |
| |
| 基金项目： | 江苏省高校自然科学基金资助项目(08KJB520010，05KJB520119)；重庆市自然科学基金资助项目(2006BB2259) |
| |
| 摘 要： | 提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述，分析了UML顺序图中事件之间的关系；在此基础上，给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法，并将该方法扩展到带有组合片段的UML 2.0顺序图；最后通过分析UML 2.0顺序图中的时间建模机制，给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。
|
| 关 键 词： | 实时系统 动态行为模型 时间约束 统一建模语言UML 2.0 对象自动机 |
Formal analysis for dynamic behavioral models of real-time systems |
| |
| RONG Mei.Formal analysis for dynamic behavioral models of real-time systems[J].Application Research of Computers,2009,26(9):3365-3368. |
| |
| Authors: | RONG Mei |
| |
| Affiliation: | (Shenzhen Tourism College, Jinan University, Shenzhen Guangdong 518053, China) |
| |
| Abstract: | This paper introduced a formal analysis for dynamic behavioral models of real-time systems based on unified modeling languages(UML 2.0).Firstly,presented the formal specification of UML sequence diagrams,and studied the relationship between the events in the sequence diagram,after that introduced an automata to describe the events that every object participated in the scenario that the sequence diagram depicts.Then extended the automata to describe the UML 2.0 sequence diagram that contains combined fragmen... |
| |
| Keywords: | real-time systems dynamic behavioral model timing constraint unified modeling language UML 2 0 object automata |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
