| UML模型中并发对象的组合验证 |
| |
| 引用本文： | 董威,王戟,齐治昌.UML模型中并发对象的组合验证[J].计算机科学,2005,32(7):231-233. |
| |
| 作者姓名： | 董威 王戟 齐治昌 |
| |
| 作者单位： | 国防科技大学计算机学院,长沙,410073;武汉大学软件工程国家重点实验室,武汉,430072;国防科技大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金(No.60303013)，武汉大学软件工程国家重点实验室开放基金(No.SKLSE03-08) |
| |
| 摘 要： | 本文在用层次自动机结构化表示UML Statecharts的基础上，定义了UML协同图中并发对象的同步合成，然后根据结构间的模拟关系，研究了对并发对象系统进行组合验证的方法和规则，使有可能在对UML协同图进行模型检验的过程中不必建立系统的全局状态图，以缓解状态爆炸问题。
|
| 关 键 词： | UML 模型检验 组合验证 |
Compositional Verification of Concurrent Objects in UML Models |
| |
| DONG Wei,WANG Ji,QI Zhi-Chang.Compositional Verification of Concurrent Objects in UML Models[J].Computer Science,2005,32(7):231-233. |
| |
| Authors: | DONG Wei WANG Ji QI Zhi-Chang |
| |
| Affiliation: | DONG Wei,WANG Ji,QI Zhi-Chang School of Computer,National University of Defense Technology,Changsha 410073 State Key Laboratory of Software Engineering,Wuhan University,Wuhan 430072 |
| |
| Abstract: | Based on expressing UML Statecharts with hierarchical automata structurally, the paper defines the syn- chronous composition of concurrent objects in UML collaboration diagram. Then, the method and rules of composi- tional verification for concurrent object systems are studied based on the simulation relation between structures, which makes it possible that the global state graph is not needed in model checking and state explosion problem will be reduced. |
| |
| Keywords: | UML Model checking Compositional verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
