文献类型：期刊文献

中文题名：基于TCOZ的UML用例图的形式化模型

英文题名：A TCOZ-based Formal Model of UML Use Case Diagrams

作者：许维新[1];虞慧群[1]

机构：[1]华东理工大学计算机科学与工程系,上海200237

年份：2004

卷号：30

期号：1

起止页码：82

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;Scopus;北大核心:【北大核心2000】；CSCD:【CSCD2011_2012】；

语种：中文

中文关键词：UML;用例图;形式化模型;TCOZ;软件建模语言;视图

外文关键词：UML; Use Case diagrams; formal method; TCOZ; model

摘要：基于TCOZ,本文建立了UML视图的一种形式化模型,不仅为UML提供了一种精确的数学描述,也为其正确性分析和验证奠定了基础。
UML's absence of formal semantics and rigorous reasoning mechanism results in its inaccuracy in system modeling and inefficiency for system development. TCOZ is a formal language combining features of Object-Z and Timed CSP, which is powerful in system modeling. Based on TCOZ, this paper proposes a formal model for UML Use Case diagram which provides not only a precise mathematical (description) for UML, but also a basis for its sound analysis and verification.