基于TCOZ的UML用例图的形式化模型
A TCOZ-based Formal Model of UML Use Case Diagrams
-
摘要: 基于TCOZ,本文建立了UML视图的一种形式化模型,不仅为UML提供了一种精确的数学描述,也为其正确性分析和验证奠定了基础。Abstract: 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.