| UML时间顺序图的实时系统建模及验证 |
| |
| 引用本文： | 陈江,陈建国,陆慧娟,王康健.UML时间顺序图的实时系统建模及验证[J].中国计量学院学报,2010,21(1). |
| |
| 作者姓名： | 陈江 陈建国 陆慧娟 王康健 |
| |
| 作者单位： | 中国计量学院,信息工程学院,浙江,杭州,310018 |
| |
| 基金项目： | 国家质检总局科技计划项目，浙江省科技厅重大科技专项 |
| |
| 摘 要： | 实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.
|
| 关 键 词： | 统一建模语言 实时系统 建模 形式化验证 |
Real-time system's modeling and verification based on UML time sequence diagram |
| |
| CHEN Jiang,CHEN Jian-guo,LU Hui-juan,WANG Kang-jian.Real-time system's modeling and verification based on UML time sequence diagram[J].Journal of China Jiliang University,2010,21(1). |
| |
| Authors: | CHEN Jiang CHEN Jian-guo LU Hui-juan WANG Kang-jian |
| |
| Affiliation: | CHEN Jiang,CHEN Jian-guo,LU Hui-juan,WANG Kang-jian(College of Information Engineering,China Jiliang University,Hangzhou 310018,China) |
| |
| Abstract: | |
| |
| Keywords: | Unified Modeling Language real-time system modeling formal verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
