|
|||||
|
|
| UML状态图的形式化描述 | |
| 引用本文： | 崔冬华,崔光霁.UML状态图的形式化描述[J].电脑开发与应用,2011,24(5):58-60. |
| 作者姓名： | 崔冬华 崔光霁 |
| 作者单位： | 太原理工大学计算机科学与技术学院; |
| 摘 要： | 面向对象模型的形式化是形式化研究的重点,UML是一种得到承认的标准建模语言,CHAM是一种广泛用于异步并行计算和系统体系结构建模的语言,它适合对系统的状态变化进行动态的描述.利用和改进原有的CHAM建模语言,使其能够对UML状态图进行形式化描述. |
| 关 键 词： | 统一建模语言 化学抽象机 状态图 CHAM |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |