| 基于TCOZ的UML用例图的形式化模型 |
| |
| 引用本文： | 许维新,虞慧群.基于TCOZ的UML用例图的形式化模型[J].华东理工大学学报(自然科学版),2004,30(1):82-87. |
| |
| 作者姓名： | 许维新 虞慧群 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系,上海,200237 |
| |
| 摘 要： | 基于TCOZ，本文建立了UML视图的一种形式化模型，不仅为UML提供了一种精确的数学描述，也为其正确性分析和验证奠定了基础。
|
| 关 键 词： | UML 用例图 形式化模型 TCOZ 软件建模语言 视图 |
| 文章编号： | 1006-3080(2004)01-0082-06 |
| 修稿时间： | 2003年3月19日 |
A TCOZ-based Formal Model of UML Use Case Diagrams |
| |
| XU Wei-xin,YU Hui-qun.A TCOZ-based Formal Model of UML Use Case Diagrams[J].Journal of East China University of Science and Technology,2004,30(1):82-87. |
| |
| Authors: | XU Wei-xin YU Hui-qun |
| |
| Institution: | XU Wei-xin,YU Hui-qun~* |
| |
| Abstract: | |
| |
| Keywords: | UML Use Case diagrams formal method TCOZ model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
