| UML时间顺序图的自动验证技术 |
| |
| 引用本文： | 陈江,陈建国,陆慧娟,唐文彬.UML时间顺序图的自动验证技术[J].中国计量学院学报,2010,21(2). |
| |
| 作者姓名： | 陈江 陈建国 陆慧娟 唐文彬 |
| |
| 作者单位： | 1. 中国计量学院,信息工程学院,浙江,杭州,310018;浙江网新恒天软件技术有限公司,浙江,杭州,310030
2. 中国计量学院,信息工程学院,浙江,杭州,310018 |
| |
| 基金项目： | 浙江省科技厅重大科技专项 |
| |
| 摘 要： | UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.
|
| 关 键 词： | UML时间顺序图 自动验证 系统建模 |
The automated verification technology of UML time sequence diagram |
| |
| CHEN Jiang,CHEN Jian-guo,LU Hui-juan,TANG Wen-bin.The automated verification technology of UML time sequence diagram[J].Journal of China Jiliang University,2010,21(2). |
| |
| Authors: | CHEN Jiang CHEN Jian-guo LU Hui-juan TANG Wen-bin |
| |
| Affiliation: | 1(1.College of Information Engineering; China Jiliang University; Hangzhou 310018; China; 2.Insigma Hengtian Software Ltd; Hangzhou 310030; China); |
| |
| Abstract: | The UML sequence diagram was widely used in the system modeling reflects the sequence of message interaction in objects.To extend a sequence diagram by the time feature,the UML time sequence diagram was the capacity for real-time system modeling.On the basis of the interface information between the UML modeling tool and the model verification tool UPPAAL,the UML time sequence diagram transferd into timed automata model and performs the formal verification to the system model.Based on the XML,automatic verif... |
| |
| Keywords: | UML time sequence diagram automatic verification system modelin |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
