UML中的经典之作， 不是编程语言 工具可以提供 至各种编程语言的代码生成 以及可以从现有 的程序逆向构筑模型 不是用于定理证明的高度正式的语言 实际上有很多正式的语 言 但它们不易理解或不适用于多种用途 是通用性的建模语言 对于特定的领域 如 设计 .! 电路设计或基于规则的人工智能 更特定的语言和工具可能更加合适 是离散的建模语言 它不打算对如工程和物理的连续系统建模 是对诸如软件 硬件或数字逻辑的离散系统建模的通用语言
