迈向统一建模语言的形式化

Ruth Breu; Ursula Hinkel; Christoph Hofmann; Cornel Klein; Barbara Paech; Bernhard Rumpe; V. Thurner

doi:10.1007/BFb0053386

迈向统一建模语言的形式化

软件工程 2014-09-26 v1

作者: Ruth Breu , Ursula Hinkel , Christoph Hofmann , Cornel Klein , Barbara Paech , Bernhard Rumpe , V. Thurner

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

统一建模语言 (UML) 是一种用于指定、可视化和记录面向对象系统的语言。UML 结合了 OOA、OODOMT 和 OOSE 的概念，旨在成为面向对象分析与设计领域的标准。由于缺乏形式化的数学基础，许多 UML 构造的语法和语义尚未得到精确定义。本文概述了一个基于数学系统模型的 UML 形式化基础提案。

关键词

统一建模语言形式化基础面向对象系统数学系统模型语法与语义 OOA OOD

引用

@article{arxiv.1409.7234,
  title  = {Towards a Formalization of the Unified Modeling Language},
  author = {Ruth Breu and Ursula Hinkel and Christoph Hofmann and Cornel Klein and Barbara Paech and Bernhard Rumpe and V. Thurner},
  journal= {arXiv preprint arXiv:1409.7234},
  year   = {2014}
}

备注

23 pages, 5 figures

迈向统一建模语言的形式化

摘要

关键词

引用

备注

相关论文