基于TCOZ的UML用例图的形式化模型

• 作者: 虞慧群 许维新
• 来源期刊: 华东理工大学学报(自然科学版)
• 学科: 工学
• 关键词: UML 用例图 形式化方法 TCOZ 模型
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 82-87
• 页数: 6页
• 分类号: TP301.2
• 字数: 2828字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2004.01.019

摘要

基于TCOZ,本文建立了UML视图的一种形式化模型,不仅为UML提供了一种精确的数学描述,也为其正确性分析和验证奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	虞慧群	华东理工大学计算机科学与工程系	113	814	14.0	24.0
2	许维新	华东理工大学计算机科学与工程系	1	18	1.0	1.0