|
|||||
|
|
| 一种顺序图的形式化描述与推理过程 | |
| 引用本文： | 何锋.一种顺序图的形式化描述与推理过程[J].计算机系统应用,2011,20(6):52-55,29. |
| 作者姓名： | 何锋 |
| 作者单位： | 云南财经大学信息学院,昆明,650221 |
| 摘 要： | 以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图的形式化定义和语法描述,并进一步分析了对象消息发送和接收之间的一致性问题.最后,通过对实例推理过程的分析,对UML顺序图的特性作进一步的解释.这为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,可用于对软件... |
| 关 键 词： | 顺序图 形式化描述 推理证明过程 |
| 收稿时间： | 2010/9/23 0:00:00 |
| 修稿时间： | 2010/11/8 0:00:00 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机系统应用》浏览原始摘要信息 | |
| 点击此处可从《计算机系统应用》下载全文 | |